Skip to content

Commit a90f578

Browse files
committed
Put default initialisation of bv_encodingt in its definition
So that `bv_encodingt` can be more used without the need to explicitly initialise its members.
1 parent bf7e20b commit a90f578

File tree

2 files changed

+2
-8
lines changed

2 files changed

+2
-8
lines changed

src/util/config.cpp

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -771,10 +771,6 @@ bool configt::set(const cmdlinet &cmdline)
771771

772772
cpp.cpp_standard=cppt::default_cpp_standard();
773773

774-
bv_encoding.object_bits=bv_encoding.default_object_bits;
775-
// This will allow us to override by language defaults later.
776-
bv_encoding.is_object_bits_default=true;
777-
778774
ansi_c.single_precision_constant=false;
779775
ansi_c.for_has_scope=true; // C99 or later
780776
ansi_c.ts_18661_3_Floatn_types=false;

src/util/config.h

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -173,10 +173,8 @@ class configt
173173
struct bv_encodingt
174174
{
175175
// number of bits to encode heap object addresses
176-
std::size_t object_bits;
177-
bool is_object_bits_default;
178-
179-
static const std::size_t default_object_bits=8;
176+
std::size_t object_bits = 8;
177+
bool is_object_bits_default = true;
180178
} bv_encoding;
181179

182180
// this is the function to start executing

0 commit comments

Comments
 (0)