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 /common/Sections.mli | |
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 'common/Sections.mli')
-rw-r--r-- | common/Sections.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/common/Sections.mli b/common/Sections.mli index e878b9e5..eca9a993 100644 --- a/common/Sections.mli +++ b/common/Sections.mli @@ -28,6 +28,7 @@ type section_name = | Section_user of string * bool (*writable*) * bool (*executable*) | Section_debug_info | Section_debug_abbrev + | Section_debug_loc type access_mode = | Access_default |