diff options
author | Andrew Santosa <dcsandr@nus.edu.sg> | 2017-06-07 15:44:08 +0800 |
---|---|---|
committer | Dan Liew <delcypher@gmail.com> | 2017-06-07 15:26:43 +0100 |
commit | 1310855836fb7e931371647f4464801c277b0f7c (patch) | |
tree | a141a11e20422328aec1063ead2bb1723b99150d /test/Feature/Realloc.c | |
parent | 48321b4572b494b3e2cb24222043f617424596ee (diff) | |
download | klee-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.c | 2 |
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; } |