I added this line to my Python code:
print >>sys.stderr, 'Warning: missing \\n on line %s in %s' %
(p1[0].line, p1[0].file)
and this is what it prints:
Warning: missing \n on line 813 in
/tmp/cocci_small_output-11011-b5932b-grgf100.c
So it looks like spatch is copying the file to the /tmp directory
before processing it. Is there any way to get the original file name,
grgf100.c?
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
