[PATCH] Fix crash in CFGReachabilityAnalysis triggered by IdempotentOperationChecker.

[Ted Kremenek]

I’ll take a look.

On Dec 17, 2013, at 10:59 AM, Alexander Kornienko <alexfh at google.com> wrote:

> 
>  I've added info on reproduction.
> 
>  The relevant stack frames are:
>  clang::CFGReverseBlockReachabilityAnalysis::isReachable CFGReachabilityAnalysis.cpp:37
>  (anonymous namespace)::IdempotentOperationChecker::pathWasCompletelyAnalyzed IdempotentOperationChecker.cpp:559
>  (anonymous namespace)::IdempotentOperationChecker::checkEndAnalysis IdempotentOperationChecker.cpp:378
> 
> http://llvm-reviews.chandlerc.com/D2427