tests/SCORE_expected.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  (addif.res Ok) (addif1.res Ok) (addif2.res Ok) (addtoo.res Ok)
   4  (after_if.res Ok) (anon.res Ok) (ar.res Ok) (arg.res Ok) (argument.res Ok)
   5  (array_init.res Ok) (array_size.res Ok) (arraysz.res Ok) (b1.res Ok)
   6  (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_ptr_print.res Ok) (bad_typedef.res Ok) (badexp.res Ok)
  11  (badpos.res
  12   (Pb
  13    "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"))
  14  (badtypedef.res Ok) (badzero.res Ok) (befS.res Ok) (ben.res Ok)
  15  (bitfield.res Ok) (braces.res Ok) (break.res Ok) (bug1.res Ok)
  16  (bugloop.res
  17   (Pb
  18    "INCORRECT:diff token: PF_FREEZE VS )\nFile <COCCIOUTPUTFILE>, line 12, column 16,  charpos = 390\n    around = 'PF_FREEZE', whole content = \t\t\trefrigerator(PF_FREEZE);\nFile \"tests/bugloop.res\", line 8, column 16,  charpos = 160\n    around = ')', whole content = \t\t\trefrigerator();\n\n    diff (result(<) vs expected_result(>)) = \n    @@ -1,7 +1,3 @@\n    -/* this doesn't work, because on the paths where we don't find refrigerator,\n    -we expect to reach Exit without first going through current->flags & PF_FREEZE,\n    -but of course any path that goes around the loop does precisely that */\n    -\n     static int stir_transmit_thread(void *arg)\n     {\n     \n    @@ -9,7 +5,7 @@\n     \t{\n     \t\t/* if suspending, then power off and wait */\n     \t\tif (unlikely(freezing(current))) {\n    -\t\t\trefrigerator(PF_FREEZE);\n    +\t\t\trefrigerator();\n     \n     \t\t}\n     \t}\n"))
  19  (bugon.res Ok) (cards.res Ok) (cast.res Ok) (cast_iso.res Ok) (com.res Ok)
  20  (compare.res Ok) (const.res Ok) (const1bis.res Ok) (const_adding.res Ok)
  21  (const_array.res Ok) (const_implicit_iso.res Ok) (constty.res Ok)
  22  (constx.res Ok) (cs_check.res Ok) (cst.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  (define_exp.res Ok) (define_param.res Ok) (deftodo.res Ok)
  35  (delete_function.res Ok) (deref.res Ok) (devlink.res Ok) (disjexpr.res Ok)
  36  (disjexpr_ver1.res Ok) (disjexpr_ver2.res Ok) (distribute.res Ok)
  37  (double.res Ok) (double_assign.res Ok) (double_switch.res Ok)
  38  (doublepos.res Ok) (doubleswitch.res Ok)
  39  (doundo.res
  40   (Pb
  41    "INCORRECT:diff token: xxx VS new_foo\nFile <COCCIOUTPUTFILE>, line 7, column 2,  charpos = 85\n    around = 'xxx', whole content =   xxx();\nFile \"tests/doundo.res\", line 7, column 2,  charpos = 85\n    around = 'new_foo', whole content =   new_foo();\n\n    diff (result(<) vs expected_result(>)) = \n    @@ -4,5 +4,5 @@\n     {\n       const s8 (*queue_priority_mapping)[2];\n       s8 *noevent;\n    -  xxx();\n    +  new_foo();\n     }\n"))
  42  (dowhile.res Ok) (dropf.res Ok) (dropparam.res Ok) (edots.res Ok)
  43  (edots_ver1.res Ok) (empty.res Ok) (end_commas.res Ok) (endif.res Ok)
  44  (enum.res Ok) (exp.res Ok) (expnest.res Ok) (expopt.res Ok) (expopt2.res Ok)
  45  (expopt3.res Ok) (expopt3_ver1.res Ok) (expopt3_ver2.res Ok) (fields.res Ok)
  46  (fieldsmin.res Ok) (find_long.res Ok) (fix_flow_need.res Ok)
  47  (fn_todo.res Ok) (fnptr.res Ok) (fnret.res Ok) (four.res Ok) (foura.res Ok)
  48  (fp.res Ok) (fsh.res Ok) (fun.res Ok) (gilles-question.res Ok)
  49  (gotobreak.res Ok) (hd.res Ok) (headers.res Ok) (hex.res Ok) (hil1.res Ok)
  50  (if.res Ok) (ifbr.res Ok) (ifdef1.res Ok) (ifdef2.res Ok)
  51  (ifdef3.res
  52   (Pb
  53    "PROBLEM\n   exn = Lexer_cocci.Lexical(\"unrecognised symbol, in token rule: #\")\n"))
  54  (ifdef4.res Ok) (ifdef5.res Ok) (ifdef6.res Ok) (ifdef6a.res Ok)
  55  (ifdefmeta.res Ok) (ifdefmeta1.res Ok) (ifdefmeta2.res Ok)
  56  (ifdefmeta3.res Ok)
  57  (ifdefmeta4.res
  58   (Pb
  59    "PROBLEM\n   exn = Unix.Unix_error(20, \"stat\", \"tests/ifdefmeta4.cocci\")\n"))
  60  (ifend.res Ok) (ifzer.res Ok) (inc.res Ok)
  61  (incdir.res
  62   (Pb
  63    "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"))
  64  (incl.res Ok) (inclifdef.res Ok) (include.res Ok)
  65  (incompatible_value.res Ok) (inherited.res Ok) (inherited_ver1.res Ok)
  66  (inhpos.res Ok) (initializer.res Ok) (initializer_many_fields.res Ok)
  67  (inline.res Ok) (isococci.res Ok) (isotest.res Ok) (isotest2.res Ok)
  68  (iterator.res Ok)
  69  (jloop1.res
  70   (Pb
  71    "PROBLEM\n   exn = Failure(\"minus: parse error: \\n = File \\\"tests/jloop1.cocci\\\", line 10, column 3,  charpos = 129\\n    around = '...>', whole content =    ...>\\n\")\n"))
  72  (julia10.res Ok) (julia7.res Ok) (justremove.res Ok) (keep_comma.res Ok)
  73  (km.res Ok) (kmalloc.res Ok) (kmc.res Ok) (ktype.res Ok)
  74  (labels_metastatement.res Ok) (labels_metastatement_ver1.res Ok)
  75  (line_before_last.res Ok) (local.res Ok) (localid.res Ok) (longconst.res Ok)
  76  (longlong.res Ok) (longlongint.res Ok) (loop.res Ok) (lvalue.res Ok)
  77  (macro.res Ok) (macro_int16.res Ok) (match_no_meta.res Ok) (max.res Ok)
  78  (memory.res (Pb "PROBLEM\n   exn = Out of memory\n"))
  79  (metahex.res
  80   (Pb
  81    "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"))
  82  (metaruleelem.res Ok) (metastatement2.res Ok) (metastatement_for.res Ok)
  83  (metastatement_if.res Ok)
  84  (mini_null_ref.res
  85   (Pb
  86    "INCORRECT:diff token: if VS struct\nFile <COCCIOUTPUTFILE>, line 6, column 8,  charpos = 269\n    around = 'if', whole content =         if (!pdata) {\nFile \"tests/mini_null_ref.res\", line 6, column 8,  charpos = 269\n    around = 'struct', whole content =         struct w90p910_keypad *keypad;\n\n    diff (result(<) vs expected_result(>)) = \n    @@ -3,6 +3,8 @@\n             const struct w90p910_keypad_platform_data *pdata =\n                                                     pdev->dev.platform_data;\n             const struct matrix_keymap_data * keymap_data;\n    +        struct w90p910_keypad *keypad;\n    +\n             if (!pdata) {\n                     dev_err(&pdev->dev, \"no platform data defined\\n\");\n                     return -EINVAL;\n"))
  87  (minstruct.res Ok) (minusdots.res Ok) (minusdots_ver1.res Ok)
  88  (multi_func1.res
  89   (Pb
  90    "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"))
  91  (multiplus.res Ok) (multitype.res Ok) (multitypedef.res Ok)
  92  (multivars.res Ok) (nest.res Ok) (nestone.res Ok) (nestseq.res Ok)
  93  (neststruct.res Ok) (nl.res Ok) (nocast.res Ok) (not.res Ok) (notest.res Ok)
  94  (noty.res Ok) (null_type.res Ok)
  95  (oddifdef.res
  96   (Pb
  97    "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"))
  98  (of.res Ok) (oneline.res Ok) (opt.res Ok) (optional_qualifier.res Ok)
  99  (optional_storage.res Ok) (orexp.res Ok) (overshoot.res Ok) (param.res Ok)
 100  (param_end.res Ok) (param_ver1.res Ok) (parameters_dots.res Ok)
 101  (partial.res Ok)
 102  (pb_distribute_type.res
 103   (Pb
 104    "INCORRECT:PB parsing only in generated-file\n    diff (result(<) vs expected_result(>)) = \n    @@ -5,11 +5,11 @@\n     \n     \n     int foo() {\n    -  int * *x;\n    +  int **x;\n       return 0;\n     }\n     \n     int foo() {\n    -  int[45] *x;\n    +  int (*x)[45];\n       return 0;\n     }\n"))
 105  (pb_distribute_type2.res
 106   (Pb
 107    "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"))
 108  (pb_distribute_type3.res
 109   (Pb "PROBLEM\n   exn = Failure(\"line 7: index 53 53 already used\\n\")\n"))
 110  (pb_distribute_type4.res Ok) (pb_params_iso.res Ok)
 111  (pb_parsing_macro.res Ok) (pb_tag_symbols.res Ok) (pmac.res Ok)
 112  (posiso.res Ok) (positionc.res Ok) (post.res Ok) (print_return.res Ok)
 113  (proto.res Ok) (proto2.res Ok) (proto_ver1.res Ok) (proto_ver2.res Ok)
 114  (protoassert.res Ok) (protox.res Ok) (rcu3.res Ok) (regexp.res Ok)
 115  (regexp2.res Ok) (regexp3.res Ok)
 116  (remstruct.res
 117   (Pb
 118    "INCORRECT:not same number of entities (func, decl, ...)\n    diff (result(<) vs expected_result(>)) = \n    @@ -1,10 +1,3 @@\n    -\n    -      .ack    = mpuio_ack_irq,\n    -      .mask   = mpuio_mask_irq,\n    -      .unmask = mpuio_unmask_irq\n    -\n    -  .b = 15,\n    -\n     int hello ( String input )\n     {\n       String input = input.lowercase();\n"))
 119  (replace_typedef.res Ok) (reserved.res Ok) (retmacro.res Ok) (rets.res Ok)
 120  (return.res Ok) (return_implicit.res Ok) (retval.res Ok) (same_expr.res Ok)
 121  (scope_problem.res
 122   (Pb
 123    "INCORRECT:diff token: } VS a\nFile <COCCIOUTPUTFILE>, line 5, column 2,  charpos = 43\n    around = '}', whole content =   }\nFile \"tests/scope_problem.res\", line 7, column 4,  charpos = 49\n    around = 'a', whole content =     a = 2;\n\n    diff (result(<) vs expected_result(>)) = \n    @@ -1,7 +1,10 @@\n     void main(int i) {\n     \n    +  \n    +\n       if(1) {\n         int a;\n    +    a = 2;\n       }\n     \n     \n"))
 124  (serio.res
 125   (Pb
 126    "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"))
 127  (shared_brace.res Ok) (signed.res Ok) (sis.res Ok) (sizeof.res Ok)
 128  (sizeof_julia.res Ok) (sizestar.res Ok) (skip.res Ok) (sp.res Ok)
 129  (spaces.res Ok) (spl.res Ok)
 130  (static.res (Pb "PROBLEM\n   exn = Common.Impossible\n")) (stm1.res Ok)
 131  (stm10.res Ok) (stm10_ver1.res Ok) (stm2.res Ok) (stm3.res Ok) (stm4.res Ok)
 132  (stm5.res Ok) (stm6.res Ok) (stm7.res Ok) (stm8.res Ok) (stmt.res Ok)
 133  (strangeorder.res Ok) (string.res Ok) (struct.res Ok)
 134  (struct_metavar.res Ok) (struct_typedef.res Ok) (structfoo.res Ok)
 135  (substruct.res Ok) (sw.res Ok) (switch.res Ok) (switchdecl.res Ok)
 136  (td.res Ok) (test0.res Ok) (test1.res Ok) (test10.res Ok)
 137  (test10_ver1.res Ok) (test11.res Ok) (test11_ver1.res Ok) (test12.res Ok)
 138  (test2.res Ok) (test3.res Ok) (test4.res Ok) (test5.res Ok)
 139  (test5_ver1.res Ok) (test6.res Ok) (test7.res Ok) (test8.res Ok)
 140  (test9.res Ok) (test_s.res Ok) (test_unsigned_meta.res Ok)
 141  (three_types.res Ok) (threea.res Ok) (top.res Ok) (topdec.res Ok)
 142  (topdec_ver1.res Ok) (topdec_ver2.res Ok) (toplevel_macrostmt.res Ok)
 143  (toplevel_struct.res Ok) (tup.res Ok) (twoproto.res Ok) (ty.res Ok)
 144  (ty1.res Ok) (ty_tyexp.res Ok) (tydisj.res Ok) (tyex.res Ok) (type.res Ok)
 145  (type1.res Ok) (type_annotated.res Ok) (type_ver1.res Ok)
 146  (type_ver2.res
 147   (Pb
 148    "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"))
 149  (typedef.res Ok)
 150  (typedef3.res
 151   (Pb
 152    "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"))
 153  (typedef_double.res Ok)
 154  (typeof.res
 155   (Pb
 156    "INCORRECT:diff token: x VS sizeof\nFile <COCCIOUTPUTFILE>, line 3, column 4,  charpos = 26\n    around = 'x', whole content =   f(x);\nFile \"tests/typeof.res\", line 3, column 4,  charpos = 26\n    around = 'sizeof', whole content =   f(sizeof(struct foo));\n\n    diff (result(<) vs expected_result(>)) = \n    @@ -1,4 +1,4 @@\n     int main() {\n       int x;\n    -  f(x);\n    +  f(sizeof(struct foo));\n     }\n"))
 157  (useless_cast.res Ok) (varargs.res Ok) (video1bis.res Ok) (void.res Ok)
 158  (vpos.res Ok) (whitespace.res Ok) (wierd_argument.res Ok)
 159  (wierdinit.res
 160   (Pb
 161    "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"))
 162  (ws2.res Ok) (xfield.res Ok) (y2.res Ok) (zero.res Ok))