about summary refs log tree commit diff homepage
path: root/test/Feature/Realloc.c
diff options
context:
space:
mode:
authorAndrew Santosa <dcsandr@nus.edu.sg>2017-06-07 15:44:08 +0800
committerDan Liew <delcypher@gmail.com>2017-06-07 15:26:43 +0100
commit1310855836fb7e931371647f4464801c277b0f7c (patch)
treea141a11e20422328aec1063ead2bb1723b99150d /test/Feature/Realloc.c
parent48321b4572b494b3e2cb24222043f617424596ee (diff)
downloadklee-1310855836fb7e931371647f4464801c277b0f7c.tar.gz
Prevent test failure when realloc fails in test/Feature/Realloc.c
Diffstat (limited to 'test/Feature/Realloc.c')
-rw-r--r--test/Feature/Realloc.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Feature/Realloc.c b/test/Feature/Realloc.c
index 0a97dd78..d0c85b21 100644
--- a/test/Feature/Realloc.c
+++ b/test/Feature/Realloc.c
@@ -13,7 +13,7 @@ int main() {
 
   // CHECK: KLEE: WARNING ONCE: Large alloc
   int *p2 = realloc(p, 1<<30);
-  assert(p2[1] == 52);
+  assert(!p2 || p2[1] == 52);
 
   return 0;
 }