Handle new support for alloca+free errors

diffblue · Nov 26, 2018 · fb00248 · fb00248
1 parent 5fbcded
commit fb00248
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tool-wrapper.inc b/tool-wrapper.inc
@@ -60,6 +60,9 @@ parse_result()
   elif tail -n 50 $LOG.ok | \
       grep -Eq "^(\[.*\] double free|[[:space:]]*double free$)" ; then
     echo 'FALSE(valid-free)'
+  elif tail -n 50 $LOG.ok | \
+      grep -Eq "^(\[.*\] free called for stack-allocated object|[[:space:]]*called for stack-allocated object$)" ; then
+    echo 'FALSE(valid-free)'
   elif tail -n 50 $LOG.ok | \
       grep -Eq "^(\[.*\] free argument has offset zero|[[:space:]]* free argument has offset zero$)" ; then
     if tail -n 50 $LOG.ok | grep -Eq "^[[:space:]]+[a-zA-Z0-9_]+=INVALID-" ; then