diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-10-25 16:06:41 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-10-25 16:06:41 +0200 |
| commit | 755ceeb9476f96c5d07f27edd1b26b5f183ec9f5 (patch) | |
| tree | 7f08626ce969242566757242d48b10ef28a28dd9 /debug | |
| parent | bcb2b7b76272d63b3704bbdc76b9125a0b581bb8 (diff) | |
| download | compcert-kvx-755ceeb9476f96c5d07f27edd1b26b5f183ec9f5.tar.gz compcert-kvx-755ceeb9476f96c5d07f27edd1b26b5f183ec9f5.zip | |
Pass range info to the children.
Diffstat (limited to 'debug')
| -rw-r--r-- | debug/Dwarfgen.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debug/Dwarfgen.ml b/debug/Dwarfgen.ml index 76e2d638..3c75b3dc 100644 --- a/debug/Dwarfgen.ml +++ b/debug/Dwarfgen.ml @@ -470,9 +470,10 @@ module Dwarfgenaux (Target: TARGET) = let scope = { lexical_block_range = r; } in + let acc = (acc >>= dwr) in let vars,acc = mmap_opt (local_to_entry f_id) acc sc.scope_variables in let entry = new_entry id (DW_TAG_lexical_block scope) in - add_children entry vars,(acc >>= dwr) + add_children entry vars,acc and local_to_entry f_id acc id = match get_local_variable id with |