((a.res Ok) (a3d.res Ok) (a_and_e.res Ok) (a_and_e_ver1.res Ok) (ab.res Ok)
(addaft.res Ok) (addbefore.res Ok) (addbeforeafter.res Ok) (addelse.res Ok)
- (addif.res Ok) (addif1.res Ok) (addif2.res Ok) (addtoo.res Ok)
- (after_if.res Ok) (anon.res Ok) (ar.res Ok) (arg.res Ok) (argument.res Ok)
- (arparam.res Ok) (array_init.res Ok) (array_size.res Ok) (arraysz.res Ok)
- (attradd.res Ok) (b1.res Ok) (b2.res Ok)
+ (addfield.res Ok) (addif.res Ok) (addif1.res Ok) (addif2.res Ok)
+ (addtoo.res Ok) (after_if.res Ok) (anon.res Ok) (ar.res Ok) (arg.res Ok)
+ (argument.res Ok) (arparam.res Ok) (array_init.res Ok) (array_size.res Ok)
+ (arraysz.res Ok) (attradd.res Ok) (b1.res Ok) (b2.res Ok)
(bad_iso_example.res
(Pb
"INCORRECT:diff token: ( VS x\nFile \"tests/bad_iso_example.c\", line 2, column 6, charpos = 19\n around = '(', whole content = if ((x = 3)) return;\nFile \"tests/bad_iso_example.res\", line 2, column 6, charpos = 19\n around = 'x', whole content = if (x) return;\n\n diff (result(<) vs expected_result(>)) = \n @@ -1,4 +1,4 @@\n int main() {\n - if ((x = 3)) return;\n + if (x) return;\n }\n \n"))
(cast_iso.res Ok) (com.res Ok) (comadd.res Ok) (comments.res Ok)
(compare.res Ok) (condexp.res Ok) (const.res Ok) (const1bis.res Ok)
(const_adding.res Ok) (const_array.res Ok) (const_implicit_iso.res Ok)
- (constty.res Ok) (constx.res Ok) (cs_check.res Ok) (cst.res Ok)
- (cst_null.res Ok) (csw.res Ok)
+ (constrem.res Ok) (constructor.res Ok) (constty.res Ok) (constx.res Ok)
+ (cs_check.res Ok) (cst.res Ok) (cst_null.res Ok) (csw.res Ok)
(dbg.res
(Pb
"INCORRECT:diff token: else VS (\nFile <COCCIOUTPUTFILE>, line 8, column 2, charpos = 133\n around = 'else', whole content = \t\telse pr = NULL;(\"PCI\");\nFile \"tests/dbg.res\", line 7, column 5, charpos = 130\n around = '(', whole content = \t\tDBG(\"PCI\");\n\n diff (result(<) vs expected_result(>)) = \n @@ -4,6 +4,6 @@\n \tstruct resource *pr, *r = &dev->resource[idx];\n \n \tif (pr)\n -\t\tDBG\n -\t\telse pr = NULL;(\"PCI\");\n +\t\tDBG(\"PCI\");\n +\telse pr = NULL;\n }\n"))
(double_lines.res Ok) (double_switch.res Ok) (doublepos.res Ok)
(doubleswitch.res Ok) (doundo.res Ok) (dowhile.res Ok) (dropf.res Ok)
(dropparam.res Ok) (eb1.res Ok) (edots.res Ok) (edots_ver1.res Ok)
- (empty.res Ok) (end_commas.res Ok) (endif.res Ok) (enum.res Ok) (exp.res Ok)
+ (empty.res Ok) (end_commas.res Ok) (endif.res Ok) (enum.res Ok)
+ (exitc.res
+ (Pb
+ "PROBLEM\n exn = Yes_prepare_ocamlcocci.LinkFailure(\"/tmp/exitc87c840.cmxs\")\n"))
+ (exitp.res (Pb "PROBLEM\n exn = Failure(\"no python\")\n")) (exp.res Ok)
(expnest.res Ok) (expopt.res Ok) (expopt2.res Ok) (expopt3.res Ok)
- (expopt3_ver1.res Ok) (expopt3_ver2.res Ok) (fields.res Ok)
- (fieldsmin.res Ok) (find_long.res Ok) (fix_flow_need.res Ok)
+ (expopt3_ver1.res Ok) (expopt3_ver2.res Ok)
+ (extra.res
+ (Pb
+ "PROBLEM\n exn = Yes_prepare_ocamlcocci.LinkFailure(\"/tmp/extra768a97.cmxs\")\n"))
+ (fields.res Ok) (fieldsmin.res Ok) (find_long.res Ok) (fix_flow_need.res Ok)
(fn_todo.res Ok) (fnptr.res Ok) (fnret.res Ok) (fnty.res Ok) (four.res Ok)
(foura.res Ok) (fp.res Ok) (fsh.res Ok) (fun.res Ok)
(gilles-question.res Ok) (gotobreak.res Ok) (hd.res Ok) (headers.res Ok)
- (hex.res Ok) (hil1.res Ok) (if.res Ok) (ifbr.res Ok) (ifd.res Ok)
- (ifdef1.res Ok) (ifdef2.res Ok) (ifdef3.res Ok) (ifdef4.res Ok)
+ (hex.res Ok) (hil1.res Ok) (if.res Ok) (ifadd.res Ok) (ifbr.res Ok)
+ (ifd.res Ok) (ifdef1.res Ok) (ifdef2.res Ok) (ifdef3.res Ok) (ifdef4.res Ok)
(ifdef5.res Ok) (ifdef6.res Ok) (ifdef6a.res Ok) (ifdefmeta.res Ok)
(ifdefmeta1.res Ok) (ifdefmeta2.res Ok) (ifdefmeta3.res Ok)
(ifdefmeta4.res
(Pb
"INCORRECT:diff token: x VS 12\nFile \"tests/incdir.c\", line 4, column 6, charpos = 46\n around = 'x', whole content = foo(x);\nFile \"tests/incdir.res\", line 4, column 6, charpos = 46\n around = '12', whole content = foo(12);\n\n diff (result(<) vs expected_result(>)) = \n @@ -1,5 +1,5 @@\n #include \"sub/incdir2.c\"\n \n int main () {\n - foo(x);\n + foo(12);\n }\n"))
(incl.res Ok) (inclifdef.res Ok) (include.res Ok)
- (incompatible_value.res Ok) (inherited.res Ok) (inherited_ver1.res Ok)
- (inhmet.res Ok) (inhpos.res Ok) (initializer.res Ok)
- (initializer_many_fields.res Ok) (inline.res Ok) (insdef.res Ok)
- (isococci.res Ok) (isotest.res Ok) (isotest2.res Ok) (iterator.res Ok)
+ (incompatible_value.res Ok)
+ (incpos.res (Pb "PROBLEM\n exn = Failure(\"no python\")\n"))
+ (incpos1.res (Pb "PROBLEM\n exn = Failure(\"no python\")\n"))
+ (inherited.res Ok) (inherited_ver1.res Ok) (inhmet.res Ok) (inhpos.res Ok)
+ (initializer.res Ok) (initializer_many_fields.res Ok) (inline.res Ok)
+ (insdef.res Ok) (isococci.res Ok) (isotest.res Ok) (isotest2.res Ok)
+ (iterator.res Ok)
(jloop1.res
(Pb
"PROBLEM\n exn = Failure(\"minus: parse error: \\n = File \\\"tests/jloop1.cocci\\\", line 10, column 3, charpos = 129\\n around = '...>', whole content = ...>\\n\")\n"))
(julia10.res Ok) (julia7.res Ok) (justremove.res Ok) (keep_comma.res Ok)
- (km.res Ok) (kmalloc.res Ok) (kmc.res Ok) (ktype.res Ok)
+ (km.res Ok) (kmalloc.res Ok) (kmc.res Ok) (kr.res Ok) (ktype.res Ok)
(labels_metastatement.res Ok) (labels_metastatement_ver1.res Ok)
(lid.res Ok) (line_before_last.res Ok) (list_test.res Ok) (local.res Ok)
(localid.res Ok) (longconst.res Ok) (longlong.res Ok) (longlongint.res Ok)
(loop.res Ok) (lvalue.res Ok) (macro.res Ok) (macro_int16.res Ok)
- (match_init.res Ok) (match_no_meta.res Ok) (max.res Ok)
- (memory.res (Pb "PROBLEM\n exn = Out of memory\n"))
+ (match_init.res Ok) (match_no_meta.res Ok) (max.res Ok) (memory.res Ok)
(metahex.res
(Pb
"INCORRECT:diff token: f VS }\nFile \"tests/metahex.c\", line 2, column 2, charpos = 15\n around = 'f', whole content = f(3);\nFile \"tests/metahex.res\", line 2, column 0, charpos = 13\n around = '}', whole content = }\n\n diff (result(<) vs expected_result(>)) = \n @@ -1,4 +1,2 @@\n int main() {\n - f(3);\n - g(0x03);\n }\n"))
- (metaruleelem.res Ok) (metastatement2.res Ok) (metastatement_for.res Ok)
- (metastatement_if.res Ok) (minenum.res Ok) (minfn.res Ok)
- (mini_null_ref.res Ok) (minstruct.res Ok) (minusdots.res Ok)
+ (metaline.res Ok) (metaruleelem.res Ok) (metastatement2.res Ok)
+ (metastatement_for.res Ok) (metastatement_if.res Ok) (minenum.res Ok)
+ (minfn.res Ok) (mini_null_ref.res Ok) (minstruct.res Ok) (minusdots.res Ok)
(minusdots_ver1.res Ok)
(multi_func1.res
(Pb
"PROBLEM\n exn = Failure(\"minus: parse error: \\n = File \\\"tests/multi_func1.cocci\\\", line 12, column 2, charpos = 102\\n around = 'fn2', whole content = fn2(...) {\\n\")\n"))
- (multiplus.res Ok) (multitype.res Ok) (multitypedef.res Ok)
- (multivars.res Ok) (na.res Ok) (nameless.res Ok) (nest.res Ok)
- (nestone.res Ok) (nestseq.res Ok) (neststruct.res Ok) (nl.res Ok)
- (nocast.res Ok) (not.res Ok) (notest.res Ok) (noty.res Ok)
+ (multichars.res Ok) (multiplus.res Ok) (multitype.res Ok)
+ (multitypedef.res Ok) (multivars.res Ok) (na.res Ok) (nameless.res Ok)
+ (nest.res Ok) (nestone.res Ok) (nestseq.res Ok) (neststruct.res Ok)
+ (nl.res Ok) (nocast.res Ok) (not.res Ok) (notest.res Ok) (noty.res Ok)
(null_bool.res
(Pb
"INCORRECT:diff token: ) VS !=\nFile <COCCIOUTPUTFILE>, line 2, column 8, charpos = 22\n around = ')', whole content = if (12) return;\nFile \"tests/null_bool.res\", line 2, column 9, charpos = 23\n around = '!=', whole content = if (12 != NULL) return;\n\n diff (result(<) vs expected_result(>)) = \n @@ -1,6 +1,6 @@\n int main () {\n - if (12) return;\n - if (a && 12 && b) return;\n + if (12 != NULL) return;\n + if (a && 12 != NULL && b) return;\n if (12) return;\n if (a && 12 && b) return;\n x = x + 20;\n"))
"INCORRECT:diff token: init_MUTEX VS mutex_init\nFile \"tests/serio.c\", line 7, column 1, charpos = 130\n around = 'init_MUTEX', whole content = \tinit_MUTEX(&serio->drv_sem);\nFile \"tests/serio.res\", line 7, column 1, charpos = 130\n around = 'mutex_init', whole content = \tmutex_init(&serio->new_lock);\n\n diff (result(<) vs expected_result(>)) = \n @@ -4,5 +4,5 @@\n \n static void serio_init_port(struct serio *serio)\n {\n -\tinit_MUTEX(&serio->drv_sem);\n +\tmutex_init(&serio->new_lock);\n }\n"))
(shared_brace.res Ok) (signed.res Ok) (sis.res Ok) (sizeof.res Ok)
(sizeof_julia.res Ok) (sizeptr.res Ok) (sizestar.res Ok) (skip.res Ok)
- (sp.res Ok) (spaces.res Ok) (spl.res Ok) (static.res Ok) (stm1.res Ok)
- (stm10.res Ok) (stm10_ver1.res Ok) (stm2.res Ok) (stm3.res Ok) (stm4.res Ok)
- (stm5.res Ok) (stm6.res Ok) (stm7.res Ok) (stm8.res Ok) (stmt.res Ok)
- (str_init.res Ok) (strangeorder.res Ok) (strid.res Ok) (strid2.res Ok)
- (string.res Ok) (struct.res Ok) (struct_metavar.res Ok)
- (struct_typedef.res Ok) (structfoo.res Ok) (substruct.res Ok) (sw.res Ok)
- (switch.res Ok) (switchdecl.res Ok) (td.res Ok) (tern.res Ok) (test0.res Ok)
+ (smallfn.res Ok) (sp.res Ok) (spaces.res Ok) (spacing.res Ok) (spl.res Ok)
+ (starprint.res Ok) (static.res Ok)
+ (stm1.res (Pb "PROBLEM\n exn = Failure(\"no python\")\n")) (stm10.res Ok)
+ (stm10_ver1.res Ok) (stm2.res Ok) (stm3.res Ok) (stm4.res Ok) (stm5.res Ok)
+ (stm6.res Ok) (stm7.res (Pb "PROBLEM\n exn = Failure(\"no python\")\n"))
+ (stm8.res Ok) (stmt.res Ok) (str_init.res Ok) (strangeorder.res Ok)
+ (strid.res Ok) (strid2.res Ok) (string.res Ok) (struct.res Ok)
+ (struct_metavar.res Ok) (struct_typedef.res Ok) (structfoo.res Ok)
+ (substruct.res Ok) (sw.res Ok) (switch.res Ok) (switchdecl.res Ok)
+ (symbol.res Ok) (td.res Ok) (tdnl.res Ok) (tern.res Ok) (test0.res Ok)
(test1.res Ok) (test10.res Ok) (test10_ver1.res Ok) (test11.res Ok)
(test11_ver1.res Ok) (test12.res Ok) (test2.res Ok) (test3.res Ok)
(test4.res Ok) (test5.res Ok) (test5_ver1.res Ok) (test6.res Ok)
(test_unsigned_meta.res Ok) (three_types.res Ok) (threea.res Ok)
(top.res Ok) (topdec.res Ok) (topdec_ver1.res Ok) (topdec_ver2.res Ok)
(toplevel_macrostmt.res Ok) (toplevel_struct.res Ok) (tup.res Ok)
- (twoproto.res Ok) (ty.res Ok) (ty1.res Ok) (ty_tyexp.res Ok) (tydisj.res Ok)
- (tyex.res Ok) (type.res Ok) (type1.res Ok) (type_annotated.res Ok)
- (type_ver1.res Ok)
+ (twomatch.res Ok) (twoproto.res Ok) (ty.res Ok) (ty1.res Ok)
+ (ty_tyexp.res Ok) (tydisj.res Ok) (tyex.res Ok) (type.res Ok) (type1.res Ok)
+ (type_annotated.res Ok) (type_ver1.res Ok)
(type_ver2.res
(Pb
"INCORRECT:PB parsing only in generated-file\n diff (result(<) vs expected_result(>)) = \n @@ -1,5 +1,5 @@\n int foo() {\n - int[10] *x;\n + int *x[10];\n return 0;\n }\n \n"))