diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-15 17:01:57 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2017-02-17 14:09:56 +0100 |
| commit | 6eb08ac1a681ac06c8b37a7c402e17bf12b82707 (patch) | |
| tree | ef7091c3e65f7ced255b5c2c03ec201a57f28cc3 /cfrontend/C2C.ml | |
| parent | 4a8f7dc7e9f3f57f08cca9ca2de19214cbe4dc77 (diff) | |
| download | compcert-6eb08ac1a681ac06c8b37a7c402e17bf12b82707.tar.gz compcert-6eb08ac1a681ac06c8b37a7c402e17bf12b82707.zip | |
Adopted unused variable and attribtue check
The unused variable check now uses two passes. One to collect the
used variables and one to report the unused variables.
Futhermore attribute checks are extended to composite declaration.
Also the check is now performed after elaboration.
Bug 19872
Diffstat (limited to 'cfrontend/C2C.ml')
0 files changed, 0 insertions, 0 deletions