[PATCH] D23853: Assert in performTrivialCopy - Bug report and a possible solution

[Devin Coughlin via cfe-commits]

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