diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-09-21 14:45:28 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-09-21 14:45:28 +0200 |
commit | d8aac95c8d1767bf3b10990599b0f32687994182 (patch) | |
tree | 1d883ab45812c372b6651423b43b9fd67b77e2fb /powerpc/Asm.v | |
parent | 9147350fdb47f3471ce6d9202b7c996f79ffab2d (diff) | |
download | compcert-d8aac95c8d1767bf3b10990599b0f32687994182.tar.gz compcert-d8aac95c8d1767bf3b10990599b0f32687994182.zip |
Continuing experiment: track the scopes of local variables via __builtin_debug
As observed by B. Schommer, it is not enough to track scopes for every source line, as blocks can occur on a single line (think macros). Hence:
- Revert debug annotations of kind 1 to contain only line number info.
Generate them only when the line number changes.
- Use debug annotations of kind 6 to record the list of active scopes
(as BA_int integer arguments to __builtin_annot). Generate them
before every nontrivial statement, even if on the same line as others.
- Remove the generation of "variable x is declared in scope N" debug
annotations. This can be tracked separately and more efficiently.
Diffstat (limited to 'powerpc/Asm.v')
0 files changed, 0 insertions, 0 deletions