I have done something that seems like it should be good enough to fix the specific problem. You may get some new WEIRD warning messages, so it is not entirely satisfactory. 0.2.0 with this change will be released shortly.
julia On Tue, 5 Jan 2010, Ludovic Courtès wrote: > Hi Julia, > > Julia Lawall <[email protected]> writes: > > [...] > > > I guess the code exists already and it would not be an option to just > > move the #define into the body of the function? > > Right, itÿÿs not an option (appears in libguile, the run-time support > library of GNU Guile.) > > Thanks, > Ludoÿÿ. >
_______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
