[cfe-dev] Inserting life time markers for variables into CFG #2

[Daniel Marjamäki]

Hello!

Correction.. I can see "debug: ExprEngine: OutOfScope". As shown below:

clang -cc1 -analyze -analyzer-checker=core,alpha lifetimemarkers.c
debug: Insert OutOfScope
debug: Insert OutOfScope
debug: Insert OutOfScope
debug: ExprEngine: OutOfScope
debug: Insert OutOfScope

Using the same patch as in the previous email.

So it works after all.

If you have some further tips about how we move forward that would be appreciated.

I imagine we need to add a marker for each auto variable. At the end of the scope. And then we'll need to add some visitor.

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<mailto:Daniel.Marjamaki at evidente.se>@evidente.se<mailto:Daniel.Marjamaki at evidente.se>

www.evidente.se
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20140605/96655367/attachment.html>