> If you look at my example, I tested by creating types.h (in the same
> directory), that did include the single line 'typedef unsigned int u32;'
> only. I then ran
> spatch --all-includes -I . --sp-file test.cocci testcase2.c
> But that doesn't seem to make any difference. If I move the typedef into
> the c file, it works though.
OK, maybe types in header files are indeed treated differently.
> >
> > Coccinelle doesn't process Makefiles, so it doesn't know about complex
> > include paths. But if you want it to try as hard as possible with respect
> > to include files (which would probably be necessary to find a definition
> > of u32) then you can give the options --recursive-includes
> > --relax-include-path. The first means that if included file foo.h itself
> > includes bar.h, then includ bar.h too. The second means that if there is
> > eg only one occurrence of bar.h in your source tree, use that one, even if
> > the various -I arguments on the command line don't lead to it. This will
> > be extremely slow. You might be able to use the option
> > --include-headers-for-types which only takes the type information from the
> > header files, and doesn't actually try applying your transformation to
> > them. The intent is to have type information, when you have eg a->b and
> > the type of a is defined in a header file. But to collect type
> > information, one has to parse first, so it should be able to use the u32
> > definition.
>
> Thanks for those tips. They may become helpful when running on the
> actual code base.
> My spatch doesn't seem to understand the '--include-headers-for-types'
> switch. I might have to upgrade. I'm currently running what I get
> through my distro. That is version 1.0.0-rc21 with Python support and
> with PCRE support.
Yes, it would be good to upgrade.
A patch that adds a few more parsing hacks is below. It may apply to
your version or you may need to upgrade.
julia
diff --git a/parsing_c/parsing_hacks.ml b/parsing_c/parsing_hacks.ml
index e6824b4..96b1995 100644
--- a/parsing_c/parsing_hacks.ml
+++ b/parsing_c/parsing_hacks.ml
@@ -2496,6 +2496,26 @@ let lookahead2 ~pass next before =
msg_typedef s i1 35; LP.add_typedef_root s;
TypedefIdent (s, i1)
+ (* x ( *y )(params), function pointer *)
+ | (TIdent (s, i1)::TOPar _::TMul _::Tconst _::TIdent _::TCPar _::TOPar _::_,
+ _)
+ when not_struct_enum before
+ && ok_typedef s
+ ->
+
+ msg_typedef s i1 34; LP.add_typedef_root s;
+ TypedefIdent (s, i1)
+
+ (* x* ( *y )(params), function pointer 2 *)
+ | (TIdent (s, i1)::TMul _::TOPar _::TMul _::Tconst _::TIdent _::TCPar _::
+ TOPar _::_, _)
+ when not_struct_enum before
+ && ok_typedef s
+ ->
+
+ msg_typedef s i1 35; LP.add_typedef_root s;
+ TypedefIdent (s, i1)
+
(*-------------------------------------------------------------*)
(* CPP *)
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
