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.
shl_overflow_exprt
simplify_overflow_binary
1 parent 24c9da7 commit 7936b57Copy full SHA for 7936b57
src/util/simplify_expr.cpp
@@ -2230,7 +2230,7 @@ simplify_exprt::simplify_overflow_binary(const binary_overflow_exprt &expr)
2230
no_overflow_result = *op0_value - *op1_value;
2231
else if(can_cast_expr<mult_overflow_exprt>(expr))
2232
no_overflow_result = *op0_value * *op1_value;
2233
- else if(expr.id() == ID_overflow_shl)
+ else if(can_cast_expr<shl_overflow_exprt>(expr))
2234
no_overflow_result = *op0_value << *op1_value;
2235
else
2236
UNREACHABLE;
0 commit comments