ConstraintAnalysis: Add AND fusing of { x <= C && x < C } => x < C (#8937)
This is common in loops, where after we increment, we apply a bound.
A
Alon Zakai committed
ad13059866f26f7ece55fd754f6196c90b0d5faa
Parent: 2e03566
Committed by GitHub <noreply@github.com>
on 7/24/2026, 8:20:54 PM