[PATCH] Verifier: Don't reject varargs callee cleanup functions

Nick Lewycky nlewycky at google.com
Fri Aug 29 14:11:23 PDT 2014

Yup, I've changed my mind.

A pass should be able to fold "br i1 false, label %bb1, label %bb2" into "br label %bb2" without worrying about making the module fail verification. Hence, testing for "isReachableFromEntry" is a bad idea here. Please allow it, then commit it.


More information about the llvm-commits mailing list