diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-11-08 10:52:26 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-11-08 10:52:26 +0100 |
commit | 90f4de67b8cd1ac753d099100d4612cc3eabe4f1 (patch) | |
tree | 9c8627eb73d56f2247039c36c2e73df5388f9420 /backend/Renumberproof.v | |
parent | 9e9c57616c9cf683ed65b1ba60510b8ae8066700 (diff) | |
download | compcert-90f4de67b8cd1ac753d099100d4612cc3eabe4f1.tar.gz compcert-90f4de67b8cd1ac753d099100d4612cc3eabe4f1.zip |
Fix jumptable issue.
Instead of using reset_constants use reset_literals which avoids
emptying the jumptables.
Bug 22525
Diffstat (limited to 'backend/Renumberproof.v')
0 files changed, 0 insertions, 0 deletions