Skip to content

GitLab

Commit 71d3aaad authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Fixed the test files in bench/good so that "make test" succeeds again.

parent 609c412e
Hide whitespace changes
Inline Side-by-side
Showing with 142 additions and 140 deletions
bench/good/Makefile
View file @ 71d3aaad
......@@ -36,7 +36,6 @@ test: clean $(RESULTS)
# (There is presently no expected output file.)
%.result: %.mly
# Single-file or multi-file test?
@ if echo $< | grep -e "-1.mly" &> /dev/null; then \
export BASE=`echo $< | sed s/"-1.mly"/""/`; \
export FILES=`echo $$BASE-[1-9].mly`; \
......@@ -59,7 +58,7 @@ test: clean $(RESULTS)
echo "-> [KO] $$FILES:"; \
echo " menhir --only-preprocess succeeded,"; \
echo " but menhir failed."; \
echo " cat $*.out"; \
echo " more $*.out"; \
) | tee -a failures; \
else \
echo "-> [KO] $$FILES:"; \
......@@ -79,8 +78,8 @@ test: clean $(RESULTS)
expected:
@ echo "Are you sure ? (this will erase *.expected) [Press ENTER]"
@ read
@ mkdir -p /tmp/mini-expected
@ cp *.expected /tmp/mini-expected >& /dev/null || true
@ mkdir -p /tmp/menhir-expected
@ cp *.expected /tmp/menhir-expected >& /dev/null || true
@ CREATE_EXPECTED=1 $(MAKE) -s test
@ echo "Expected output re-generated."
......
bench/good/cocci.expected
View file @ 71d3aaad
File "cocci.mly", line 137, characters 0-6:
Warning: symbol reinit is unreachable from any of the start symbol(s).
Warning: you are using the standard library and/or the %inline keyword. We
recommend switching on --infer in order to avoid obscure type error messages.
%{
......@@ -21,7 +23,6 @@ module P = Parse_aux
%start minus_main
%start never_used
%start plus_main
%start reinit
%start rule_name
%token <Data.clt> Tvolatile
%token <Data.clt> Tvoid
......@@ -186,10 +187,6 @@ module P = Parse_aux
%type <string * Ast_cocci.dependency list * string option> rule_name
%%
reinit:
|
{ }
meta_main:
| m = metadec
{ m (!Ast0.rule_name) }
......@@ -200,11 +197,17 @@ struct_or_union:
| u = Tunion
{ P.clt2mcode Ast.Union u }
option_eexpr_:
loption_pure_decl_statement_list_:
|
{ None }
| x = eexpr
{ Some x }
{ [] }
| x = pure_decl_statement_list
{ x }
loption_plus_function_decl_statement_or_expression_:
|
{ [] }
| x = plus_function_decl_statement_or_expression
{ x }
loption_minus_function_decl_statement_or_expression_:
|
......@@ -294,6 +297,12 @@ list_iso_xstatement_dots_TEllipsis___:
| x = iso_xstatement_dots_TEllipsis__ xs = list_iso_xstatement_dots_TEllipsis___
{ x :: xs }
list_iso_single_statement__:
|
{ [] }
| x = iso_single_statement_ xs = list_iso_single_statement__
{ x :: xs }
minus_main:
| minus_body EOF
{ $1 }
......@@ -1039,12 +1048,6 @@ filespec:
(Ast0.FILEINFO(P.id2mcode $1,
P.id2mcode $2))] }
list_iso_single_statement__:
|
{ [] }
| x = iso_single_statement_ xs = list_iso_single_statement__
{ x :: xs }
list_iso_dexpr__:
|
{ [] }
......@@ -1588,28 +1591,6 @@ mzl_ctype_:
| a = TMid0 b = ctype
{ (P.clt2mcode "|" a, b) }
opt_dot_start_end_fun_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_fun_exp_decl_statement_list_:
| start = fun_exp_decl_statement_list
{ function dot_builder -> [start] }
| r = opt_dot_start_end_pattern_fun_exp_decl_statement_list_dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement__fun_exp_decl_statement_list_opt_dot_end_dots_TEllipsis_fun_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_fun_exp_decl_statement_list__
{ function dot_builder -> r (dot_builder "...") }
opt_dot_start_end_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_exp_decl_statement_list_:
| start = exp_decl_statement_list
{ function dot_builder -> [start] }
| r = opt_dot_start_end_pattern_exp_decl_statement_list_dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement__exp_decl_statement_list_opt_dot_end_dots_TEllipsis_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_exp_decl_statement_list__
{ function dot_builder -> r (dot_builder "...") }
required_dot_start_with_ender_fun_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_fun_exp_decl_statement_list_:
| start = dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement_ finish = no_dot_start_dots_TEllipsis_fun_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_fun_exp_decl_statement_list_
{ (function dot_builder ->
(dot_builder "..." start) :: (finish (dot_builder "..."))) }
required_dot_start_with_ender_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_pure_decl_statement_list_:
| start = dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement_ finish = no_dot_start_dots_TEllipsis_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_pure_decl_statement_list_
{ (function dot_builder ->
(dot_builder "..." start) :: (finish (dot_builder "..."))) }
option_whenppdecs_:
|
{ None }
......@@ -1622,23 +1603,11 @@ option_whenexp_:
| x = whenexp
{ Some x }
nonempty_list_fun_decl_statement_:
| x = fun_decl_statement
{ [ x ] }
| x = fun_decl_statement xs = nonempty_list_fun_decl_statement_
{ x :: xs }
nonempty_list_decl_statement_:
| x = decl_statement
{ [ x ] }
| x = decl_statement xs = nonempty_list_decl_statement_
{ x :: xs }
nonempty_list_TMul_:
| x = TMul
{ [ x ] }
| x = TMul xs = nonempty_list_TMul_
{ x :: xs }
option_eexpr_:
|
{ None }
| x = eexpr
{ Some x }
fninfo:
|
......@@ -2586,6 +2555,86 @@ comma_list_ctype_:
| separated_nonempty_list_TComma_ctype_
{ $1 }
opt_dot_start_end_fun_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_fun_exp_decl_statement_list_:
| start = fun_exp_decl_statement_list
{ function dot_builder -> [start] }
| r = opt_dot_start_end_pattern_fun_exp_decl_statement_list_dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement__fun_exp_decl_statement_list_opt_dot_end_dots_TEllipsis_fun_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_fun_exp_decl_statement_list__
{ function dot_builder -> r (dot_builder "...") }
opt_dot_start_end_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_exp_decl_statement_list_:
| start = exp_decl_statement_list
{ function dot_builder -> [start] }
| r = opt_dot_start_end_pattern_exp_decl_statement_list_dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement__exp_decl_statement_list_opt_dot_end_dots_TEllipsis_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_exp_decl_statement_list__
{ function dot_builder -> r (dot_builder "...") }
required_dot_start_with_ender_fun_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_fun_exp_decl_statement_list_:
| start = dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement_ finish = no_dot_start_dots_TEllipsis_fun_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_fun_exp_decl_statement_list_
{ (function dot_builder ->
(dot_builder "..." start) :: (finish (dot_builder "..."))) }
required_dot_start_with_ender_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_pure_decl_statement_list_:
| start = dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement_ finish = no_dot_start_dots_TEllipsis_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_pure_decl_statement_list_
{ (function dot_builder ->
(dot_builder "..." start) :: (finish (dot_builder "..."))) }
no_dot_start_dots_TEllipsis_fun_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_fun_exp_decl_statement_list_:
|
{ function dot_builder -> [] }
| e = fun_exp_decl_statement_list
{ function dot_builder -> [e] }
| g = fun_exp_decl_statement_list d = dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement_ r = no_dot_start_dots_TEllipsis_fun_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_fun_exp_decl_statement_list_
{ function dot_builder -> g::(dot_builder d)::(r dot_builder) }
no_dot_start_dots_TEllipsis_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_pure_decl_statement_list_:
|
{ function dot_builder -> [] }
| e = pure_decl_statement_list
{ function dot_builder -> [e] }
| g = exp_decl_statement_list d = dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement_ r = no_dot_start_dots_TEllipsis_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_pure_decl_statement_list_
{ function dot_builder -> g::(dot_builder d)::(r dot_builder) }
whens_pre_post_decl_statement_or_expression_rule_elem_statement_:
| TWhen TNotEq w = pre_post_decl_statement_or_expression TLineEnd
{ Ast0.WhenNot w }
| TWhen TEq w = rule_elem_statement TLineEnd
{ Ast0.WhenAlways w }
no_dot_start_end_exp_decl_statement_list_dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement__:
| g = exp_decl_statement_list dg = list_pair_dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement__exp_decl_statement_list__
{ function dot_builder ->
g :: (List.concat(List.map (function (d,g) -> [dot_builder d;g]) dg)) }
no_dot_start_end_dexpr_edots_when_TEllipsis_eexpr__:
| g = dexpr dg = list_pair_edots_when_TEllipsis_eexpr__dexpr__
{ function dot_builder ->
g :: (List.concat(List.map (function (d,g) -> [dot_builder d;g]) dg)) }
xstatement_dots_TEllipsis_:
| b = statement_dots_TEllipsis_
{ Ast0.wrap(Ast0.DOTS(b (P.mkdots "..."))) }
never_used:
| TPragma
{ () }
nonempty_list_fun_decl_statement_:
| x = fun_decl_statement
{ [ x ] }
| x = fun_decl_statement xs = nonempty_list_fun_decl_statement_
{ x :: xs }
nonempty_list_decl_statement_:
| x = decl_statement
{ [ x ] }
| x = decl_statement xs = nonempty_list_decl_statement_
{ x :: xs }
nonempty_list_TMul_:
| x = TMul
{ [ x ] }
| x = TMul xs = nonempty_list_TMul_
{ x :: xs }
opt_dot_start_end_pattern_fun_exp_decl_statement_list_dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement__fun_exp_decl_statement_list_opt_dot_end_dots_TEllipsis_fun_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_fun_exp_decl_statement_list__:
| g = fun_exp_decl_statement_list d = dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement_
{ function dot_builder -> [g; (dot_builder d)] }
......@@ -2618,22 +2667,6 @@ opt_dot_end_dots_TEllipsis_exp_decl_statement_list_pre_post_decl_statement_or_ex
| g = exp_decl_statement_list d = dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement_ r = opt_dot_end_dots_TEllipsis_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_exp_decl_statement_list_
{ function dot_builder -> g :: (dot_builder d) :: (r dot_builder) }
no_dot_start_dots_TEllipsis_fun_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_fun_exp_decl_statement_list_:
|
{ function dot_builder -> [] }
| e = fun_exp_decl_statement_list
{ function dot_builder -> [e] }
| g = fun_exp_decl_statement_list d = dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement_ r = no_dot_start_dots_TEllipsis_fun_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_fun_exp_decl_statement_list_
{ function dot_builder -> g::(dot_builder d)::(r dot_builder) }
no_dot_start_dots_TEllipsis_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_pure_decl_statement_list_:
|
{ function dot_builder -> [] }
| e = pure_decl_statement_list
{ function dot_builder -> [e] }
| g = exp_decl_statement_list d = dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement_ r = no_dot_start_dots_TEllipsis_exp_decl_statement_list_pre_post_decl_statement_or_expression_rule_elem_statement_pure_decl_statement_list_
{ function dot_builder -> g::(dot_builder d)::(r dot_builder) }
edots_when_TEllipsis_struct_decl_:
| d = TEllipsis
{ (d,None) }
......@@ -2656,42 +2689,6 @@ dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement_:
| d = TEllipsis w = list_whens_pre_post_decl_statement_or_expression_rule_elem_statement__
{ (d,w) }
whens_pre_post_decl_statement_or_expression_rule_elem_statement_:
| TWhen TNotEq w = pre_post_decl_statement_or_expression TLineEnd
{ Ast0.WhenNot w }
| TWhen TEq w = rule_elem_statement TLineEnd
{ Ast0.WhenAlways w }
no_dot_start_end_exp_decl_statement_list_dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement__:
| g = exp_decl_statement_list dg = list_pair_dots_when_TEllipsis_pre_post_decl_statement_or_expression_rule_elem_statement__exp_decl_statement_list__
{ function dot_builder ->
g :: (List.concat(List.map (function (d,g) -> [dot_builder d;g]) dg)) }
no_dot_start_end_dexpr_edots_when_TEllipsis_eexpr__:
| g = dexpr dg = list_pair_edots_when_TEllipsis_eexpr__dexpr__
{ function dot_builder ->
g :: (List.concat(List.map (function (d,g) -> [dot_builder d;g]) dg)) }
xstatement_dots_TEllipsis_:
| b = statement_dots_TEllipsis_
{ Ast0.wrap(Ast0.DOTS(b (P.mkdots "..."))) }
never_used:
| TPragma
{ () }
loption_pure_decl_statement_list_:
|
{ [] }
| x = pure_decl_statement_list
{ x }
loption_plus_function_decl_statement_or_expression_:
|
{ [] }
| x = plus_function_decl_statement_or_expression
{ x }
iso_main:
| TIsoExpression e1 = dexpr el = list_iso_dexpr__ EOF
{ P.iso_adjust (function x -> Ast0.ExprTag x) e1 el }
......
bench/good/cocci.mly
View file @ 71d3aaad
......@@ -109,7 +109,6 @@ module P = Parse_aux
%left TPlus TMinus
%left TMul TDiv TMod
%start reinit
%type <unit> reinit
%start minus_main
......
bench/good/infinite.expected
View file @ 71d3aaad
%start infinite
%start dummy
%token A
%type <unit> infinite
%type <unit> dummy
%%
dummy:
| A
{ () }
| A infinite
{ () }
infinite:
| A infinite
{ () }
......
bench/good/infinite.mly
View file @ 71d3aaad
%token A
%start <unit> infinite
%start <unit> dummy
%%
dummy:
A { () }
| A infinite { () }
infinite:
A infinite
{ () }
......
bench/good/kimmit.expected
View file @ 71d3aaad
File "kimmit.mly", line 4, characters 12-13:
Warning: the token X is unused.
%{
let x = X 0
%}
......@@ -10,7 +8,7 @@ Warning: the token X is unused.
%%
s:
|
| X
{}
%%
......
bench/good/kimmit.mly
View file @ 71d3aaad
......@@ -4,4 +4,4 @@
%token<int> X
%start<unit> s
%%
s: {}
s: X {}
bench/good/name-clash-1.expected
View file @ 71d3aaad
%start b
%start name_clash_1_a
%token FOO
%token BAR
%type <unit> b
......@@ -15,7 +16,7 @@ name_clash_1_a:
{ () }
name_clash_1_a1:
|
| FOO
{ () }
b:
......
bench/good/name-clash-1.mly
View file @ 71d3aaad
%start <unit> name_clash_1_a
%token FOO
%%
......@@ -6,5 +7,5 @@ name_clash_1_a:
a { () }
a:
{ () }
FOO { () }
bench/good/public-1.expected
View file @ 71d3aaad
......@@ -9,7 +9,7 @@ Warning: symbol a is unreachable from any of the start symbol(s).
%%
s:
|
| T
{}
%%
......
bench/good/public-1.mly
View file @ 71d3aaad
......@@ -5,4 +5,4 @@
%public a: T {}
s: {}
s: T {}
bench/good/self.expected
View file @ 71d3aaad
File "self.mly", line 1, characters 7-8:
Warning: the token A is unused.
%start s
File "self.mly", line 11, characters 0-1:
Warning: symbol b is unreachable from any of the start symbol(s).
File "self.mly", line 9, characters 0-1:
Warning: symbol s is unreachable from any of the start symbol(s).
%start dummy
%token A
%type <unit> dummy
%type <unit> s
%%
s:
| b s
{}
b:
|
dummy:
| A
{}
%%
......
bench/good/self.mly
View file @ 71d3aaad
%token A
%type<unit> s
%start s
%start<unit> dummy
%%
dummy: A {}
s: b s {}
b: {}
......
bench/good/unused-pseudo-token.expected
View file @ 71d3aaad
File "unused-pseudo-token.mly", line 1, characters 11-14:
Warning: the token BAR is unused.
File "unused-pseudo-token.mly", line 1, characters 7-10:
Warning: the token FOO is unused.
File "unused-pseudo-token.mly", line 3, characters 6-11:
Warning: the token zorro is unused.
%start main
......@@ -12,7 +10,7 @@ Warning: the token zorro is unused.
%%
main:
|
| FOO
{}
%%
......
bench/good/unused-pseudo-token.mly
View file @ 71d3aaad
......@@ -7,5 +7,5 @@
%%
main:
{}
FOO {}
bench/good/unused-token1.expected
View file @ 71d3aaad
File "unused-token1.mly", line 1, characters 7-8:
Warning: the token A is unused.
File "unused-token1.mly", line 1, characters 9-10:
Warning: the token B is unused.
%start a
......@@ -10,7 +8,7 @@ Warning: the token B is unused.
%%
a:
|
| A
{}
%%
......
bench/good/unused-token1.mly
View file @ 71d3aaad
......@@ -2,4 +2,4 @@
%start<int> a
%%
a: {}
a: A {}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment