HCoop
/
bpt
/
coccinelle.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Coccinelle release 0.2.5-rc5
[bpt/coccinelle.git]
/
engine
/
cocci_vs_c.ml
diff --git
a/engine/cocci_vs_c.ml
b/engine/cocci_vs_c.ml
index
1e9249e
..
e7979f8
100644
(file)
--- a/
engine/cocci_vs_c.ml
+++ b/
engine/cocci_vs_c.ml
@@
-1397,7
+1397,7
@@
and (ident_cpp: info_ident -> (A.ident, B.name) matcher) =
fail
and (ident: info_ident -> (A.ident, string * Ast_c.info) matcher) =
fail
and (ident: info_ident -> (A.ident, string * Ast_c.info) matcher) =
- fun infoidb ida ((idb, iib)) -> (* (idb, iib) as ib *)
+ fun infoidb ida ((idb, iib)
as ib
) -> (* (idb, iib) as ib *)
let check_constraints constraints idb =
let meta_id_val l x = Ast_c.MetaIdVal(x,l) in
match constraints with
let check_constraints constraints idb =
let meta_id_val l x = Ast_c.MetaIdVal(x,l) in
match constraints with
@@
-1477,6
+1477,10
@@
and (ident: info_ident -> (A.ident, string * Ast_c.info) matcher) =
| DontKnow -> failwith "MetaLocalFunc, need more semantic info about id"
)
| DontKnow -> failwith "MetaLocalFunc, need more semantic info about id"
)
+ (* not clear why disj things are needed, after disjdistr? *)
+ | A.DisjId ias ->
+ ias +> List.fold_left (fun acc ia -> acc >|+|> (ident infoidb ia ib)) fail
+
| A.OptIdent _ | A.UniqueIdent _ ->
failwith "not handling Opt/Unique for ident"
| A.OptIdent _ | A.UniqueIdent _ ->
failwith "not handling Opt/Unique for ident"