HCoop
/
bpt
/
coccinelle.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Release coccinelle-0.1.11rc1
[bpt/coccinelle.git]
/
parsing_c
/
parsing_consistency_c.ml
diff --git
a/parsing_c/parsing_consistency_c.ml
b/parsing_c/parsing_consistency_c.ml
index
8a5c432
..
21eb83d
100644
(file)
--- a/
parsing_c/parsing_consistency_c.ml
+++ b/
parsing_c/parsing_consistency_c.ml
@@
-114,8
+114,8
@@
let consistency_checking2 xs =
stat +> Hashtbl.iter (fun k v ->
let xs = Common.hash_to_list v in
if List.length xs >= 2
stat +> Hashtbl.iter (fun k v ->
let xs = Common.hash_to_list v in
if List.length xs >= 2
- then begin
- pr2_err ("CONFLICT:" ^ k);
+ then begin
+ pr2_err ("
TYPEDEF
CONFLICT:" ^ k);
let sorted = xs +> List.sort (fun (ka,va) (kb,vb) ->
if !va =|= !vb then
(match ka, kb with
let sorted = xs +> List.sort (fun (ka,va) (kb,vb) ->
if !va =|= !vb then
(match ka, kb with
@@
-130,6
+130,8
@@
let consistency_checking2 xs =
| [CTypedef, i1;CIdent, i2] ->
pr2_err ("transforming some ident in typedef");
push2 k ident_to_type;
| [CTypedef, i1;CIdent, i2] ->
pr2_err ("transforming some ident in typedef");
push2 k ident_to_type;
+ | [CIdent, i1;CTypedef, i2] ->
+ pr2_err ("TODO:typedef now used as an identifier");
| _ ->
pr2_err ("TODO:other transforming?");
| _ ->
pr2_err ("TODO:other transforming?");