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

Reid Kleckner 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!

REPOSITORY
  rL LLVM

http://reviews.llvm.org/D5059






More information about the llvm-commits mailing list