Emit assume(false) as store i1 true, ptr poison, align 1#127740
Closed
dianqk wants to merge 1 commit intorust-lang:masterfrom
Closed
Emit `assume(false)` as `store i1 true, ptr poison, align 1`#127740dianqk wants to merge 1 commit intorust-lang:masterfrom
dianqk wants to merge 1 commit intorust-lang:masterfrom
