]> git.saurik.com Git - bison.git/commitdiff
grammar: warn about unused precedence for symbols
authorValentin Tolmer <nitnelave1@gmail.com>
Tue, 29 Jan 2013 13:55:53 +0000 (14:55 +0100)
committerAkim Demaille <akim@lrde.epita.fr>
Tue, 29 Jan 2013 14:11:35 +0000 (15:11 +0100)
Symbols with precedence but no associativity, and whose precedence is
never used, can be declared with %token instead.  The used precedence
relationships are recorded and a warning about useless ones is issued.

* src/conflicts.c (resolve_sr_conflict): Record precedence relation.
* src/symtab.c, src/symtab.h (prec_nodes, init_prec_nodes)
(symgraphlink_new, register_precedence_second_symbol)
(print_precedence_warnings): New.
Record relationships in a graph and warn about useless ones.
* src/main.c (main): Print precedence warnings.
* tests/conflicts.at: New.


No differences found