Lines Matching full:unreachable
292 * Unreachable States:: Keep unreachable parser states for debugging.
5564 @c ============================================ lr.keep-unreachable-states
5566 @item @code{lr.keep-unreachable-states}
5567 @findex %define lr.keep-unreachable-states
5571 @item Purpose: Request that Bison allow unreachable parser states to
5572 remain in the parser tables. @xref{Unreachable States}.
7450 * Unreachable States:: Keep unreachable parser states for debugging.
7788 @node Unreachable States
7789 @subsection Unreachable States
7790 @findex %define lr.keep-unreachable-states
7791 @cindex unreachable states
7794 some state @var{s}, then Bison considers @var{s} to be an @dfn{unreachable
7795 state}. A state can become unreachable during conflict resolution if Bison
7798 By default, Bison removes unreachable states from the parser after conflict
7800 keeping unreachable states is sometimes useful when trying to understand the
7803 @deffn {Directive} {%define lr.keep-unreachable-states} @var{value}
7804 Request that Bison allow unreachable states to remain in the parser tables.
7813 Unreachable states may contain conflicts and may use rules not used in any
7814 other state. Thus, keeping unreachable states may induce warnings that are
7817 parser table analysis that wants to keep unreachable states, so this
7822 While Bison is able to remove unreachable states, it is not guaranteed to
7827 it could identify such states as unreachable and then remove those states.
12245 @item Unreachable state
12247 the parser's start state. A state can become unreachable during conflict
12248 resolution. @xref{Unreachable States}.