C++: Fix barrier in 'cpp/unbounded-write'.

This commit is contained in:
Mathias Vorreiter Pedersen
2025-09-15 16:34:05 +01:00
parent 78389c8897
commit a4c845c418

View File

@@ -109,7 +109,7 @@ predicate lessThanOrEqual(IRGuardCondition g, Expr e, boolean branch) {
g.comparesEq(left, _, _, true, branch)
|
interestingLessThanOrEqual(left) and
left.getDef().getUnconvertedResultExpression() = e
left.getDef().getConvertedResultExpression() = e
)
}