From 6eb08ac1a681ac06c8b37a7c402e17bf12b82707 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 15 Feb 2017 17:01:57 +0100 Subject: 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 --- cparser/Parse.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'cparser/Parse.ml') 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 -- cgit