Opened 15 months ago

Last modified 7 months ago

#6 new defect

Improve support for debugging inlined functions

Reported by: Vladimír Štill Owned by: mornfall
Priority: major Milestone: 5.0
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 (3)

comment:1 Changed 15 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).

comment:2 Changed 7 months ago by mornfall

Milestone: 4.2future

comment:3 Changed 7 months ago by mornfall

Milestone: future5.0

Milestone renamed

Note: See TracTickets for help on using tickets.