diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-04-09 20:57:19 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-04-09 20:57:19 +0200 |
| commit | a51d625ac5005c2b2f701396e2c75d82eb102e30 (patch) | |
| tree | 80fd2d2dce786cf88791e03ed8f6086b04c971bc /cparser/Cabs.v | |
| parent | e226562cf531906ecd6510c4767316b07ef451f6 (diff) | |
| download | compcert-a51d625ac5005c2b2f701396e2c75d82eb102e30.tar.gz compcert-a51d625ac5005c2b2f701396e2c75d82eb102e30.zip | |
Check for redefinition of globals and preserve static initialized variables (#81)
* Added check for redefinition of globals.
Since Cleanup may remove duplicated static functions or global
definitions we need to check for duplication during elaboration,
not just in C2C.
Bug 23410
* Do not eliminate unreferenced static variables with initializers
This way all initialized variables make it to the C2C pass,
where the initializers are checked for constant-ness.
Bug 23410
Diffstat (limited to 'cparser/Cabs.v')
0 files changed, 0 insertions, 0 deletions