Opened 6 months ago

Last modified 6 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:
Cc:

Description

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 6 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.