[cfe-dev] [RFC][StaticAnalyzer] Fix false negative

[Daniel Marjamäki via cfe-dev]

Hello Artem!

> I think i had recently made a patch for this issue: the range is removed 
> from the constraint manager because the only reference to the symbol is 
> from the element region index [in the environment value], which isn't 
> accounted for during garbage collection. The review is 
> http://reviews.llvm.org/D12726, you can see if this patch fixes the problem.

Great! That patch fixes my false negative also. :-)

Best regards,
Daniel Marjamäki

..................................................................................................................
Daniel Marjamäki Senior Engineer
Evidente ES East AB  Warfvinges väg 34  SE-112 51 Stockholm  Sweden

Mobile:                 +46 (0)709 12 42 62
E-mail:                 Daniel.Marjamaki at evidente.se

www.evidente.se