diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-04-08 16:51:12 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-04-16 18:33:34 +0200 |
commit | 5cee733c33bd53c0f58e9896f238ab862e224e46 (patch) | |
tree | c0ab63ad6c026703802c66535d86b600247ff91f /arm/Asmgen.v | |
parent | bfadad2c55c2088ee66de974bf2ad98b051c92cc (diff) | |
download | compcert-5cee733c33bd53c0f58e9896f238ab862e224e46.tar.gz compcert-5cee733c33bd53c0f58e9896f238ab862e224e46.zip |
Reset scope ids later.
In order to avoid adding ranges to the wrong scopes due to
inlining they are numbered consecutively for the whole compilation
unit.
Bug 26234
Diffstat (limited to 'arm/Asmgen.v')
0 files changed, 0 insertions, 0 deletions