Skip to content

GitLab

Commit a831271a authored by POTTIER Francois's avatar POTTIER Francois
Browse files

bench/good: add *.exp files containing the expected output of menhir. 

So we will find out if anything changes in the warnings and errors
that menhir produces.
parent 3dad74fc
Hide whitespace changes
Inline Side-by-side
bench/good/Makefile
View file @ a831271a
......@@ -33,7 +33,7 @@ test: clean $(RESULTS)
# The file %.result stores the output of menhir --only-preprocess.
# The file %.expected stores its expected output.
# The file %.out stores the output of menhir.
# (There is presently no expected output file.)
# The file %.exp stores its expected output.
%.result: %.mly
@ if echo $< | grep -e "-1.mly" &> /dev/null; then \
......@@ -52,7 +52,21 @@ test: clean $(RESULTS)
if test -e $*.expected; then \
if diff $@ $*.expected >& /dev/null; then \
if $(MENHIR) --explain $$CMD >& $*.out; then \
echo "[OK] $$FILES"; \
if [ x$$CREATE_EXPECTED == x"1" ]; then \
cp $*.out $*.exp; \
fi; \
if test -e $*.exp; then \
if ! diff $*.exp $*.out >& /dev/null; then ( \
echo "-> [KO] $$FILES:"; \
echo " menhir produced wrong output."; \
echo " diff $*.exp $*.out"; \
) | tee -a failures; \
else \
echo "[OK] $$FILES"; \
fi; \
else \
echo "Warning: missing file: $*.exp" | tee -a warnings; \
fi; \
else \
if ! grep $* 00KNOWN_FAILURES >& /dev/null; then ( \
echo "-> [KO] $$FILES:"; \
......@@ -84,5 +98,7 @@ expected:
@ echo "Expected output re-generated."
clean:
rm -f *.ml *.mli *.conflicts *.automaton *.cmi *.cmo *.cmx *.o *.s *.result *~ failures warnings
rm -f *~
rm -f *.ml *.mli *.conflicts *.automaton
rm -f *.result *.out failures warnings
bench/good/attapl-deptypes.exp 0 → 100644
View file @ a831271a
File "attapl-deptypes.mly", line 47, characters 28-38:
Warning: the token APOSTROPHE is unused.
File "attapl-deptypes.mly", line 49, characters 28-33:
Warning: the token BARGT is unused.
File "attapl-deptypes.mly", line 50, characters 28-37:
Warning: the token BARRCURLY is unused.
File "attapl-deptypes.mly", line 51, characters 28-38:
Warning: the token BARRSQUARE is unused.
File "attapl-deptypes.mly", line 53, characters 28-38:
Warning: the token COLONCOLON is unused.
File "attapl-deptypes.mly", line 54, characters 28-35:
Warning: the token COLONEQ is unused.
File "attapl-deptypes.mly", line 55, characters 28-37:
Warning: the token COLONHASH is unused.
File "attapl-deptypes.mly", line 57, characters 28-34:
Warning: the token DARROW is unused.
File "attapl-deptypes.mly", line 59, characters 28-35:
Warning: the token DDARROW is unused.
File "attapl-deptypes.mly", line 48, characters 28-34:
Warning: the token DQUOTE is unused.
File "attapl-deptypes.mly", line 63, characters 28-32:
Warning: the token EQEQ is unused.
File "attapl-deptypes.mly", line 64, characters 28-30:
Warning: the token GT is unused.
File "attapl-deptypes.mly", line 65, characters 28-32:
Warning: the token HASH is unused.
File "attapl-deptypes.mly", line 66, characters 28-34:
Warning: the token LCURLY is unused.
File "attapl-deptypes.mly", line 67, characters 28-37:
Warning: the token LCURLYBAR is unused.
File "attapl-deptypes.mly", line 68, characters 28-37:
Warning: the token LEFTARROW is unused.
File "attapl-deptypes.mly", line 71, characters 28-35:
Warning: the token LSQUARE is unused.
File "attapl-deptypes.mly", line 72, characters 28-38:
Warning: the token LSQUAREBAR is unused.
File "attapl-deptypes.mly", line 73, characters 28-30:
Warning: the token LT is unused.
File "attapl-deptypes.mly", line 70, characters 28-34:
Warning: the token Normal is unused.
File "attapl-deptypes.mly", line 74, characters 28-34:
Warning: the token RCURLY is unused.
File "attapl-deptypes.mly", line 76, characters 28-35:
Warning: the token RSQUARE is unused.
File "attapl-deptypes.mly", line 78, characters 28-33:
Warning: the token SLASH is unused.
File "attapl-deptypes.mly", line 80, characters 28-36:
Warning: the token TRIANGLE is unused.
File "attapl-deptypes.mly", line 30, characters 28-32:
Warning: the token TYPE is unused.
File "attapl-deptypes.mly", line 82, characters 28-32:
Warning: the token VBAR is unused.
File "attapl-deptypes.mly", line 84, characters 0-6:
Warning: the precedence level assigned to COMMA is never useful.
bench/good/attapl-mini.exp 0 → 100644
View file @ a831271a
File "attapl-mini.mly", line 41, characters 7-11:
Warning: the token BANG is unused.
File "attapl-mini.mly", line 45, characters 7-11:
Warning: the token DATA is unused.
File "attapl-mini.mly", line 54, characters 7-10:
Warning: the token END is unused.
File "attapl-mini.mly", line 30, characters 7-13:
Warning: the token LANGLE is unused.
File "attapl-mini.mly", line 28, characters 7-15:
Warning: the token LBRACKET is unused.
File "attapl-mini.mly", line 52, characters 7-12:
Warning: the token MATCH is unused.
File "attapl-mini.mly", line 46, characters 7-14:
Warning: the token MUTABLE is unused.
File "attapl-mini.mly", line 31, characters 7-13:
Warning: the token RANGLE is unused.
File "attapl-mini.mly", line 29, characters 7-15:
Warning: the token RBRACKET is unused.
File "attapl-mini.mly", line 44, characters 7-12:
Warning: the token SLASH is unused.
File "attapl-mini.mly", line 32, characters 7-11:
Warning: the token TYPE is unused.
File "attapl-mini.mly", line 53, characters 7-11:
Warning: the token WITH is unused.
File "attapl-mini.mly", line 245, characters 0-7:
Warning: symbol opt_bar is unreachable from any of the start symbol(s).
File "attapl-mini.mly", line 202, characters 0-13:
Warning: symbol record_fields is unreachable from any of the start symbol(s).
File "attapl-mini.mly", line 78, characters 0-6:
Warning: symbol scheme is unreachable from any of the start symbol(s).
bench/good/bauer.exp 0 → 100644
View file @ a831271a
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.
bench/good/bibtex_parser.exp 0 → 100644
View file @ a831271a
File "bibtex_parser.mly", line 29, characters 25-32:
Warning: the token Tlbrace is unused.
bench/good/boris-mini.exp 0 → 100644
View file @ a831271a
Warning: 4 states have shift/reduce conflicts.
Warning: 3 states have reduce/reduce conflicts.
Warning: 5 shift/reduce conflicts were arbitrarily resolved.
Warning: 3 reduce/reduce conflicts were arbitrarily resolved.
Warning: one state has an end-of-stream conflict.
File "boris-mini.mly", line 38, characters 2-15:
Warning: production debut -> expr DOT is never reduced.
Warning: in total, 1 productions are never reduced.
bench/good/c.exp 0 → 100644
View file @ a831271a
Warning: one state has shift/reduce conflicts.
Warning: one shift/reduce conflict was arbitrarily resolved.
Warning: 15 states have an end-of-stream conflict.
File "c.mly", line 404, characters 0-16:
Warning: symbol translation_unit is never accepted.
Warning: in total, 1 productions are never reduced.
bench/good/christian.exp 0 → 100644
View file @ a831271a
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.
Warning: 46 states have shift/reduce conflicts.
Warning: 48 states have reduce/reduce conflicts.
Warning: 554 shift/reduce conflicts were arbitrarily resolved.
Warning: 520 reduce/reduce conflicts were arbitrarily resolved.
File "christian.mly", line 1072, characters 2-19:
Warning: production embeddedPDVValue -> sequenceValue is never reduced.
File "christian.mly", line 699, characters 2-27:
Warning: production enumeratedValue -> Lower is never reduced.
File "christian.mly", line 1101, characters 2-18:
Warning: production externalValue -> sequenceValue is never reduced.
File "christian.mly", line 1894, characters 2-17:
Warning: production fixedTypeFieldVal -> builtinValue is never reduced.
File "christian.mly", line 1896, characters 2-20:
Warning: production fixedTypeFieldVal -> referencedValue is never reduced.
File "christian.mly", line 775, characters 2-27:
Warning: production identifierList -> Lower is never reduced.
File "christian.mly", line 1498, characters 2-10:
Warning: production includes -> is never reduced.
File "christian.mly", line 660, characters 2-27:
Warning: production integerValue -> Lower is never reduced.
File "christian.mly", line 940, characters 2-15:
Warning: production namedValueList -> namedValue is never reduced.
File "christian.mly", line 717, characters 2-18:
Warning: production numericRealValue -> sequenceValue is never reduced.
File "christian.mly", line 1941, characters 2-36:
Warning: production objectSetFromObjects -> referencedObjects Dot fieldName is never reduced.
File "christian.mly", line 785, characters 2-12:
Warning: production octetStringValue -> Bstring is never reduced.
File "christian.mly", line 787, characters 2-12:
Warning: production octetStringValue -> Hstring is never reduced.
File "christian.mly", line 789, characters 2-21:
Warning: production octetStringValue -> CONTAINING value is never reduced.
File "christian.mly", line 2111, characters 2-14:
Warning: production parameterizedReference -> reference is never reduced.
File "christian.mly", line 2137, characters 2-42:
Warning: production parameterizedValueSetType -> simpleDefinedType actualParameterList is never reduced.
File "christian.mly", line 1191, characters 2-17:
Warning: production relativeOIDComponents -> definedValue is never reduced.
File "christian.mly", line 929, characters 2-25:
Warning: production sequenceOfValue -> LeftBrace RightBrace is never reduced.
File "christian.mly", line 909, characters 2-25:
Warning: production sequenceValue -> LeftBrace RightBrace is never reduced.
File "christian.mly", line 969, characters 2-35:
Warning: production setOfValue -> LeftBrace valueList RightBrace is never reduced.
File "christian.mly", line 971, characters 2-40:
Warning: production setOfValue -> LeftBrace namedValueList RightBrace is never reduced.
File "christian.mly", line 973, characters 2-25:
Warning: production setOfValue -> LeftBrace RightBrace is never reduced.
File "christian.mly", line 957, characters 2-44:
Warning: production setValue -> LeftBrace componentValueList RightBrace is never reduced.
File "christian.mly", line 959, characters 2-25:
Warning: production setValue -> LeftBrace RightBrace is never reduced.
File "christian.mly", line 2119, characters 2-30:
Warning: production simpleDefinedType -> Upper is never reduced.
File "christian.mly", line 1288, characters 2-11:
Warning: production tableColumn -> Number is never reduced.
File "christian.mly", line 1933, characters 2-36:
Warning: production typeFromObject -> referencedObjects Dot fieldName is never reduced.
File "christian.mly", line 1306, characters 2-18:
Warning: production unrestrictedCharacterStringValue -> sequenceValue is never reduced.
Warning: in total, 28 productions are never reduced.
bench/good/cigen-cparser.exp 0 → 100644
View file @ a831271a
File "cigen-cparser.mly", line 124, characters 18-36:
Warning: the token Chars_extended_raw is unused.
File "cigen-cparser.mly", line 123, characters 18-27:
Warning: the token Chars_raw is unused.
File "cigen-cparser.mly", line 120, characters 17-23:
Warning: the token Double is unused.
File "cigen-cparser.mly", line 121, characters 17-28:
Warning: the token Double_long is unused.
File "cigen-cparser.mly", line 122, characters 17-22:
Warning: the token Float is unused.
File "cigen-cparser.mly", line 118, characters 15-27:
Warning: the token Integer_long is unused.
File "cigen-cparser.mly", line 119, characters 15-31:
Warning: the token Integer_unsigned is unused.
File "cigen-cparser.mly", line 74, characters 7-16:
Warning: the token KW_access is unused.
File "cigen-cparser.mly", line 68, characters 7-13:
Warning: the token KW_add is unused.
File "cigen-cparser.mly", line 78, characters 7-16:
Warning: the token KW_add_to is unused.
File "cigen-cparser.mly", line 96, characters 7-13:
Warning: the token KW_and is unused.
File "cigen-cparser.mly", line 86, characters 7-20:
Warning: the token KW_assign_add is unused.
File "cigen-cparser.mly", line 90, characters 7-20:
Warning: the token KW_assign_and is unused.
File "cigen-cparser.mly", line 84, characters 7-20:
Warning: the token KW_assign_div is unused.
File "cigen-cparser.mly", line 91, characters 7-21:
Warning: the token KW_assign_exor is unused.
File "cigen-cparser.mly", line 88, characters 7-21:
Warning: the token KW_assign_left is unused.
File "cigen-cparser.mly", line 85, characters 7-20:
Warning: the token KW_assign_mod is unused.
File "cigen-cparser.mly", line 92, characters 7-19:
Warning: the token KW_assign_or is unused.
File "cigen-cparser.mly", line 89, characters 7-22:
Warning: the token KW_assign_right is unused.
File "cigen-cparser.mly", line 87, characters 7-20:
Warning: the token KW_assign_sub is unused.
File "cigen-cparser.mly", line 83, characters 7-22:
Warning: the token KW_assign_times is unused.
File "cigen-cparser.mly", line 34, characters 7-15:
Warning: the token KW_break is unused.
File "cigen-cparser.mly", line 35, characters 7-14:
Warning: the token KW_case is unused.
File "cigen-cparser.mly", line 107, characters 7-15:
Warning: the token KW_colon is unused.
File "cigen-cparser.mly", line 80, characters 7-20:
Warning: the token KW_complement is unused.
File "cigen-cparser.mly", line 38, characters 7-18:
Warning: the token KW_continue is unused.
File "cigen-cparser.mly", line 39, characters 7-17:
Warning: the token KW_default is unused.
File "cigen-cparser.mly", line 71, characters 7-13:
Warning: the token KW_div is unused.
File "cigen-cparser.mly", line 40, characters 7-12:
Warning: the token KW_do is unused.
File "cigen-cparser.mly", line 42, characters 7-14:
Warning: the token KW_else is unused.
File "cigen-cparser.mly", line 98, characters 7-15:
Warning: the token KW_equal is unused.
File "cigen-cparser.mly", line 97, characters 7-14:
Warning: the token KW_exor is unused.
File "cigen-cparser.mly", line 46, characters 7-13:
Warning: the token KW_for is unused.
File "cigen-cparser.mly", line 47, characters 7-14:
Warning: the token KW_goto is unused.
File "cigen-cparser.mly", line 103, characters 7-17:
Warning: the token KW_greater is unused.
File "cigen-cparser.mly", line 105, characters 7-19:
Warning: the token KW_greatereq is unused.
File "cigen-cparser.mly", line 48, characters 7-12:
Warning: the token KW_if is unused.
File "cigen-cparser.mly", line 94, characters 7-18:
Warning: the token KW_lazy_and is unused.
File "cigen-cparser.mly", line 93, characters 7-17:
Warning: the token KW_lazy_or is unused.
File "cigen-cparser.mly", line 100, characters 7-14:
Warning: the token KW_left is unused.
File "cigen-cparser.mly", line 102, characters 7-15:
Warning: the token KW_lower is unused.
File "cigen-cparser.mly", line 104, characters 7-17:
Warning: the token KW_lowereq is unused.
File "cigen-cparser.mly", line 72, characters 7-13:
Warning: the token KW_mod is unused.
File "cigen-cparser.mly", line 81, characters 7-13:
Warning: the token KW_not is unused.
File "cigen-cparser.mly", line 95, characters 7-12:
Warning: the token KW_or is unused.
File "cigen-cparser.mly", line 73, characters 7-15:
Warning: the token KW_point is unused.
File "cigen-cparser.mly", line 52, characters 7-16:
Warning: the token KW_return is unused.
File "cigen-cparser.mly", line 101, characters 7-15:
Warning: the token KW_right is unused.
File "cigen-cparser.mly", line 55, characters 7-16:
Warning: the token KW_sizeof is unused.
File "cigen-cparser.mly", line 69, characters 7-13:
Warning: the token KW_sub is unused.
File "cigen-cparser.mly", line 79, characters 7-18:
Warning: the token KW_sub_from is unused.
File "cigen-cparser.mly", line 58, characters 7-16:
Warning: the token KW_switch is unused.
File "cigen-cparser.mly", line 75, characters 7-14:
Warning: the token KW_test is unused.
File "cigen-cparser.mly", line 99, characters 7-17:
Warning: the token KW_unequal is unused.
File "cigen-cparser.mly", line 64, characters 7-15:
Warning: the token KW_while is unused.
File "cigen-cparser.mly", line 134, characters 7-16:
Warning: the token Nulltoken is unused.
File "cigen-cparser.mly", line 126, characters 18-37:
Warning: the token String_extended_raw is unused.
File "cigen-cparser.mly", line 125, characters 18-28:
Warning: the token String_raw is unused.
bench/good/cil-cparser.exp 0 → 100644
View file @ a831271a
File "cil-cparser.mly", line 269, characters 54-60:
Warning: the token ADDROF is unused.
File "cil-cparser.mly", line 237, characters 36-50:
Warning: the token ATTRIBUTE_USED is unused.
File "cil-cparser.mly", line 238, characters 7-22:
Warning: the token BUILTIN_VA_LIST is unused.
File "cil-cparser.mly", line 269, characters 42-46:
Warning: the token CAST is unused.
File "cil-cparser.mly", line 199, characters 54-59:
Warning: the token INT32 is unused.
File "cil-cparser.mly", line 269, characters 0-6:
Warning: the precedence level assigned to ADDROF is never useful.
File "cil-cparser.mly", line 269, characters 0-6:
Warning: the precedence level assigned to ALIGNOF is never useful.
File "cil-cparser.mly", line 263, characters 0-5:
Warning: the precedence level assigned to AND is never useful.
File "cil-cparser.mly", line 260, characters 0-5:
Warning: the precedence level assigned to AND_AND is never useful.
File "cil-cparser.mly", line 256, characters 0-6:
Warning: the precedence level assigned to AND_EQ is never useful.
File "cil-cparser.mly", line 271, characters 0-5:
Warning: the precedence level assigned to ARROW is never useful.
File "cil-cparser.mly", line 269, characters 0-6:
Warning: the precedence level assigned to CAST is never useful.
File "cil-cparser.mly", line 262, characters 0-5:
Warning: the precedence level assigned to CIRC is never useful.
File "cil-cparser.mly", line 256, characters 0-6:
Warning: the precedence level assigned to CIRC_EQ is never useful.
File "cil-cparser.mly", line 258, characters 0-6:
Warning: the precedence level assigned to COLON is never useful.
File "cil-cparser.mly", line 255, characters 0-5:
Warning: the precedence level assigned to COMMA is never useful.
File "cil-cparser.mly", line 268, characters 0-5:
Warning: the precedence level assigned to CONST is never useful.
File "cil-cparser.mly", line 271, characters 0-5:
Warning: the precedence level assigned to DOT is never useful.
File "cil-cparser.mly", line 256, characters 0-6:
Warning: the precedence level assigned to EQ is never useful.
File "cil-cparser.mly", line 264, characters 0-5:
Warning: the precedence level assigned to EQ_EQ is never useful.
File "cil-cparser.mly", line 269, characters 0-6:
Warning: the precedence level assigned to EXCLAM is never useful.
File "cil-cparser.mly", line 264, characters 0-5:
Warning: the precedence level assigned to EXCLAM_EQ is never useful.
File "cil-cparser.mly", line 265, characters 0-5:
Warning: the precedence level assigned to INF is never useful.
File "cil-cparser.mly", line 265, characters 0-5:
Warning: the precedence level assigned to INF_EQ is never useful.
File "cil-cparser.mly", line 266, characters 0-5:
Warning: the precedence level assigned to INF_INF is never useful.
File "cil-cparser.mly", line 256, characters 0-6:
Warning: the precedence level assigned to INF_INF_EQ is never useful.
File "cil-cparser.mly", line 271, characters 0-5:
Warning: the precedence level assigned to LBRACE is never useful.
File "cil-cparser.mly", line 270, characters 0-5:
Warning: the precedence level assigned to LBRACKET is never useful.
File "cil-cparser.mly", line 267, characters 0-5:
Warning: the precedence level assigned to MINUS is never useful.
File "cil-cparser.mly", line 256, characters 0-6:
Warning: the precedence level assigned to MINUS_EQ is never useful.
File "cil-cparser.mly", line 269, characters 0-6:
Warning: the precedence level assigned to MINUS_MINUS is never useful.
File "cil-cparser.mly", line 268, characters 0-5:
Warning: the precedence level assigned to PERCENT is never useful.
File "cil-cparser.mly", line 256, characters 0-6:
Warning: the precedence level assigned to PERCENT_EQ is never useful.
File "cil-cparser.mly", line 261, characters 0-5:
Warning: the precedence level assigned to PIPE is never useful.
File "cil-cparser.mly", line 256, characters 0-6:
Warning: the precedence level assigned to PIPE_EQ is never useful.
File "cil-cparser.mly", line 259, characters 0-5:
Warning: the precedence level assigned to PIPE_PIPE is never useful.
File "cil-cparser.mly", line 267, characters 0-5:
Warning: the precedence level assigned to PLUS is never useful.
File "cil-cparser.mly", line 256, characters 0-6:
Warning: the precedence level assigned to PLUS_EQ is never useful.
File "cil-cparser.mly", line 269, characters 0-6:
Warning: the precedence level assigned to PLUS_PLUS is never useful.
File "cil-cparser.mly", line 258, characters 0-6:
Warning: the precedence level assigned to QUEST is never useful.
File "cil-cparser.mly", line 268, characters 0-5:
Warning: the precedence level assigned to RESTRICT is never useful.
File "cil-cparser.mly", line 269, characters 0-6:
Warning: the precedence level assigned to SIZEOF is never useful.
File "cil-cparser.mly", line 268, characters 0-5:
Warning: the precedence level assigned to SLASH is never useful.
File "cil-cparser.mly", line 256, characters 0-6:
Warning: the precedence level assigned to SLASH_EQ is never useful.
File "cil-cparser.mly", line 268, characters 0-5:
Warning: the precedence level assigned to STAR is never useful.
File "cil-cparser.mly", line 256, characters 0-6:
Warning: the precedence level assigned to STAR_EQ is never useful.
File "cil-cparser.mly", line 265, characters 0-5:
Warning: the precedence level assigned to SUP is never useful.
File "cil-cparser.mly", line 265, characters 0-5:
Warning: the precedence level assigned to SUP_EQ is never useful.
File "cil-cparser.mly", line 266, characters 0-5:
Warning: the precedence level assigned to SUP_SUP is never useful.
File "cil-cparser.mly", line 256, characters 0-6:
Warning: the precedence level assigned to SUP_SUP_EQ is never useful.
File "cil-cparser.mly", line 269, characters 0-6:
Warning: the precedence level assigned to TILDE is never useful.
File "cil-cparser.mly", line 268, characters 0-5:
Warning: the precedence level assigned to VOLATILE is never useful.
File "cil-cparser.mly", line 345, characters 56-61:
Warning: this %prec declaration is never useful.
Warning: 20 states have an end-of-stream conflict.
File "cil-cparser.mly", line 1027, characters 2-85:
Warning: production direct_old_proto_decl -> direct_decl LPAREN RPAREN is never reduced.
File "cil-cparser.mly", line 1149, characters 2-70:
Warning: production function_def_start -> IDENT LPAREN RPAREN is never reduced.
File "cil-cparser.mly", line 375, characters 2-60:
Warning: production global -> IDENT LPAREN RPAREN SEMICOLON is never reduced.
Warning: in total, 3 productions are never reduced.
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