blob: 5ff85e0411c10a269ad78f6af01a6036b8bf15f4 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
// XFAIL: darwin
// RUN: %clangxx %s -emit-llvm -g %O0opt -c -o %t1.bc
// RUN: rm -rf %t.klee-out
// RUN: %klee --output-dir=%t.klee-out --libc=klee %t1.bc 2> %t1.log
// RUN: FileCheck --input-file %t1.log %s
#include <cassert>
class Test {
int x;
public:
Test() : x(13) {}
~Test() {
// CHECK: :[[@LINE+1]]: divide by zero
x = x / (x - 13);
}
};
Test t;
int main(int argc, char **argv) { return 0; }
|
