Opened 8 months ago

Last modified 8 months ago

#6 new defect

Improve support for debugging inlined functions

Reported by: Vladimír Štill Owned by: mornfall
Priority: major Milestone: 4.2
Component: sim Keywords:


In divine sim it is now very hard to debug a function which was inlined: the source and most other information are shown for the function into which the current function was inlined.

Change History (1)

comment:1 Changed 8 months ago by mornfall

Milestone: 4.2
Summary: Improve debugging information for inlined functionsImprove support for debugging inlined functions

This would be ideally 'fixed' at the level of dbg::Node (i.e. create synthetic frames in the debug graph and eventually also attach variables to their respective synthetic frames).

Note: See TracTickets for help on using tickets.