about summary refs log tree commit diff homepage
path: root/test/Feature/TargetMismatch.c
blob: aae7fda6fc825d417605c8b383abc30ee90cecf8 (plain) (blame)
1
2
3
4
5
6
7
8
9
// REQUIRES: not-darwin
// RUN: %clang %s -m32 -emit-llvm %O0opt -c -o %t1.bc
// RUN: rm -rf %t.klee-out
// RUN: %klee --output-dir=%t.klee-out --exit-on-error > %t2.out 2>&1 || true
// RUN: FileCheck %s -input-file=%t2.out

// CHECK: KLEE: WARNING: Module and host target triples do not match
// CHECK-NEXT: This may cause unexpected crashes or assertion violations.
int main(void) {}