diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2020-06-26 07:33:51 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2020-06-27 08:16:07 +0200 |
| commit | cf6d8d0631d6d4c82a00843b1fe3d6b13e7ff436 (patch) | |
| tree | f1c7f3d235f85d1ee15bef997dfb7bc692672620 /THANKS | |
| parent | 8f44164443e8cc04f7931cd5fdb39a0cc48b39a4 (diff) | |
| download | bison-cf6d8d0631d6d4c82a00843b1fe3d6b13e7ff436.tar.gz | |
ielr: fix crash on memory management
Reported by Dwight Guth.
https://lists.gnu.org/r/bug-bison/2020-06/msg00037.html
* src/AnnotationList.c (AnnotationList__computePredecessorAnnotations):
Beware that SBITSET__FOR_EACH nests _two_ for-loops, so "break" does
not actually break out of it.
That was the only occurrence in the code.
* src/Sbitset.h (SBITSET__FOR_EACH): Warn passersby.
Diffstat (limited to 'THANKS')
| -rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -59,6 +59,7 @@ Di-an Jan dianj@freeshell.org Dick Streefland dick.streefland@altium.nl Didier Godefroy dg@ulysium.net Don Macpherson donmac703@gmail.com +Dwight Guth dwight.guth@runtimeverification.com Efi Fogel efifogel@gmail.com Enrico Scholz enrico.scholz@informatik.tu-chemnitz.de Eric Blake ebb9@byu.net |