Sign in
fuchsia
/
third_party
/
llvm-project
/
82abd0da80c26fe9afbbd67f2a6653303ab2670f
/
.
/
klee
/
test
/
regression
/
2007-10-11-free-of-alloca.c
blob: 71a16f6b17589ee5832af03f34426d14c689d2ab [
file
] [
log
] [
blame
]
// RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t1.bc
// RUN: %klee %t1.bc
// RUN: test -f klee-last/test000001.free.err
int
main
()
{
int
buf
[
4
];
free
(
buf
);
// this should give runtime error, not crash
return
0
;
}