Commit | Line | Data |
---|---|---|
9f8e26f4 C |
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) | |
65038c61 C |
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) | |
708f4980 C |
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")) | |
8babbc8f C |
10 | (bad_kfree.res Ok) (bad_ptr_print.res Ok) (bad_typedef.res Ok) |
11 | (badexp.res Ok) | |
708f4980 C |
12 | (badpos.res |
13 | (Pb | |
9f8e26f4 | 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")) |
8babbc8f C |
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) | |
17ba0788 C |
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) | |
708f4980 C |
23 | (dbg.res |
24 | (Pb | |
9f8e26f4 C |
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")) | |
708f4980 C |
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")) | |
8babbc8f C |
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) | |
5427db06 | 45 | (empty.res Ok) (end_commas.res Ok) (endif.res Ok) (enum.res Ok) |
97111a47 C |
46 | (exitc.res |
47 | (Pb | |
17ba0788 | 48 | "PROBLEM\n exn = Yes_prepare_ocamlcocci.LinkFailure(\"/tmp/exitc87c840.cmxs\")\n")) |
97111a47 C |
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 | |
17ba0788 | 54 | "PROBLEM\n exn = Yes_prepare_ocamlcocci.LinkFailure(\"/tmp/extra768a97.cmxs\")\n")) |
7fe62b65 | 55 | (fields.res Ok) (fieldsmin.res Ok) (find_long.res Ok) (fix_flow_need.res Ok) |
8babbc8f C |
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) | |
17ba0788 C |
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) | |
8babbc8f C |
61 | (ifdef5.res Ok) (ifdef6.res Ok) (ifdef6a.res Ok) (ifdefmeta.res Ok) |
62 | (ifdefmeta1.res Ok) (ifdefmeta2.res Ok) (ifdefmeta3.res Ok) | |
708f4980 C |
63 | (ifdefmeta4.res |
64 | (Pb | |
65 | "PROBLEM\n exn = Unix.Unix_error(20, \"stat\", \"tests/ifdefmeta4.cocci\")\n")) | |
8babbc8f | 66 | (ifend.res Ok) (ifields.res Ok) (ifzer.res Ok) (inc.res Ok) |
708f4980 C |
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) | |
5427db06 C |
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) | |
708f4980 C |
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")) | |
9f8e26f4 | 81 | (julia10.res Ok) (julia7.res Ok) (justremove.res Ok) (keep_comma.res Ok) |
17ba0788 | 82 | (km.res Ok) (kmalloc.res Ok) (kmc.res Ok) (kr.res Ok) (ktype.res Ok) |
9f8e26f4 | 83 | (labels_metastatement.res Ok) (labels_metastatement_ver1.res Ok) |
8babbc8f C |
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) | |
993936c0 | 87 | (match_init.res Ok) (match_no_meta.res Ok) (max.res Ok) (memory.res Ok) |
708f4980 C |
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")) | |
17ba0788 C |
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) | |
8babbc8f | 94 | (minusdots_ver1.res Ok) |
708f4980 C |
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")) | |
f3c4ece6 C |
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) | |
8babbc8f C |
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) | |
9f8e26f4 C |
106 | (oddifdef.res |
107 | (Pb | |
8babbc8f | 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")) |
9f8e26f4 C |
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) | |
708f4980 C |
113 | (pb_distribute_type.res |
114 | (Pb | |
8babbc8f | 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")) |
708f4980 C |
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) | |
8babbc8f C |
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) | |
708f4980 C |
130 | (scope_problem.res |
131 | (Pb | |
8babbc8f | 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")) |
708f4980 C |
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) | |
8babbc8f | 137 | (sizeof_julia.res Ok) (sizeptr.res Ok) (sizestar.res Ok) (skip.res Ok) |
5427db06 | 138 | (smallfn.res Ok) (sp.res Ok) (spaces.res Ok) (spacing.res Ok) (spl.res Ok) |
993936c0 C |
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) | |
17ba0788 C |
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) | |
708f4980 C |
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")) | |
8babbc8f C |
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) | |
708f4980 C |
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)) |