>> Would you like to clarify corresponding details? > > It is completely useless to me without knowing what C files are affected.
They are stored in a public repository. http://git.minix3.org/index.cgi?p=minix.git;a=tree I guess that the 24 occurrences of the message 'Failure("lexing: empty token")' can be discussed a bit later. I got the message 'EXN:File "./ctlcocci_integration.ml", line 246, characters 4-10: Assertion failed' for the following source files. 1. external/bsd/llvm/dist/clang/test/Sema/statements.c 2. external/bsd/llvm/dist/clang/test/Sema/vla.c 3. external/bsd/llvm/dist/clang/test/Sema/scope-check.c I got the message 'EXN:Common.Timeout' for the following source files. 1. sys/external/bsd/compiler_rt/dist/test/Unit/udivmodti4_test.c 2. external/bsd/llvm/dist/clang/test/Parser/parser_overflow.c 3. external/public-domain/sqlite/dist/sqlite3.c The command-line parameter "show-trying" does not display more useful information in these cases. Is this a bit strange? I got the message 'EXN:Failure("is_pass_through: node 612: return ...[1,2,259] in getanswer reachable by inconsistent control-flow paths")' for the source file 'lib/libc/net/gethnamaddr.c'. I got the message 'EXN:Failure("internal error: there is no noconst or novolatile keyword")' for the source file 'external/bsd/llvm/dist/clang/test/Sema/declspec.c'. Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
