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 /cparser/Parse.ml | |
| parent | 4a8f7dc7e9f3f57f08cca9ca2de19214cbe4dc77 (diff) | |
| download | compcert-kvx-6eb08ac1a681ac06c8b37a7c402e17bf12b82707.tar.gz compcert-kvx-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 'cparser/Parse.ml')
| -rw-r--r-- | cparser/Parse.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/cparser/Parse.ml b/cparser/Parse.ml index f7676083..ecd13332 100644 --- a/cparser/Parse.ml +++ b/cparser/Parse.ml @@ -24,9 +24,7 @@ let transform_program t p name = (run_pass Unblock.program 'b' (run_pass Bitfields.program 'f' p)))) in - let p2 = Rename.program p1 in - Checks.unknown_attrs_program p2; - p2 + Rename.program p1 let parse_transformations s = let t = ref CharSet.empty in |