Skip to content

ConstraintAnalysis: Add AND fusing of { x <= C && x < C } => x < C - #8937

Merged
kripken merged 112 commits into
WebAssembly:mainfrom
kripken:compar.b.replace.2
Jul 24, 2026
Merged

ConstraintAnalysis: Add AND fusing of { x <= C && x < C } => x < C #8937
kripken merged 112 commits into
WebAssembly:mainfrom
kripken:compar.b.replace.2

Apply suggestion from @tlively

b0607f8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ubsan
succeeded Jul 24, 2026 in 22m 53s