POSIX: warn if %prec's token was not defined.

[bison.git] / tests / input.at

diff --git a/tests/input.at b/tests/input.at
index be84f9cf37a47db0d6fee706cf414346a10d02c4..5cec25b9cdbecf292a40328beaa0a7c0e77fe24d 100644 (file)
--- a/tests/input.at
+++ b/tests/input.at
@@ -702,6 +702,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.  ##
 ## -------------------------------- ##