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

[Daniel Marjamäki]

Hello!

We are trying to add lifetime markers for variables into the CFG. This was discussed before:

> Fundamentally, we would need to expand CFGElements to record a lifetime marker: ...
> We would then need the CFGBuilder to add these markers to the CFG in pretty much the same way that destructors are added. Lastly, we would need to extend the visitors in ExprEngine to handle the semantics when observing these markers.
> With the infrastructure we added for destructors, I suspect this is a fairly straightforward project.

The provided patch in this email contains some test code. It doesn't work. We get the message "debug: Insert OutOfScope" which should mean that markers is inserted but we never see "debug: ExprEngine: OutOfScope" that would indicate that the markers are seen.

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/c9031b63/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: lifetimemarkers-dm-140605.diff
Type: text/x-patch
Size: 3380 bytes
Desc: lifetimemarkers-dm-140605.diff
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20140605/c9031b63/attachment.bin>