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[])7int 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