Skip to content

ConstraintAnalysis: Do not add something already known to be true when ANDing#8889

Merged
kripken merged 1 commit into
WebAssembly:mainfrom
kripken:constraint.provesTrue
Jul 8, 2026
Merged

ConstraintAnalysis: Do not add something already known to be true when ANDing#8889
kripken merged 1 commit into
WebAssembly:mainfrom
kripken:constraint.provesTrue

ConstraintAnalysis: Do not AND something already known to be true

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

Annotations

1 warning
tsan
succeeded Jul 8, 2026 in 24m 37s