[PATCH] Verifier: Don't reject varargs callee cleanup functions
rnk at google.com
Fri Aug 29 14:35:19 PDT 2014
>>! In D5059#14, @nlewycky wrote:
> 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.
OK, sounds good. :) Thanks!
More information about the llvm-commits