]> Savannah Git Hosting - gnulib.git/commit
dfa: new options DFA_STAR_WARN, DFA_PLUS_WARN
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 24 May 2022 23:03:29 +0000 (16:03 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 24 May 2022 23:04:04 +0000 (16:04 -0700)
commit88d3598a277061b855c778103c1f5a114ea0afd7
tree0fcf9dcb156d8724543cb0ac8ebe0c58cb427623
parent55d1a73c1a79e94c443f51798c4c76449a0c7d62
dfa: new options DFA_STAR_WARN, DFA_PLUS_WARN

This lets ‘grep -E '(*a|+b)'’ warn about the * and the +.
* lib/dfa.h (DFA_STAR_WARN, DFA_PLUS_WARN): New flags.
* lib/dfa.c (lex): Support them.
ChangeLog
lib/dfa.c
lib/dfa.h