The three function declarations are essential for this test.
But the prototypes are not.
I have just included them directly to make my source code example shorter.
In general in C, I don't see the need to write eg
int foo(int);
int foo(int x) { return 1; }
I would also usually place function prototypes and data type declarations in
separate header files.
It is possible by the means of the semantic patch languages to find such
declarations and to show their definitions and uses in a second analysis step?
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
