diff options
author | Pierre Nigron <pierre.nigron@free.fr> | 2020-09-22 12:32:59 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-19 16:23:17 +0200 |
commit | b816d696733c96fdc62428e43c4a4a1f5a09b47b (patch) | |
tree | 7a6ed23ab65addb874852d30b3a6ed8f1be11820 /test/regression/extern1.c | |
parent | 88cccb19502dfec65f7e21d0f6772ba99b1fb99d (diff) | |
download | compcert-b816d696733c96fdc62428e43c4a4a1f5a09b47b.tar.gz compcert-b816d696733c96fdc62428e43c4a4a1f5a09b47b.zip |
RTLgen: use the state and error monad for reserve_labels (#371)
Diffstat (limited to 'test/regression/extern1.c')
0 files changed, 0 insertions, 0 deletions