On Mon, Sep 3, 2012 at 1:32 PM, Julia Lawall <[email protected]> wrote: > I'm a bit surprised that it doesn't recognize this as a type. Check with > spatch -parse_c myfile.c to be sure that it is even parsing the function. > Perhaps it is failing on the function for another reason. > > If it does seem to be parsing the function, then it might help to define a > macro. In your standard.h file, try #define GLvoid void. I suspect, > though, that if you do that, it will not be willing to actually remove the > type name. All you could do is use python to print out the line on which > the problem occurs. > > julia
spatch -parse_c shows that the function's GLAPIENTRY qualifier wasn't recognized. #defining it in standard.h works around the problem, and GLvoid is correctly recognized. Thanks a lot, Julia! Matt _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
