From c28597014f528b67e9866ccdfab54111f12d014f Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Wed, 20 Feb 2019 11:49:41 +0100
Subject: [PATCH] Add more hypothesis

---
 m-string.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/m-string.h b/m-string.h
index b0a328d1..30714d1c 100644
--- a/m-string.h
+++ b/m-string.h
@@ -50,6 +50,7 @@
     STRINGI_ASSUME (string_size(v) == strlen(v->ptr));                  \
     M_ASSUME (v->ptr[string_size(v)] == 0);                             \
     M_ASSUME (string_size(v) < string_capacity(v));                     \
+    M_ASSUME (string_capacity(v) < sizeof (str_heap_t) || !string_int_stack_p(v)); \
   } while(0)