diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-25 16:43:18 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-25 16:43:18 +0200 |
commit | aff813685455559f6d6a88158dd3d605893ba3a3 (patch) | |
tree | 41905241a6f4d2969ad77e3952f4427d3cb4613d /ia32/TargetPrinter.ml | |
parent | fc8afb9287ab7b1607e5a7d2a03b0078fd9867d0 (diff) | |
download | compcert-aff813685455559f6d6a88158dd3d605893ba3a3.tar.gz compcert-aff813685455559f6d6a88158dd3d605893ba3a3.zip |
Added support for the locations of stack allocated local variables.
This commit adds furher support for location information for local
variables and starts with the implementation of the debug_loc section.
Diffstat (limited to 'ia32/TargetPrinter.ml')
-rw-r--r-- | ia32/TargetPrinter.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ia32/TargetPrinter.ml b/ia32/TargetPrinter.ml index b06f6f97..215eb4b8 100644 --- a/ia32/TargetPrinter.ml +++ b/ia32/TargetPrinter.ml @@ -102,6 +102,7 @@ module Cygwin_System : SYSTEM = sprintf ".section \"%s\", \"%s\"\n" s (if ex then "xr" else if wr then "d" else "dr") | Section_debug_info + | Section_debug_loc | Section_debug_abbrev -> "" (* Dummy value *) let stack_alignment = 8 (* minimum is 4, 8 is better for perfs *) |