[PATCH] Fix crash in CFGReachabilityAnalysis triggered by IdempotentOperationChecker.

[Ted Kremenek]

On Dec 18, 2013, at 1:30 PM, Alexander Kornienko <alexfh at google.com> wrote:

>  The analyzer-bug.cpp attached to the phab item triggers the assertion fail (without this patch it triggers the assertion a bit deeper - in the BitVector. I reliable reproduce the failure on x86-64 Linux with this command:
>    clang --analyze -Xanalyzer -analyzer-checker=alpha.deadcode.IdempotentOperations -std=c++11 analyzer-bug.cpp

Thanks.  Sorry I missed the attachment.  Normally I’d expect to see a bug like this to be filed as an actually LLVM PR; I wasn’t expecting to see a test case in Phabricator itself.  It’s my fault for not reading your comments closely enough.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20131220/da6f3df8/attachment.html>