From 1310855836fb7e931371647f4464801c277b0f7c Mon Sep 17 00:00:00 2001 From: Andrew Santosa Date: Wed, 7 Jun 2017 15:44:08 +0800 Subject: Prevent test failure when realloc fails in test/Feature/Realloc.c --- test/Feature/Realloc.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test') 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; } -- cgit 1.4.1