Inserting life time markers for variables into CFG #2

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@evidente.se

www.evidente.se