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