tests/SCORE_expected_orig.sexp

   1 ((a.res Ok) (a3d.res Ok) (a_and_e.res Ok) (a_and_e_ver1.res Ok) (ab.res Ok)
   2  (addaft.res Ok) (addbefore.res Ok) (addbeforeafter.res Ok) (addelse.res Ok)
   3  (addfield.res Ok) (addif.res Ok) (addif1.res Ok) (addif2.res Ok)
   4  (addtoo.res Ok) (after_if.res Ok) (anon.res Ok) (ar.res Ok) (arg.res Ok)
   5  (argument.res Ok) (arparam.res Ok) (array_init.res Ok) (array_size.res Ok)
   6  (arraysz.res Ok) (attradd.res Ok) (b1.res Ok) (b2.res Ok)
   7  (bad_iso_example.res
   8   (Pb
   9    "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"))
  10  (bad_kfree.res Ok) (bad_ptr_print.res Ok) (bad_typedef.res Ok)
  11  (badexp.res Ok)
  12  (badpos.res
  13   (Pb
  14    "PROBLEM\n   exn = Failure(\"rule starting on line 1: already tagged token:\\nC code context\\nFile \\\"tests/badpos.c\\\", line 5, column 30,  charpos = 139\\n    around = 'reg_ptr', whole content = \\t (int) -(((struct pt_regs *) reg_ptr)->orig_eax + 2));\")\n"))
  15  (badtypedef.res Ok) (badwhen.res Ok) (badzero.res Ok) (befS.res Ok)
  16  (ben.res Ok) (bitfield.res Ok) (braces.res Ok) (break.res Ok) (bug1.res Ok)
  17  (bugloop.res Ok) (bugon.res Ok) (cards.res Ok) (cast.res Ok)
  18  (cast_iso.res Ok) (com.res Ok) (comadd.res Ok) (comments.res Ok)
  19  (compare.res Ok) (condexp.res Ok) (const.res Ok) (const1bis.res Ok)
  20  (const_adding.res Ok) (const_array.res Ok) (const_implicit_iso.res Ok)
  21  (constrem.res Ok) (constructor.res Ok) (constty.res Ok) (constx.res Ok)
  22  (cs_check.res Ok) (cst.res Ok) (cst_null.res Ok) (csw.res Ok)
  23  (dbg.res
  24   (Pb
  25    "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"))
  26  (dbg1.res
  27   (Pb
  28    "INCORRECT:diff token: E VS (\nFile <COCCIOUTPUTFILE>, line 5, column 2,  charpos = 75\n    around = 'E', whole content = \t\tE = NULL;(\"PCI\");\nFile \"tests/dbg1.res\", line 4, column 5,  charpos = 72\n    around = '(', whole content = \t\tDBG(\"PCI\");\n\n    diff (result(<) vs expected_result(>)) = \n    @@ -1,6 +1,6 @@\n     \n     static inline void alloc_resource(struct pci_dev *dev, int idx)\n     {\n    -\t\tDBG\n    -\t\tE = NULL;(\"PCI\");\n    +\t\tDBG(\"PCI\");\n    +\t\tE = NULL;\n     }\n"))
  29  (dc_close.res Ok) (debug.res Ok) (dec.res Ok) (decl.res Ok) (decl2.res Ok)
  30  (decl_space.res Ok)
  31  (decl_split.res
  32   (Pb
  33    "INCORRECT:diff token: int VS }\nFile \"tests/decl_split.c\", line 2, column 8,  charpos = 27\n    around = 'int', whole content =         int x, y;\nFile \"tests/decl_split.res\", line 2, column 0,  charpos = 19\n    around = '}', whole content = }\n\n    diff (result(<) vs expected_result(>)) = \n    @@ -1,3 +1,2 @@\n     int func(int i) { \n    -        int x, y;\n     }\n"))
  34  (decl_star.res Ok)
  35  (declinv.res
  36   (Pb
  37    "PROBLEM\n   exn = Unix.Unix_error(20, \"stat\", \"tests/declinv.cocci\")\n"))
  38  (defe.res Ok) (define_exp.res Ok) (define_param.res Ok) (deftodo.res Ok)
  39  (delete_function.res Ok) (delp.res Ok) (deref.res Ok) (devlink.res Ok)
  40  (disjexpr.res Ok) (disjexpr_ver1.res Ok) (disjexpr_ver2.res Ok)
  41  (disjid.res Ok) (distribute.res Ok) (double.res Ok) (double_assign.res Ok)
  42  (double_lines.res Ok) (double_switch.res Ok) (doublepos.res Ok)
  43  (doubleswitch.res Ok) (doundo.res Ok) (dowhile.res Ok) (dropf.res Ok)
  44  (dropparam.res Ok) (eb1.res Ok) (edots.res Ok) (edots_ver1.res Ok)
  45  (empty.res Ok) (end_commas.res Ok) (endif.res Ok) (enum.res Ok)
  46  (exitc.res
  47   (Pb
  48    "PROBLEM\n   exn = Yes_prepare_ocamlcocci.LinkFailure(\"/tmp/exitc87c840.cmxs\")\n"))
  49  (exitp.res (Pb "PROBLEM\n   exn = Failure(\"no python\")\n")) (exp.res Ok)
  50  (expnest.res Ok) (expopt.res Ok) (expopt2.res Ok) (expopt3.res Ok)
  51  (expopt3_ver1.res Ok) (expopt3_ver2.res Ok)
  52  (extra.res
  53   (Pb
  54    "PROBLEM\n   exn = Yes_prepare_ocamlcocci.LinkFailure(\"/tmp/extra768a97.cmxs\")\n"))
  55  (fields.res Ok) (fieldsmin.res Ok) (find_long.res Ok) (fix_flow_need.res Ok)
  56  (fn_todo.res Ok) (fnptr.res Ok) (fnret.res Ok) (fnty.res Ok) (four.res Ok)
  57  (foura.res Ok) (fp.res Ok) (fsh.res Ok) (fun.res Ok)
  58  (gilles-question.res Ok) (gotobreak.res Ok) (hd.res Ok) (headers.res Ok)
  59  (hex.res Ok) (hil1.res Ok) (if.res Ok) (ifadd.res Ok) (ifbr.res Ok)
  60  (ifd.res Ok) (ifdef1.res Ok) (ifdef2.res Ok) (ifdef3.res Ok) (ifdef4.res Ok)
  61  (ifdef5.res Ok) (ifdef6.res Ok) (ifdef6a.res Ok) (ifdefmeta.res Ok)
  62  (ifdefmeta1.res Ok) (ifdefmeta2.res Ok) (ifdefmeta3.res Ok)
  63  (ifdefmeta4.res
  64   (Pb
  65    "PROBLEM\n   exn = Unix.Unix_error(20, \"stat\", \"tests/ifdefmeta4.cocci\")\n"))
  66  (ifend.res Ok) (ifields.res Ok) (ifzer.res Ok) (inc.res Ok)
  67  (incdir.res
  68   (Pb
  69    "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"))
  70  (incl.res Ok) (inclifdef.res Ok) (include.res Ok)
  71  (incompatible_value.res Ok)
  72  (incpos.res (Pb "PROBLEM\n   exn = Failure(\"no python\")\n"))
  73  (incpos1.res (Pb "PROBLEM\n   exn = Failure(\"no python\")\n"))
  74  (inherited.res Ok) (inherited_ver1.res Ok) (inhmet.res Ok) (inhpos.res Ok)
  75  (initializer.res Ok) (initializer_many_fields.res Ok) (inline.res Ok)
  76  (insdef.res Ok) (isococci.res Ok) (isotest.res Ok) (isotest2.res Ok)
  77  (iterator.res Ok)
  78  (jloop1.res
  79   (Pb
  80    "PROBLEM\n   exn = Failure(\"minus: parse error: \\n = File \\\"tests/jloop1.cocci\\\", line 10, column 3,  charpos = 129\\n    around = '...>', whole content =    ...>\\n\")\n"))
  81  (julia10.res Ok) (julia7.res Ok) (justremove.res Ok) (keep_comma.res Ok)
  82  (km.res Ok) (kmalloc.res Ok) (kmc.res Ok) (kr.res Ok) (ktype.res Ok)
  83  (labels_metastatement.res Ok) (labels_metastatement_ver1.res Ok)
  84  (lid.res Ok) (line_before_last.res Ok) (list_test.res Ok) (local.res Ok)
  85  (localid.res Ok) (longconst.res Ok) (longlong.res Ok) (longlongint.res Ok)
  86  (loop.res Ok) (lvalue.res Ok) (macro.res Ok) (macro_int16.res Ok)
  87  (match_init.res Ok) (match_no_meta.res Ok) (max.res Ok) (memory.res Ok)
  88  (metahex.res
  89   (Pb
  90    "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"))
  91  (metaline.res Ok) (metaruleelem.res Ok) (metastatement2.res Ok)
  92  (metastatement_for.res Ok) (metastatement_if.res Ok) (minenum.res Ok)
  93  (minfn.res Ok) (mini_null_ref.res Ok) (minstruct.res Ok) (minusdots.res Ok)
  94  (minusdots_ver1.res Ok)
  95  (multi_func1.res
  96   (Pb
  97    "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"))
  98  (multichars.res Ok) (multiplus.res Ok) (multitype.res Ok)
  99  (multitypedef.res Ok) (multivars.res Ok) (na.res Ok) (nameless.res Ok)
 100  (nest.res Ok) (nestone.res Ok) (nestseq.res Ok) (neststruct.res Ok)
 101  (nl.res Ok) (nocast.res Ok) (not.res Ok) (notest.res Ok) (noty.res Ok)
 102  (null_bool.res
 103   (Pb
 104    "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"))
 105  (null_type.res Ok)
 106  (oddifdef.res
 107   (Pb
 108    "INCORRECT:diff token: #else\n VS x\nFile <COCCIOUTPUTFILE>, line 10, column 0,  charpos = 114\n    around = '#else\n', whole content = #else\nFile \"tests/oddifdef.res\", line 10, column 2,  charpos = 116\n    around = 'x', whole content =   x = 0;\n\n    diff (result(<) vs expected_result(>)) = \n    @@ -7,8 +7,9 @@\n         a = 5;\n     \n     #ifdef FOO\n    +  x = 0;\n     #else\n    -\n    +  x = 0;\n     #endif\n     }\n     \n    @@ -21,8 +22,9 @@\n         a = 3;\n     \n     #ifdef FOO\n    +  x = 0;\n     #else\n    -\n    +  x = 0;\n     #endif\n     }\n     \n    @@ -35,7 +37,8 @@\n     #endif\n     \n     #ifdef FOO\n    +  x = 0;\n     #else\n    -\n    +  x = 0;\n     #endif\n     }\n"))
 109  (of.res Ok) (oneline.res Ok) (opt.res Ok) (optional_qualifier.res Ok)
 110  (optional_storage.res Ok) (orexp.res Ok) (overshoot.res Ok) (param.res Ok)
 111  (param_end.res Ok) (param_ver1.res Ok) (parameters_dots.res Ok)
 112  (partial.res Ok)
 113  (pb_distribute_type.res
 114   (Pb
 115    "INCORRECT:PB parsing only in generated-file\n    diff (result(<) vs expected_result(>)) = \n    @@ -10,6 +10,6 @@\n     }\n     \n     int foo() {\n    -  int[45] *x;\n    +  int (*x)[45];\n       return 0;\n     }\n"))
 116  (pb_distribute_type2.res
 117   (Pb
 118    "INCORRECT:PB parsing only in generated-file\n    diff (result(<) vs expected_result(>)) = \n    @@ -1,5 +1,5 @@\n     int foo() {\n    -  int* x;\n    +  int *x;\n       return 0;\n     }\n     \n    @@ -10,6 +10,6 @@\n     }\n     \n     int foo() {\n    -  int x[45]*;\n    +  int (*x)[45];\n       return 0;\n     }\n"))
 119  (pb_distribute_type3.res
 120   (Pb "PROBLEM\n   exn = Failure(\"line 7: index 53 53 already used\\n\")\n"))
 121  (pb_distribute_type4.res Ok) (pb_params_iso.res Ok)
 122  (pb_parsing_macro.res Ok) (pb_tag_symbols.res Ok) (pmac.res Ok)
 123  (posiso.res Ok) (positionc.res Ok) (post.res Ok) (print_return.res Ok)
 124  (proto.res Ok) (proto2.res Ok) (proto_ver1.res Ok) (proto_ver2.res Ok)
 125  (protoassert.res Ok) (protox.res Ok) (ptrar.res Ok) (rcu3.res Ok)
 126  (regexp.res Ok) (regexp2.res Ok) (regexp3.res Ok) (remove_call.res Ok)
 127  (remstruct.res Ok) (replace_typedef.res Ok) (reserved.res Ok)
 128  (retmacro.res Ok) (rets.res Ok) (return.res Ok) (return_implicit.res Ok)
 129  (retval.res Ok) (retval2.res Ok) (same_expr.res Ok)
 130  (scope_problem.res
 131   (Pb
 132    "INCORRECT:diff token: } VS a\nFile <COCCIOUTPUTFILE>, line 4, column 2,  charpos = 42\n    around = '}', whole content =   }\nFile \"tests/scope_problem.res\", line 4, column 4,  charpos = 44\n    around = 'a', whole content =     a = 2;\n\n    diff (result(<) vs expected_result(>)) = \n    @@ -1,7 +1,6 @@\n     void main(int i) {\n       if(1) {\n         int a;\n    +    a = 2;\n       }\n    -\n    -\n     }\n"))
 133  (serio.res
 134   (Pb
 135    "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"))
 136  (shared_brace.res Ok) (signed.res Ok) (sis.res Ok) (sizeof.res Ok)
 137  (sizeof_julia.res Ok) (sizeptr.res Ok) (sizestar.res Ok) (skip.res Ok)
 138  (smallfn.res Ok) (sp.res Ok) (spaces.res Ok) (spacing.res Ok) (spl.res Ok)
 139  (starprint.res Ok) (static.res Ok)
 140  (stm1.res (Pb "PROBLEM\n   exn = Failure(\"no python\")\n")) (stm10.res Ok)
 141  (stm10_ver1.res Ok) (stm2.res Ok) (stm3.res Ok) (stm4.res Ok) (stm5.res Ok)
 142  (stm6.res Ok) (stm7.res (Pb "PROBLEM\n   exn = Failure(\"no python\")\n"))
 143  (stm8.res Ok) (stmt.res Ok) (str_init.res Ok) (strangeorder.res Ok)
 144  (strid.res Ok) (strid2.res Ok) (string.res Ok) (struct.res Ok)
 145  (struct_metavar.res Ok) (struct_typedef.res Ok) (structfoo.res Ok)
 146  (substruct.res Ok) (sw.res Ok) (switch.res Ok) (switchdecl.res Ok)
 147  (symbol.res Ok) (td.res Ok) (tdnl.res Ok) (tern.res Ok) (test0.res Ok)
 148  (test1.res Ok) (test10.res Ok) (test10_ver1.res Ok) (test11.res Ok)
 149  (test11_ver1.res Ok) (test12.res Ok) (test2.res Ok) (test3.res Ok)
 150  (test4.res Ok) (test5.res Ok) (test5_ver1.res Ok) (test6.res Ok)
 151  (test7.res Ok) (test8.res Ok) (test9.res Ok) (test_s.res Ok)
 152  (test_unsigned_meta.res Ok) (three_types.res Ok) (threea.res Ok)
 153  (top.res Ok) (topdec.res Ok) (topdec_ver1.res Ok) (topdec_ver2.res Ok)
 154  (toplevel_macrostmt.res Ok) (toplevel_struct.res Ok) (tup.res Ok)
 155  (twomatch.res Ok) (twoproto.res Ok) (ty.res Ok) (ty1.res Ok)
 156  (ty_tyexp.res Ok) (tydisj.res Ok) (tyex.res Ok) (type.res Ok) (type1.res Ok)
 157  (type_annotated.res Ok) (type_ver1.res Ok)
 158  (type_ver2.res
 159   (Pb
 160    "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"))
 161  (typedef.res Ok)
 162  (typedef3.res
 163   (Pb
 164    "INCORRECT:diff token: link VS p_dev\nFile <COCCIOUTPUTFILE>, line 7, column 29,  charpos = 137\n    around = 'link', whole content = \tunsigned int iobase = info->link.io.BasePort1;\nFile \"tests/typedef3.res\", line 7, column 29,  charpos = 137\n    around = 'p_dev', whole content = \tunsigned int iobase = info->p_dev->io.BasePort1;\n\n    diff (result(<) vs expected_result(>)) = \n    @@ -4,7 +4,7 @@\n     \n     static void should_work(foo *info)\n     {\n    -\tunsigned int iobase = info->link.io.BasePort1;\n    +\tunsigned int iobase = info->p_dev->io.BasePort1;\n     }\n     \n     static void does_work(struct bluecard_info_t *info)\n"))
 165  (typedef_double.res Ok) (typeof.res Ok) (useless_cast.res Ok)
 166  (varargs.res Ok) (video1bis.res Ok) (void.res Ok) (vpos.res Ok)
 167  (whitespace.res Ok) (wierd_argument.res Ok)
 168  (wierdinit.res
 169   (Pb
 170    "seems incorrect, but only because of code that was not parsablediff token: dev_link_t VS struct\nFile \"tests/wierdinit.c\", line 4, column 1,  charpos = 27\n    around = 'dev_link_t', whole content = \tdev_link_t *link;\nFile \"tests/wierdinit.res\", line 4, column 1,  charpos = 27\n    around = 'struct', whole content = \tstruct pcmcia_device *link;\n"))
 171  (ws2.res Ok) (xfield.res Ok) (y2.res Ok) (zero.res Ok))