diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-11-08 09:41:38 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-11-08 09:41:38 +0100 |
| commit | 9e9c57616c9cf683ed65b1ba60510b8ae8066700 (patch) | |
| tree | a391327cde328b9decb81b683563a87c0f7d9554 /cparser | |
| parent | 43b557ce847b56c1cfae2081c7585191043a85b6 (diff) | |
| download | compcert-9e9c57616c9cf683ed65b1ba60510b8ae8066700.tar.gz compcert-9e9c57616c9cf683ed65b1ba60510b8ae8066700.zip | |
Simplifiy handling of constant emmitting.
Instead of just storing the constants in a list, they are now
stored in a hashtable. This avoids printing of duplicates.
Bug 22525
Diffstat (limited to 'cparser')
0 files changed, 0 insertions, 0 deletions