blob: 524e257defb6c743b95d953238b763158724a64a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
// REQUIRES: not-darwin
// RUN: %clang -emit-llvm -g -c %s -o %t.bc
// RUN: rm -rf %t.klee-out
// RUN: %klee --output-dir=%t.klee-out --exit-on-error %t.bc > %t.log
#include <malloc.h>
#include <stdlib.h>
int main(int argc, char *argv[]) {
int *a = (int *)memalign(8, sizeof(int) * 5);
for (int i = 0; i < 5; ++i) {
a[i] = (i * 100) % 23;
}
free(a);
return 0;
}
|
