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)
commit284bc49c832ffe6280907cb6c7788fa06bc58c7c
tree7b0c76359c32d8a3e90055f8d887d699e87c8f45
parentfbecd2ab59d461fbd943670338a5def4157e3364
grammar: warn about unused precedence for symbols

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.
NEWS
src/conflicts.c
src/main.c
src/symtab.c
src/symtab.h
tests/conflicts.at