dcoughlin added a comment. I'm not sure that weakening the assert is the right thing to do here. It seems like if V is undef that the analyzer ideally ought to have issued a diagnostic (and a sink) somewhere before. Do you have a test case that reproduces? (It would be good to add that to the tests in any event!).
Also: I think r270511 is unlikely to be the change that caused this -- that is a change in LLVM's treatment of DebugInfo, which shouldn't affect the analyzer. https://reviews.llvm.org/D23853 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
