diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2018-08-05 16:29:00 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2018-08-05 20:25:58 +0200 |
commit | 3df32101e7978eaafa63bce8908de3dcae4d9cda (patch) | |
tree | 7dca79093a0e0e2cbcaea30bbcfd2f297cb9ffed /THANKS | |
parent | c699078246ecd5014f3b08eb15b7699fc4e40b90 (diff) | |
download | bison-3df32101e7978eaafa63bce8908de3dcae4d9cda.tar.gz |
warnings: address -Wnull-dereference in reader.c
Based on a patch by David Michael.
http://lists.gnu.org/archive/html/bison-patches/2018-07/msg00000.html
* src/reader.c (find_start): New, extracted from...
(check_and_convert_grammar): here.
Diffstat (limited to 'THANKS')
-rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -39,6 +39,7 @@ Daniel Galloway dg1751@att.com Daniel Hagerty hag@gnu.org David J. MacKenzie djm@gnu.org David Kastrup dak@gnu.org +David Michael fedora.dm0@gmail.com Dennis Clarke dclarke@blastwave.org Derek Clegg derek@me.com Derek M. Jones derek@knosof.co.uk |