Opened 6 years ago
Last modified 6 years 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 6 years ago by
Milestone: | → 4.2 |
---|---|
Summary: | Improve debugging information for inlined functions → Improve support for debugging inlined functions |
comment:2 Changed 6 years ago by
Milestone: | 4.2 → future |
---|
Note: See
TracTickets for help on using
tickets.
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).