Skip to content

ConstraintAnalysis: Add OR fusing of { x == C || x > C } => x >= C#8936

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

ConstraintAnalysis: Add OR fusing of { x == C || x > C } => x >= C#8936
kripken merged 91 commits into
WebAssembly:mainfrom
kripken:compar.b.replace

work

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

Annotations

1 warning
clang with fuzztest
succeeded Jul 24, 2026 in 20m 11s