ConstraintAnalysis: Handle contradictions we find during other work#8906

kripken merged 2 commits into

WebAssembly:mainWebAssembly/binaryen:mainfrom

kripken:constraint.unreach.secondarykripken/binaryen:constraint.unreach.secondaryCopy head branch name to clipboard