diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-11-10 19:15:16 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-04-29 09:13:25 +0200 |
commit | d54fef19ae19df47dc9e0d64afdb6a110f5ecdb2 (patch) | |
tree | b0aad2de3668459e1cfddccd59c4189b521966ba /arm/CombineOpproof.v | |
parent | 868da35cd23d47e8c027967148518497f921f829 (diff) | |
download | compcert-d54fef19ae19df47dc9e0d64afdb6a110f5ecdb2.tar.gz compcert-d54fef19ae19df47dc9e0d64afdb6a110f5ecdb2.zip |
Emit no entry for variables without init in json.
Variables without init do not generated any assembly code so no entry in
the json AST should be generated. They correspond to extern variables
without initializer that are defined in another compilation unit.
Bug 30112
Diffstat (limited to 'arm/CombineOpproof.v')
0 files changed, 0 insertions, 0 deletions