aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc/TargetPrinter.ml
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2015-09-21 14:45:28 +0200
committerXavier Leroy <xavier.leroy@inria.fr>2015-09-21 14:45:28 +0200
commitd8aac95c8d1767bf3b10990599b0f32687994182 (patch)
tree1d883ab45812c372b6651423b43b9fd67b77e2fb /powerpc/TargetPrinter.ml
parent9147350fdb47f3471ce6d9202b7c996f79ffab2d (diff)
downloadcompcert-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/TargetPrinter.ml')
0 files changed, 0 insertions, 0 deletions