2007-08-08-free-zero.c « regression « test - ~cnx/klee - KLEE fork for patch differentiation testing

about summary refs log tree commit diff homepage

path: root/test/regression/2007-08-08-free-zero.c

blob: 964889a1390a2753da2addfa30ecd64bb5a14e1a (plain) (blame)

// RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t1.bc
// RUN: %klee %t1.bc
// RUN: ls klee-last | not grep *.err

int main() {
  free(0);
  return 0;
}