On Sun, 29 Aug 2010, Vasiliy Kulikov wrote: > On Sun, Aug 29, 2010 at 16:16 +0200, Julia Lawall wrote: > > When I try it, I get a stack overflow. But even if that did not occur, > > I'm not sure it will be possible to get any useful information from the > > file, because I have the impression that every function is unparsable. I > > will look into it a bit more. > > So, you think this is just very big source to be able to check it, right? ;(
No, there may be a stack overflow problem in the parsing. > IMO .cocci file is too little to require too much memory, I think it > should require C1 + C2*number_of_global_variables, but not smth like > C3*number_of_functions... I don't think the .cocci file is relevant. I don't think it gets through the parsing of the C file. There are some functions in the parsing process that can build up the stack unnecessarily (I've found problems like this before). I'm looking into it. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
