From cf6d8d0631d6d4c82a00843b1fe3d6b13e7ff436 Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Fri, 26 Jun 2020 07:33:51 +0200 Subject: 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. --- THANKS | 1 + 1 file changed, 1 insertion(+) (limited to 'THANKS') diff --git a/THANKS b/THANKS index 36df5e29..af24ceaa 100644 --- a/THANKS +++ b/THANKS @@ -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 -- cgit v1.2.1