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

kripken merged 1 commit into

WebAssembly:mainWebAssembly/binaryen:mainfrom

kripken:constraint.provesTruekripken/binaryen:constraint.provesTrueCopy head branch name to clipboard