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/Tailcallproof.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/Tailcallproof.v')
0 files changed, 0 insertions, 0 deletions