We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 56adbb2 commit e2af83fCopy full SHA for e2af83f
src/util/simplify_expr.cpp
@@ -178,7 +178,9 @@ simplify_exprt::resultt<>
178
simplify_exprt::simplify_ctz(const count_trailing_zeros_exprt &expr)
179
{
180
const auto const_bits_opt = expr2bits(
181
- expr.op(), byte_extract_id() == ID_byte_extract_little_endian, ns);
+ expr.op(),
182
+ config.ansi_c.endianness == configt::ansi_ct::endiannesst::IS_LITTLE_ENDIAN,
183
+ ns);
184
185
if(!const_bits_opt.has_value())
186
return unchanged(expr);
0 commit comments