[PATCH] D12074: [WinEHPrepare] Replace unreasonable funclet terminators with unreachable

[Joseph Tremoulet via llvm-commits]

JosephTremoulet requested changes to this revision.
JosephTremoulet added a comment.
This revision now requires changes to proceed.

Spoke too soon, sorry.


================
Comment at: test/CodeGen/WinEH/wineh-demotion.ll:325
@@ +324,3 @@
+  call void @f()
+  cleanupret token %cp0 unwind label %cleanup2
+}
----------------
Is this input valid?  I don't think the def of %cp0 dominates the use here (path where first invoke returns normally, second invoke raises exception reaches here via cleanup2 without passing through the def at cleanup1).


http://reviews.llvm.org/D12074