[cfe-dev] [RFC][StaticAnalyzer] Fix false negative
Daniel Marjamäki via cfe-dev
cfe-dev at lists.llvm.org
Fri Nov 13 05:30:49 PST 2015
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
More information about the cfe-dev
mailing list