X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/f37495f6013afcfe355bb312215448d1b8b04bb2..d143e9c33f07e1a9966c10077f43e2f81232bf6c:/tests/input.at?ds=inline diff --git a/tests/input.at b/tests/input.at index 8a38cd5d..c8e28be7 100644 --- a/tests/input.at +++ b/tests/input.at @@ -1,6 +1,6 @@ # Checking the Bison scanner. -*- Autotest -*- -# Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 -# Free Software Foundation, Inc. + +# Copyright (C) 2002-2011 Free Software Foundation, Inc. # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -658,17 +658,20 @@ AT_BISON_CHECK([-o input.c input.y]) AT_COMPILE([input.o], [-c input.c]) -# Periods and dashes are genuine letters, they can start identifiers. -# Digits cannot. +# Periods are genuine letters, they can start identifiers. +# Digits and dashes cannot. AT_DATA_GRAMMAR([input.y], [[%token .GOOD -GOOD 1NV4L1D + -123 %% -start: .GOOD -GOOD +start: .GOOD GOOD ]]) AT_BISON_CHECK([-o input.c input.y], [1], [], -[[input.y:11.10-16: invalid identifier: `1NV4L1D' +[[input.y:10.10: invalid character: `-' +input.y:11.10-16: invalid identifier: `1NV4L1D' +input.y:12.10: invalid character: `-' ]]) AT_CLEANUP @@ -799,6 +802,26 @@ AT_BISON_CHECK([input.y], [1], [], AT_CLEANUP +## ------------------------------- ## +## %prec's token must be defined. ## +## ------------------------------- ## + +AT_SETUP([[%prec's token must be defined]]) + +# According to POSIX, a %prec token must be defined separately. + +AT_DATA([[input.y]], +[[%% +start: %prec PREC ; +]]) + +AT_BISON_CHECK([[input.y]], [[0]], [], +[[input.y:2.8-17: warning: token for %prec is not defined: PREC +]]) + +AT_CLEANUP + + ## -------------------------------- ## ## Reject unused %code qualifiers. ## ## -------------------------------- ## @@ -813,11 +836,11 @@ AT_DATA([input-c.y], %% start: ; ]]) -AT_BISON_CHECK([[input-c.y]], [0], [], -[[input-c.y:1.7: warning: %code qualifier `q' is not used -input-c.y:2.7-9: warning: %code qualifier `bad' is not used -input-c.y:3.7-9: warning: %code qualifier `bad' is not used -input-c.y:4.7-12: warning: %code qualifier `format' is not used +AT_BISON_CHECK([[input-c.y]], [[1]], [], +[[input-c.y:1.7: %code qualifier `q' is not used +input-c.y:2.7-9: %code qualifier `bad' is not used +input-c.y:3.7-9: %code qualifier `bad' is not used +input-c.y:4.7-12: %code qualifier `format' is not used ]]) AT_DATA([input-c-glr.y], @@ -827,10 +850,10 @@ AT_DATA([input-c-glr.y], %% start: ; ]]) -AT_BISON_CHECK([[input-c-glr.y]], [0], [], -[[input-c-glr.y:1.7: warning: %code qualifier `q' is not used -input-c-glr.y:2.7-9: warning: %code qualifier `bad' is not used -input-c-glr.y:3.8-10: warning: %code qualifier `bad' is not used +AT_BISON_CHECK([[input-c-glr.y]], [[1]], [], +[[input-c-glr.y:1.7: %code qualifier `q' is not used +input-c-glr.y:2.7-9: %code qualifier `bad' is not used +input-c-glr.y:3.8-10: %code qualifier `bad' is not used ]]) AT_DATA([input-c++.y], @@ -840,10 +863,10 @@ AT_DATA([input-c++.y], %% start: ; ]]) -AT_BISON_CHECK([[input-c++.y]], [0], [], -[[input-c++.y:1.7: warning: %code qualifier `q' is not used -input-c++.y:2.7-9: warning: %code qualifier `bad' is not used -input-c++.y:3.8: warning: %code qualifier `q' is not used +AT_BISON_CHECK([[input-c++.y]], [[1]], [], +[[input-c++.y:1.7: %code qualifier `q' is not used +input-c++.y:2.7-9: %code qualifier `bad' is not used +input-c++.y:3.8: %code qualifier `q' is not used ]]) AT_DATA([input-c++-glr.y], @@ -853,10 +876,10 @@ AT_DATA([input-c++-glr.y], %% start: ; ]]) -AT_BISON_CHECK([[input-c++-glr.y]], [0], [], -[[input-c++-glr.y:1.7-9: warning: %code qualifier `bad' is not used -input-c++-glr.y:2.7: warning: %code qualifier `q' is not used -input-c++-glr.y:3.7: warning: %code qualifier `q' is not used +AT_BISON_CHECK([[input-c++-glr.y]], [[1]], [], +[[input-c++-glr.y:1.7-9: %code qualifier `bad' is not used +input-c++-glr.y:2.7: %code qualifier `q' is not used +input-c++-glr.y:3.7: %code qualifier `q' is not used ]]) AT_DATA([special-char-@@.y], @@ -866,10 +889,10 @@ AT_DATA([special-char-@@.y], %% start: ; ]]) -AT_BISON_CHECK([[special-char-@@.y]], [0], [], -[[special-char-@@.y:1.7-9: warning: %code qualifier `bad' is not used -special-char-@@.y:2.7: warning: %code qualifier `q' is not used -special-char-@@.y:3.7: warning: %code qualifier `q' is not used +AT_BISON_CHECK([[special-char-@@.y]], [[1]], [], +[[special-char-@@.y:1.7-9: %code qualifier `bad' is not used +special-char-@@.y:2.7: %code qualifier `q' is not used +special-char-@@.y:3.7: %code qualifier `q' is not used ]]) AT_DATA([special-char-@:>@.y], @@ -879,10 +902,10 @@ AT_DATA([special-char-@:>@.y], %% start: ; ]]) -AT_BISON_CHECK([[special-char-@:>@.y]], [0], [], -[[special-char-@:>@.y:1.7-9: warning: %code qualifier `bad' is not used -special-char-@:>@.y:2.7: warning: %code qualifier `q' is not used -special-char-@:>@.y:3.7: warning: %code qualifier `q' is not used +AT_BISON_CHECK([[special-char-@:>@.y]], [[1]], [], +[[special-char-@:>@.y:1.7-9: %code qualifier `bad' is not used +special-char-@:>@.y:2.7: %code qualifier `q' is not used +special-char-@:>@.y:3.7: %code qualifier `q' is not used ]]) AT_CLEANUP @@ -917,8 +940,8 @@ AT_DATA([input-unused.y], start: ; ]]) -AT_BISON_CHECK([[input-unused.y]], [[0]], [], -[[input-unused.y:1.9-11: warning: %define variable `var' is not used +AT_BISON_CHECK([[input-unused.y]], [[1]], [], +[[input-unused.y:1.9-11: %define variable `var' is not used ]]) AT_CLEANUP @@ -928,9 +951,9 @@ AT_CLEANUP ## %define, --define, --force-define. ## ## ----------------------------------- ## -AT_SETUP([%define, --define, --force-define]) +AT_SETUP([[%define, --define, --force-define]]) -AT_DATA([skel.c], +AT_DATA([[skel.c]], [[m4@&t@_divert_push(0)@ @output(b4_parser_file_name@)@ [var-dd: ]b4_percent_define_get([[var-dd]])[ @@ -939,23 +962,16 @@ var-dfg: ]b4_percent_define_get([[var-dfg]])[ var-fd: ]b4_percent_define_get([[var-fd]]) m4@&t@_divert_pop(0) ]]) - -AT_DATA([input.y], +AT_DATA([[input.y]], [[%define var-dfg "gram" %% start: ; ]]) - AT_BISON_CHECK([[-Dvar-dd=cmd-d1 -Dvar-dd=cmd-d2 \ -Fvar-ff=cmd-f1 -Fvar-ff=cmd-f2 \ -Dvar-dfg=cmd-d -Fvar-dfg=cmd-f \ -Fvar-fd=cmd-f -Dvar-fd=cmd-d \ - -Dunused-d -Funused-f \ - --skeleton ./skel.c input.y]], [[0]], [], -[[:10: warning: %define variable `unused-d' is not used -:11: warning: %define variable `unused-f' is not used -]]) - + --skeleton ./skel.c input.y]]) AT_CHECK([[cat input.tab.c]], [[0]], [[var-dd: cmd-d2 var-ff: cmd-f2 @@ -963,17 +979,25 @@ var-dfg: cmd-f var-fd: cmd-d ]]) -AT_DATA([input-dg.y], +AT_DATA([[input-dg.y]], [[%define var "gram" %% start: ; ]]) - AT_BISON_CHECK([[-Dvar=cmd-d input-dg.y]], [[1]], [], [[input-dg.y:1.9-11: %define variable `var' redefined :2: previous definition ]]) +AT_DATA([[input-unused.y]], +[[%% +start: ; +]]) +AT_BISON_CHECK([[-Dunused-d -Funused-f input-unused.y]], [[1]], [], +[[:2: %define variable `unused-d' is not used +:3: %define variable `unused-f' is not used +]]) + AT_CLEANUP ## --------------------------- ## @@ -1010,7 +1034,7 @@ start: ; ]]) AT_BISON_CHECK([[input.y]], [[1]], [[]], [[input.y:1.9-29: invalid value for %define variable `lr.default-reductions': `bogus' -input.y:1.9-29: accepted value: `all' +input.y:1.9-29: accepted value: `most' input.y:1.9-29: accepted value: `consistent' input.y:1.9-29: accepted value: `accepting' ]]) @@ -1065,8 +1089,8 @@ AT_DATA([[input.y]], %% start: ; ]]) -AT_BISON_CHECK([[input.y]], [0], [], -[[input.y:1.9-15: warning: %define variable `foo_bar' is not used +AT_BISON_CHECK([[input.y]], [[1]], [], +[[input.y:1.9-15: %define variable `foo_bar' is not used ]]) AT_CLEANUP @@ -1090,8 +1114,8 @@ AT_DATA([[input.y]], start: ; ]]) -AT_BISON_CHECK([[input.y]], [0], [], -[[input.y:1.9-16: warning: %define variable `api.pure' is not used +AT_BISON_CHECK([[input.y]], [[1]], [], +[[input.y:1.9-16: %define variable `api.pure' is not used ]]) ]) @@ -1261,3 +1285,59 @@ input.y:5.19: invalid character after \-escape: \001 ]]) AT_CLEANUP + +## ------------------------- ## +## LAC: Errors for %define. ## +## ------------------------- ## + +AT_SETUP([[LAC: Errors for %define]]) + +AT_DATA([[input.y]], +[[%% +start: ; +]]) + +# parse.lac.* options are useless if LAC isn't actually activated. +AT_BISON_CHECK([[-Dparse.lac.es-capacity-initial=1 input.y]], + [[1]], [], +[[:2: %define variable `parse.lac.es-capacity-initial' is not used +]]) +AT_BISON_CHECK([[-Dparse.lac.memory-trace=full input.y]], + [[1]], [], +[[:2: %define variable `parse.lac.memory-trace' is not used +]]) + +AT_CLEANUP + +## --------------------------------------------- ## +## -Werror is not affected by -Wnone and -Wall. ## +## --------------------------------------------- ## + +AT_SETUP([[-Werror is not affected by -Wnone and -Wall]]) + +AT_DATA([[input.y]], +[[%% +foo-bar: ; +]]) + +# -Werror is not enabled by -Wall or equivalent. +AT_BISON_CHECK([[-Wall input.y]], [[0]], [[]], +[[input.y:2.1-7: warning: POSIX Yacc forbids dashes in symbol names: foo-bar +]]) +AT_BISON_CHECK([[-W input.y]], [[0]], [[]], +[[input.y:2.1-7: warning: POSIX Yacc forbids dashes in symbol names: foo-bar +]]) +AT_BISON_CHECK([[-Wno-none input.y]], [[0]], [[]], +[[input.y:2.1-7: warning: POSIX Yacc forbids dashes in symbol names: foo-bar +]]) + +# -Werror is not disabled by -Wnone or equivalent. +AT_BISON_CHECK([[-Werror,none,yacc input.y]], [[1]], [[]], [[stderr]]) +AT_CHECK([[sed 's/^.*bison:/bison:/' stderr]], [[0]], +[[bison: warnings being treated as errors +input.y:2.1-7: warning: POSIX Yacc forbids dashes in symbol names: foo-bar +]]) +[mv stderr experr] +AT_BISON_CHECK([[-Werror,no-all,yacc input.y]], [[1]], [[]], [[experr]]) + +AT_CLEANUP