diff options
author | Michael Schmidt <github@mschmidt.me> | 2023-01-11 12:21:21 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-01-23 18:11:14 +0100 |
commit | 800017c36c15774bdcc7dc5b318fa9606caa4170 (patch) | |
tree | ebe2fcf54cc3d1c8efee62d784490c42bb473e00 /backend/Tailcall.v | |
parent | 3845996aa69a8386d438265add80b5b66116eeaa (diff) | |
download | compcert-800017c36c15774bdcc7dc5b318fa9606caa4170.tar.gz compcert-800017c36c15774bdcc7dc5b318fa9606caa4170.zip |
Elaboration of compound initializers: reverse list of generated global variables
So as to respect dependency order when compound initializers are nested.
Fixes: #471
Diffstat (limited to 'backend/Tailcall.v')
0 files changed, 0 insertions, 0 deletions