diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2022-08-30 11:07:22 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-03 10:41:35 +0200 |
| commit | 941c3f023f473731d5a3399d950c746d0cadf46a (patch) | |
| tree | 7f0a2cfa063f835a76cdf27e9ab51ecc812ce199 /common/Linking.v | |
| parent | d5fda4fde03571e6dbc46729767924be7ac41920 (diff) | |
| download | compcert-941c3f023f473731d5a3399d950c746d0cadf46a.tar.gz compcert-941c3f023f473731d5a3399d950c746d0cadf46a.zip | |
Remove unused functions.
The `reset_constants` was only used for ARM and there it was superfluous
since the jumptables, which it additionally resets in contrast to
`reset_literals`, are always empty since jumptables are handled directly
in during printing of the instruction.
The `exists_constants` function is now also unused since we test directly
for the different sizes in `emit_constants`.
Diffstat (limited to 'common/Linking.v')
0 files changed, 0 insertions, 0 deletions