Here goes a very small test that reproduces the problem.

It uncompresses to a "test" folder, that contains a include and a src folders. The include folder has just a foo.h with two structures, the src folder has 2 .c files, one with a #include "foo.h" and the other with #include <foo.h>

The patch there is just a simple field rename.

There's also a test.txt with the lines that I've tried... the two first lines (patching the file with quoted include) print
TYPE: header src/foo.h not found
in the output.

the third line (patching the file with angle brackets include) doesn't complain about it and works fine.

Thanks!


Alex

By the way, I'm trying with 0.1.11rc1...

Julia Lawall wrote:

On Thu, 17 Dec 2009, Alex Carrasco wrote:

Didn't work either :-/ I also tried -all_includes and -include_headers but with no success... :(

OK, I will look into it. It is at least supposed to work. For concreteness, could you send a small example. thanks, julia

- This message is subject to Imagination Technologies' e-mail terms: http://www.imgtec.com/e-mail.htm Imagination Technologies Ltd is a limited company registered in England No:  1306335  Registered Office: Imagination House, Home Park Estate, Kings Langley, Hertfordshire, WD4 8LZ.   Email to and from the company may be monitored for compliance and other administrative purposes.   -

_______________________________________________
Cocci mailing list
Cocci <at> diku.dk
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)