Merge branch 'master' into feature/cmake

1 files changed, 11 insertions, 9 deletions

diff --git a/dfa.c b/dfa.c
index f3269a27..12b388d1 100644
--- a/dfa.c
+++ b/dfa.c
@@ -4177,15 +4177,17 @@ dfamust (struct dfa const *d)
           break;
         }
     }
-done:
-  if (!*result)
-    return NULL;
-
-  dm = xmalloc (sizeof *dm);
-  dm->exact = exact;
-  dm->begline = begline;
-  dm->endline = endline;
-  dm->must = xstrdup (result);
+ done:;
+
+  dm = NULL;
+  if (*result)
+    {
+      dm = xmalloc (sizeof *dm);
+      dm->exact = exact;
+      dm->begline = begline;
+      dm->endline = endline;
+      dm->must = xstrdup (result);
+    }
 
   while (mp)
     {