diff options
Diffstat (limited to 'test/Feature')
83 files changed, 88 insertions, 88 deletions
diff --git a/test/Feature/AddressOfLabels.c b/test/Feature/AddressOfLabels.c index 6d807dbb..14621dc6 100644 --- a/test/Feature/AddressOfLabels.c +++ b/test/Feature/AddressOfLabels.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -emit-llvm -g -c %s -o %t.bc +// RUN: %clang -emit-llvm -g -c %s -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t.bc > %t.log // RUN: FileCheck --input-file=%t.log %s diff --git a/test/Feature/AddressOfLabelsSymbolic.c b/test/Feature/AddressOfLabelsSymbolic.c index 2c7e39c7..0b24a42d 100644 --- a/test/Feature/AddressOfLabelsSymbolic.c +++ b/test/Feature/AddressOfLabelsSymbolic.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -emit-llvm -g -c %s -o %t.bc +// RUN: %clang -emit-llvm -g -c %s -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t.bc > %t.log 2> %t.stderr.log // RUN: FileCheck %s -check-prefix=CHECK-MSG --input-file=%t.log diff --git a/test/Feature/Alias.c b/test/Feature/Alias.c index f83652d8..29cc08d7 100644 --- a/test/Feature/Alias.c +++ b/test/Feature/Alias.c @@ -1,6 +1,6 @@ // Darwin does not have strong aliases. // REQUIRES: not-darwin -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc +// RUN: %clang %s -emit-llvm -g -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error %t1.bc diff --git a/test/Feature/AliasFunction.c b/test/Feature/AliasFunction.c index 1fd9d0e5..6a5e9174 100644 --- a/test/Feature/AliasFunction.c +++ b/test/Feature/AliasFunction.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t1.bc > %t1.log // RUN: grep -c foo %t1.log | grep 5 diff --git a/test/Feature/AliasFunctionExit.c b/test/Feature/AliasFunctionExit.c index 4f0f8359..1f863de1 100644 --- a/test/Feature/AliasFunctionExit.c +++ b/test/Feature/AliasFunctionExit.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t1.bc > %t1.log // RUN: grep -c START %t1.log | grep 1 diff --git a/test/Feature/Atomic.c b/test/Feature/Atomic.c index 8b729de7..a7a8e340 100644 --- a/test/Feature/Atomic.c +++ b/test/Feature/Atomic.c @@ -1,5 +1,5 @@ // REQUIRES: geq-llvm-3.7 -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t.bc +// RUN: %clang %s -emit-llvm -g -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error %t.bc 2>%t.log // RUN: cat %t.klee-out/assembly.ll | FileCheck %s diff --git a/test/Feature/BFSSearcher.c b/test/Feature/BFSSearcher.c index eb323c4c..57553b1d 100644 --- a/test/Feature/BFSSearcher.c +++ b/test/Feature/BFSSearcher.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc +// RUN: %clang %s -emit-llvm -g -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --max-instructions=500 --search=bfs %t1.bc 2>%t2.log // RUN: FileCheck -input-file=%t2.log %s diff --git a/test/Feature/BFSSearcherAndDFSSearcherInterleaved.c b/test/Feature/BFSSearcherAndDFSSearcherInterleaved.c index 3dd5b4d5..88d49548 100644 --- a/test/Feature/BFSSearcherAndDFSSearcherInterleaved.c +++ b/test/Feature/BFSSearcherAndDFSSearcherInterleaved.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t.bc +// RUN: %clang %s -emit-llvm -g -c -o %t.bc // RUN: rm -rf %t-bfs.klee-out // RUN: rm -rf %t-dfs.klee-out // RUN: rm -rf %t-bfs-dfs.klee-out diff --git a/test/Feature/ByteSwap.c b/test/Feature/ByteSwap.c index da764fc0..1e4ec190 100644 --- a/test/Feature/ByteSwap.c +++ b/test/Feature/ByteSwap.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --libc=klee --exit-on-error %t1.bc diff --git a/test/Feature/CallToUndefinedExternal.cpp b/test/Feature/CallToUndefinedExternal.cpp index b300d4e4..f425dbc8 100644 --- a/test/Feature/CallToUndefinedExternal.cpp +++ b/test/Feature/CallToUndefinedExternal.cpp @@ -1,4 +1,4 @@ -// RUN: %llvmgxx %s -emit-llvm -g -c -o %t1.bc +// RUN: %xxclang %s -emit-llvm -g -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t1.bc 2>&1 | FileCheck %s // RUN: test -f %t.klee-out/test000001.external.err diff --git a/test/Feature/CheckMemoryAccess.c b/test/Feature/CheckMemoryAccess.c index 5347ac3d..a9e0e6b5 100644 --- a/test/Feature/CheckMemoryAccess.c +++ b/test/Feature/CheckMemoryAccess.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -emit-llvm -g -c %s -o %t.bc +// RUN: %clang -emit-llvm -g -c %s -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t.bc > %t.log // RUN: grep -q "good" %t.log diff --git a/test/Feature/CompressedExprLogging.c b/test/Feature/CompressedExprLogging.c index 30f8ad3c..87c8b8b0 100644 --- a/test/Feature/CompressedExprLogging.c +++ b/test/Feature/CompressedExprLogging.c @@ -1,5 +1,5 @@ // REQUIRES: zlib -// RUN: %llvmgcc %s -emit-llvm -g %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm -g %O0opt -c -o %t1.bc // We disable the cex-cache to eliminate nondeterminism across different // solvers, in particular when counting the number of queries in the last two // commands diff --git a/test/Feature/CopyOnWrite.c b/test/Feature/CopyOnWrite.c index 2445d2b8..9d443bf6 100644 --- a/test/Feature/CopyOnWrite.c +++ b/test/Feature/CopyOnWrite.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc +// RUN: %clang %s -emit-llvm -g -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --search=random-state --exit-on-error %t1.bc diff --git a/test/Feature/DanglingConcreteReadExpr.c b/test/Feature/DanglingConcreteReadExpr.c index d904fd98..ba7c7bc5 100644 --- a/test/Feature/DanglingConcreteReadExpr.c +++ b/test/Feature/DanglingConcreteReadExpr.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --optimize=false --output-dir=%t.klee-out %t1.bc // RUN: grep "total queries = 2" %t.klee-out/info diff --git a/test/Feature/DefineFixedObject.c b/test/Feature/DefineFixedObject.c index 2e601553..6e7efb14 100644 --- a/test/Feature/DefineFixedObject.c +++ b/test/Feature/DefineFixedObject.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -emit-llvm -c -o %t1.bc %s +// RUN: %clang -emit-llvm -c -o %t1.bc %s // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error %t1.bc diff --git a/test/Feature/DeterministicSwitch.c b/test/Feature/DeterministicSwitch.c index 462c4326..0edfd869 100644 --- a/test/Feature/DeterministicSwitch.c +++ b/test/Feature/DeterministicSwitch.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t.bc +// RUN: %clang %s -emit-llvm -g -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee -debug-print-instructions=all:stderr --output-dir=%t.klee-out --switch-type=internal --search=dfs %t.bc >%t.switch.log 2>&1 // RUN: FileCheck %s -input-file=%t.switch.log -check-prefix=CHECK-DFS diff --git a/test/Feature/DivCheck.c b/test/Feature/DivCheck.c index 219648a9..eca8fc7f 100644 --- a/test/Feature/DivCheck.c +++ b/test/Feature/DivCheck.c @@ -3,7 +3,7 @@ // * optimized code will have this check inlined // In both cases, the `div` instruction should have been marked with meta-data: klee.check.div // -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t.bc +// RUN: %clang %s -emit-llvm -g -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --check-div-zero=true %t.bc >%t.div_enabled.log // RUN: FileCheck %s -input-file=%t.klee-out/assembly.ll -check-prefix=DIV-ENABLED @@ -11,7 +11,7 @@ // RUN: %klee --output-dir=%t.klee-out --check-div-zero=true --optimize %t.bc >%t.div_enabled.log // RUN: FileCheck %s -input-file=%t.klee-out/assembly.ll -check-prefix=DIV-ENABLED-OPT // Without debug information -// RUN: %llvmgcc %s -emit-llvm -c -o %t.bc +// RUN: %clang %s -emit-llvm -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --check-div-zero=true %t.bc >%t.div_enabled.log // RUN: FileCheck %s -input-file=%t.klee-out/assembly.ll -check-prefix=DIV-ENABLED diff --git a/test/Feature/DoubleFree.c b/test/Feature/DoubleFree.c index 3dbe4b24..96cf9bcd 100644 --- a/test/Feature/DoubleFree.c +++ b/test/Feature/DoubleFree.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t1.bc 2>&1 | FileCheck %s // RUN: test -f %t.klee-out/test000001.ptr.err diff --git a/test/Feature/DumpStatesOnHalt.c b/test/Feature/DumpStatesOnHalt.c index f154fc82..3c4c4a1d 100644 --- a/test/Feature/DumpStatesOnHalt.c +++ b/test/Feature/DumpStatesOnHalt.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -g -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -g -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --max-instructions=1 --dump-states-on-halt=true %t1.bc 2>&1 | FileCheck %s // RUN: test -f %t.klee-out/test000001.ktest diff --git a/test/Feature/EntryPoint.c b/test/Feature/EntryPoint.c index 2b6a2c70..82659733 100644 --- a/test/Feature/EntryPoint.c +++ b/test/Feature/EntryPoint.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -emit-llvm -g -c %s -o %t.bc +// RUN: %clang -emit-llvm -g -c %s -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --entry-point=other_main %t.bc > %t.log // RUN: grep "Hello World" %t.log diff --git a/test/Feature/Envp.c b/test/Feature/Envp.c index ff4e2098..62c91325 100644 --- a/test/Feature/Envp.c +++ b/test/Feature/Envp.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc +// RUN: %clang %s -emit-llvm -g -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error %t1.bc diff --git a/test/Feature/EscapingFunctions.c b/test/Feature/EscapingFunctions.c index f5791d76..2b03febb 100644 --- a/test/Feature/EscapingFunctions.c +++ b/test/Feature/EscapingFunctions.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -emit-llvm %O0opt -g -c %s -o %t.bc +// RUN: %clang -emit-llvm %O0opt -g -c %s -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee -debug-print-escaping-functions --output-dir=%t.klee-out %t.bc 2> %t.log // RUN: FileCheck --input-file=%t.log %s diff --git a/test/Feature/EscapingFunctionsAlias.c b/test/Feature/EscapingFunctionsAlias.c index f5e0fb11..5012ba74 100644 --- a/test/Feature/EscapingFunctionsAlias.c +++ b/test/Feature/EscapingFunctionsAlias.c @@ -1,6 +1,6 @@ // Darwin does not support strong aliases. // REQUIRES: not-darwin -// RUN: %llvmgcc -emit-llvm %O0opt -g -c %s -o %t.bc +// RUN: %clang -emit-llvm %O0opt -g -c %s -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee -debug-print-escaping-functions --output-dir=%t.klee-out %t.bc 2> %t.log // RUN: FileCheck --input-file=%t.log %s diff --git a/test/Feature/ExitOnErrorType.c b/test/Feature/ExitOnErrorType.c index 0cbde8aa..b1a55466 100644 --- a/test/Feature/ExitOnErrorType.c +++ b/test/Feature/ExitOnErrorType.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -g -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -g -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out -exit-on-error-type Assert %t1.bc 2>&1 diff --git a/test/Feature/ExprLogging.c b/test/Feature/ExprLogging.c index 142c4167..70aaa49b 100644 --- a/test/Feature/ExprLogging.c +++ b/test/Feature/ExprLogging.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm -g %O0opt -c -o %t1.bc // We disable the cex-cache to eliminate nondeterminism across different solvers, in particular when counting the number of queries in the last two commands // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --use-cex-cache=false --use-query-log=all:kquery,all:smt2,solver:kquery,solver:smt2 --write-kqueries --write-cvcs --write-smt2s %t1.bc 2> %t2.log diff --git a/test/Feature/ExternalWeakLinkage.c b/test/Feature/ExternalWeakLinkage.c index fd70884a..f445b672 100644 --- a/test/Feature/ExternalWeakLinkage.c +++ b/test/Feature/ExternalWeakLinkage.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc +// RUN: %clang %s -emit-llvm -g -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error %t1.bc diff --git a/test/Feature/Float.c b/test/Feature/Float.c index dce082c6..ad9325d1 100644 --- a/test/Feature/Float.c +++ b/test/Feature/Float.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -emit-llvm -g -c %s -o %t.bc +// RUN: %clang -emit-llvm -g -c %s -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t.bc > %t.log // RUN: grep "3.30* -1.10* 2.420*" %t.log diff --git a/test/Feature/FloatingPt.c b/test/Feature/FloatingPt.c index e6e695ca..8818e411 100644 --- a/test/Feature/FloatingPt.c +++ b/test/Feature/FloatingPt.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error %t1.bc diff --git a/test/Feature/FunctionPointer.c b/test/Feature/FunctionPointer.c index cda35b11..e1acaa91 100644 --- a/test/Feature/FunctionPointer.c +++ b/test/Feature/FunctionPointer.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc +// RUN: %clang %s -emit-llvm -g -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --no-output --exit-on-error %t1.bc diff --git a/test/Feature/GetValue.c b/test/Feature/GetValue.c index 828c8934..d2b046f4 100644 --- a/test/Feature/GetValue.c +++ b/test/Feature/GetValue.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -emit-llvm -c -o %t1.bc %s +// RUN: %clang -emit-llvm -c -o %t1.bc %s // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error %t1.bc diff --git a/test/Feature/InAndOutOfBounds.c b/test/Feature/InAndOutOfBounds.c index 3c6fe37e..39ed8322 100644 --- a/test/Feature/InAndOutOfBounds.c +++ b/test/Feature/InAndOutOfBounds.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -g -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -g -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t1.bc 2>&1 | FileCheck %s // RUN: test -f %t.klee-out/test000001.ptr.err -o -f %t.klee-out/test000002.ptr.err diff --git a/test/Feature/IndirectCallToBuiltin.c b/test/Feature/IndirectCallToBuiltin.c index 8c78dba5..2ffdb81f 100644 --- a/test/Feature/IndirectCallToBuiltin.c +++ b/test/Feature/IndirectCallToBuiltin.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc +// RUN: %clang %s -emit-llvm -g -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t1.bc diff --git a/test/Feature/IndirectCallToExternal.c b/test/Feature/IndirectCallToExternal.c index 58eb2575..03447c7d 100644 --- a/test/Feature/IndirectCallToExternal.c +++ b/test/Feature/IndirectCallToExternal.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc +// RUN: %clang %s -emit-llvm -g -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t1.bc diff --git a/test/Feature/IsSymbolic.c b/test/Feature/IsSymbolic.c index 8e39b99f..033d9d6a 100644 --- a/test/Feature/IsSymbolic.c +++ b/test/Feature/IsSymbolic.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t1.bc diff --git a/test/Feature/KleeReportError.c b/test/Feature/KleeReportError.c index b8347254..f406696f 100644 --- a/test/Feature/KleeReportError.c +++ b/test/Feature/KleeReportError.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -g -emit-llvm %O0opt -c -o %t2.bc +// RUN: %clang %s -g -emit-llvm %O0opt -c -o %t2.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --emit-all-errors %t2.bc 2>&1 | FileCheck %s // RUN: ls %t.klee-out/ | grep .my.err | wc -l | grep 2 diff --git a/test/Feature/LargeReturnTypes.cpp b/test/Feature/LargeReturnTypes.cpp index 92be31c2..66038383 100644 --- a/test/Feature/LargeReturnTypes.cpp +++ b/test/Feature/LargeReturnTypes.cpp @@ -1,5 +1,5 @@ // REQUIRES: not-darwin -// RUN: %llvmgxx -g -fno-exceptions -emit-llvm %O0opt -c -o %t.bc %s +// RUN: %xxclang -g -fno-exceptions -emit-llvm %O0opt -c -o %t.bc %s // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --libc=klee --no-output --exit-on-error %t.bc > %t.log diff --git a/test/Feature/LinkLLVMLib.c b/test/Feature/LinkLLVMLib.c index 1ad0fd38..ddcc6023 100644 --- a/test/Feature/LinkLLVMLib.c +++ b/test/Feature/LinkLLVMLib.c @@ -1,7 +1,7 @@ -// RUN: %llvmgcc %s -g -emit-llvm %O0opt -c -o %t1.bc -DLINK_LLVM_LIB_TEST_LIB +// RUN: %clang %s -g -emit-llvm %O0opt -c -o %t1.bc -DLINK_LLVM_LIB_TEST_LIB // RUN: %llvmar r %t1.a %t1.bc // -// RUN: %llvmgcc %s -g -emit-llvm %O0opt -c -o %t2.bc -DLINK_LLVM_LIB_TEST_EXEC +// RUN: %clang %s -g -emit-llvm %O0opt -c -o %t2.bc -DLINK_LLVM_LIB_TEST_EXEC // RUN: rm -rf %t.klee-out // RUN: %klee --link-llvm-lib %t1.a --output-dir=%t.klee-out --emit-all-errors --warnings-only-to-file=false %t2.bc 2>&1 | FileCheck %s diff --git a/test/Feature/LoggingInstructions.c b/test/Feature/LoggingInstructions.c index 049aa9da..9303c3e9 100644 --- a/test/Feature/LoggingInstructions.c +++ b/test/Feature/LoggingInstructions.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t2.bc +// RUN: %clang %s -emit-llvm -g -c -o %t2.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error --debug-print-instructions=all:stderr %t2.bc 2>%t3.txt // RUN: FileCheck -input-file=%t3.txt -check-prefix=CHECK-FILE-SRC %s diff --git a/test/Feature/LongDouble.c b/test/Feature/LongDouble.c index 19f9360a..364f0a9d 100644 --- a/test/Feature/LongDouble.c +++ b/test/Feature/LongDouble.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -g -emit-llvm %O0opt -c -o %t.bc %s +// RUN: %clang -g -emit-llvm %O0opt -c -o %t.bc %s // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --libc=klee --no-output --exit-on-error %t.bc > %t.log // RUN: FileCheck %s --input-file=%t.log diff --git a/test/Feature/LongDoubleSupport.c b/test/Feature/LongDoubleSupport.c index acde2d8e..4f7d10ee 100644 --- a/test/Feature/LongDoubleSupport.c +++ b/test/Feature/LongDoubleSupport.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --optimize=0 --exit-on-error %t1.bc > %t2.out diff --git a/test/Feature/LowerSwitch.c b/test/Feature/LowerSwitch.c index faa82365..a1bd3f38 100644 --- a/test/Feature/LowerSwitch.c +++ b/test/Feature/LowerSwitch.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t.bc +// RUN: %clang %s -emit-llvm -g -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error --external-calls=all --switch-type=internal %t.bc // RUN: not test -f %t.klee-out/test000010.ktest diff --git a/test/Feature/MakeConcreteSymbolic.c b/test/Feature/MakeConcreteSymbolic.c index 26f95a93..28e5ac2d 100644 --- a/test/Feature/MakeConcreteSymbolic.c +++ b/test/Feature/MakeConcreteSymbolic.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc +// RUN: %clang %s -emit-llvm -g -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --optimize=false --output-dir=%t.klee-out --exit-on-error %t1.bc // RUN: grep "done: total queries = 0" %t.klee-out/info diff --git a/test/Feature/MakeSymbolicAPI.c b/test/Feature/MakeSymbolicAPI.c index fe901fc1..b10ea9cf 100644 --- a/test/Feature/MakeSymbolicAPI.c +++ b/test/Feature/MakeSymbolicAPI.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc +// RUN: %clang %s -emit-llvm -g -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t1.bc 2> %t.stderr.log // RUN: FileCheck %s -check-prefix=CHECK-WRN --input-file=%t.klee-out/warnings.txt diff --git a/test/Feature/MakeSymbolicName.c b/test/Feature/MakeSymbolicName.c index fef731ab..a57d9a84 100644 --- a/test/Feature/MakeSymbolicName.c +++ b/test/Feature/MakeSymbolicName.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc +// RUN: %clang %s -emit-llvm -g -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --search=random-state --exit-on-error %t1.bc diff --git a/test/Feature/Memalign.c b/test/Feature/Memalign.c index e2ce8de0..e5d09f6c 100644 --- a/test/Feature/Memalign.c +++ b/test/Feature/Memalign.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -emit-llvm -g -c %s -o %t.bc +// RUN: %clang -emit-llvm -g -c %s -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error %t.bc > %t.log diff --git a/test/Feature/MemoryLimit.c b/test/Feature/MemoryLimit.c index ce4bc00f..d1139aed 100644 --- a/test/Feature/MemoryLimit.c +++ b/test/Feature/MemoryLimit.c @@ -2,14 +2,14 @@ // small and large allocations (large allocations commonly use mmap(), which can // follow a separate path in the allocator and statistics reporting). -// RUN: %llvmgcc -emit-llvm -DLITTLE_ALLOC -g -c %s -o %t.little.bc +// RUN: %clang -emit-llvm -DLITTLE_ALLOC -g -c %s -o %t.little.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --max-memory=20 %t.little.bc > %t.little.log // RUN: not grep -q "MALLOC FAILED" %t.little.log // RUN: not grep -q "DONE" %t.little.log // RUN: grep "WARNING: killing 1 states (over memory cap)" %t.klee-out/warnings.txt -// RUN: %llvmgcc -emit-llvm -g -c %s -o %t.big.bc +// RUN: %clang -emit-llvm -g -c %s -o %t.big.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --max-memory=20 %t.big.bc > %t.big.log 2> %t.big.err // RUN: not grep -q "MALLOC FAILED" %t.big.log diff --git a/test/Feature/MultiMkSym.c b/test/Feature/MultiMkSym.c index fde864d7..16ac7d1b 100644 --- a/test/Feature/MultiMkSym.c +++ b/test/Feature/MultiMkSym.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -I../../../include -emit-llvm -g -c %s -o %t.bc +// RUN: %clang -I../../../include -emit-llvm -g -c %s -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --write-kqueries %t.bc > %t.log // RUN: cat %t.klee-out/test000001.kquery %t.klee-out/test000002.kquery %t.klee-out/test000003.kquery %t.klee-out/test000004.kquery > %t1 diff --git a/test/Feature/MultipleFreeResolution.c b/test/Feature/MultipleFreeResolution.c index 540324a5..aa931c13 100644 --- a/test/Feature/MultipleFreeResolution.c +++ b/test/Feature/MultipleFreeResolution.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -g -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -g -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --emit-all-errors %t1.bc 2>&1 | FileCheck %s // RUN: ls %t.klee-out/ | grep .ktest | wc -l | grep 4 diff --git a/test/Feature/MultipleReadResolution.c b/test/Feature/MultipleReadResolution.c index 6226d64a..8701d068 100644 --- a/test/Feature/MultipleReadResolution.c +++ b/test/Feature/MultipleReadResolution.c @@ -2,7 +2,7 @@ // RUN: echo "x" >> %t1.res // RUN: echo "x" >> %t1.res // RUN: echo "x" >> %t1.res -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t1.bc > %t1.log // RUN: diff %t1.res %t1.log diff --git a/test/Feature/MultipleReallocResolution.c b/test/Feature/MultipleReallocResolution.c index 4db6be9f..84dd15e2 100644 --- a/test/Feature/MultipleReallocResolution.c +++ b/test/Feature/MultipleReallocResolution.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t1.bc // RUN: ls %t.klee-out/ | grep .err | wc -l | grep 2 diff --git a/test/Feature/MultipleWriteResolution.c b/test/Feature/MultipleWriteResolution.c index 22dd9730..89296c11 100644 --- a/test/Feature/MultipleWriteResolution.c +++ b/test/Feature/MultipleWriteResolution.c @@ -2,7 +2,7 @@ // RUN: echo "x" >> %t1.res // RUN: echo "x" >> %t1.res // RUN: echo "x" >> %t1.res -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t1.bc > %t1.log // RUN: diff %t1.res %t1.log diff --git a/test/Feature/NamedSeedMatching.c b/test/Feature/NamedSeedMatching.c index 6599d269..85c96b74 100644 --- a/test/Feature/NamedSeedMatching.c +++ b/test/Feature/NamedSeedMatching.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -emit-llvm -c -g %s -o %t.bc +// RUN: %clang -emit-llvm -c -g %s -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t.bc "initial" // RUN: test -f %t.klee-out/test000001.ktest diff --git a/test/Feature/NoExternalCallsAllowed.c b/test/Feature/NoExternalCallsAllowed.c index a0886121..8a8dc54b 100644 --- a/test/Feature/NoExternalCallsAllowed.c +++ b/test/Feature/NoExternalCallsAllowed.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -g -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -g -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --external-calls=none %t1.bc 2>&1 | FileCheck %s // RUN: test %t.klee-out/test000001.user.err diff --git a/test/Feature/NonSizedGlobals.c b/test/Feature/NonSizedGlobals.c index b98f7bf1..ddef4da6 100644 --- a/test/Feature/NonSizedGlobals.c +++ b/test/Feature/NonSizedGlobals.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc +// RUN: %clang %s -emit-llvm -g -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error %t1.bc diff --git a/test/Feature/OneFreeError.c b/test/Feature/OneFreeError.c index e68f333f..7eed722a 100644 --- a/test/Feature/OneFreeError.c +++ b/test/Feature/OneFreeError.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -g -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -g -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t1.bc 2>&1 | FileCheck %s // RUN: test -f %t.klee-out/test000001.ptr.err diff --git a/test/Feature/OneOutOfBounds.c b/test/Feature/OneOutOfBounds.c index 01fa0f92..a3e6db1f 100644 --- a/test/Feature/OneOutOfBounds.c +++ b/test/Feature/OneOutOfBounds.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -g -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -g -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t1.bc 2>&1 | FileCheck %s // RUN: test -f %t.klee-out/test000001.ptr.err diff --git a/test/Feature/Optimize.c b/test/Feature/Optimize.c index 326e4912..e14be96d 100644 --- a/test/Feature/Optimize.c +++ b/test/Feature/Optimize.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t2.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t2.bc // RUN: rm -f %t2.log // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --max-instructions=100 --optimize %t2.bc > %t3.log diff --git a/test/Feature/OverlappedError.c b/test/Feature/OverlappedError.c index d02d2229..e6d36b75 100644 --- a/test/Feature/OverlappedError.c +++ b/test/Feature/OverlappedError.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -g -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -g -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t1.bc // RUN: ls %t.klee-out/ | grep .ktest | wc -l | grep 4 diff --git a/test/Feature/OvershiftCheck.c b/test/Feature/OvershiftCheck.c index 0a5cfc3b..cd2295c5 100644 --- a/test/Feature/OvershiftCheck.c +++ b/test/Feature/OvershiftCheck.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g %O0opt -c -o %t.bc +// RUN: %clang %s -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out -check-overshift %t.bc 2> %t.log // RUN: FileCheck --input-file %t.log %s diff --git a/test/Feature/PreferCex.c b/test/Feature/PreferCex.c index 8d88a3ce..2d424206 100644 --- a/test/Feature/PreferCex.c +++ b/test/Feature/PreferCex.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error %t1.bc // RUN: ktest-tool %t.klee-out/test000001.ktest | FileCheck %s diff --git a/test/Feature/RaiseAsm.c b/test/Feature/RaiseAsm.c index fb30ea5d..842d9f3d 100644 --- a/test/Feature/RaiseAsm.c +++ b/test/Feature/RaiseAsm.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error %t1.bc diff --git a/test/Feature/Realloc.c b/test/Feature/Realloc.c index 4f075e5e..4014d60a 100644 --- a/test/Feature/Realloc.c +++ b/test/Feature/Realloc.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error --warnings-only-to-file=false %t1.bc 2>&1 | FileCheck %s diff --git a/test/Feature/ReplayPath.c b/test/Feature/ReplayPath.c index 558b0d3c..f77656f8 100644 --- a/test/Feature/ReplayPath.c +++ b/test/Feature/ReplayPath.c @@ -1,8 +1,8 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -DCOND_EXIT -c -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -DCOND_EXIT -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --write-paths %t1.bc > %t3.good -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t2.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t2.bc // RUN: rm -rf %t.klee-out-2 // RUN: %klee --output-dir=%t.klee-out-2 --replay-path %t.klee-out/test000001.path %t2.bc > %t3.log // RUN: diff %t3.log %t3.good diff --git a/test/Feature/RewriteEqualities.c b/test/Feature/RewriteEqualities.c index 5384c5c8..ee77f3e1 100644 --- a/test/Feature/RewriteEqualities.c +++ b/test/Feature/RewriteEqualities.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --search=dfs --write-kqueries --rewrite-equalities=false %t.bc // RUN: grep "N0:(Read w8 2 x)" %t.klee-out/test000003.kquery diff --git a/test/Feature/Searchers.c b/test/Feature/Searchers.c index efc2f376..cd806950 100644 --- a/test/Feature/Searchers.c +++ b/test/Feature/Searchers.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t2.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t2.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t2.bc // RUN: rm -rf %t.klee-out diff --git a/test/Feature/SetForking.c b/test/Feature/SetForking.c index 60799a0d..b739910d 100644 --- a/test/Feature/SetForking.c +++ b/test/Feature/SetForking.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -emit-llvm -g -c %s -o %t.bc +// RUN: %clang -emit-llvm -g -c %s -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t.bc > %t.log // RUN: sort %t.log | uniq -c > %t.uniq.log diff --git a/test/Feature/ShiftCheck.c b/test/Feature/ShiftCheck.c index 326eadb2..686f9511 100644 --- a/test/Feature/ShiftCheck.c +++ b/test/Feature/ShiftCheck.c @@ -3,7 +3,7 @@ // * optimized code will have this check inlined // In both cases, the `ashr` instruction should have been marked with meta-data: klee.check.shift // -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t.bc +// RUN: %clang %s -emit-llvm -g -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --check-overshift=true %t.bc >%t.shift_enabled.log // RUN: FileCheck %s -input-file=%t.klee-out/assembly.ll -check-prefix=SHIFT-ENABLED @@ -11,7 +11,7 @@ // RUN: %klee --output-dir=%t.klee-out --check-overshift=true --optimize %t.bc >%t.shift_enabled.log // RUN: FileCheck %s -input-file=%t.klee-out/assembly.ll -check-prefix=SHIFT-ENABLED-OPT // Same test without debug information -// RUN: %llvmgcc %s -emit-llvm -c -o %t.bc +// RUN: %clang %s -emit-llvm -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --check-overshift=true %t.bc >%t.shift_enabled.log // RUN: FileCheck %s -input-file=%t.klee-out/assembly.ll -check-prefix=SHIFT-ENABLED diff --git a/test/Feature/SilentKleeAssume.c b/test/Feature/SilentKleeAssume.c index 59002f15..b9229d2e 100644 --- a/test/Feature/SilentKleeAssume.c +++ b/test/Feature/SilentKleeAssume.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -emit-llvm -g -c -o %t.bc %s +// RUN: %clang -emit-llvm -g -c -o %t.bc %s // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error --silent-klee-assume %t.bc > %t.silent-klee-assume.log 2>&1 // RUN: FileCheck -input-file=%t.silent-klee-assume.log -check-prefix=CHECK-SILENT-KLEE-ASSUME %s diff --git a/test/Feature/SolverTimeout.c b/test/Feature/SolverTimeout.c index a2faf08a..65cc1d9b 100644 --- a/test/Feature/SolverTimeout.c +++ b/test/Feature/SolverTimeout.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --max-solver-time=1 %t1.bc // FIXME: This test occasionally fails when using Z3 4.4.1 but diff --git a/test/Feature/SourceMapping.c b/test/Feature/SourceMapping.c index aa849c5f..30a9c2a8 100644 --- a/test/Feature/SourceMapping.c +++ b/test/Feature/SourceMapping.c @@ -1,7 +1,7 @@ // Check that we properly associate instruction level statistics with source // file and line. // -// RUN: %llvmgcc %s -emit-llvm -g %O0opt -c -o %t1.bc +// RUN: %clang %s -emit-llvm -g %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error %t1.bc // RUN: FileCheck < %t.klee-out/run.istats %s diff --git a/test/Feature/StackOverflow.c b/test/Feature/StackOverflow.c index 837d3db8..ebe60db2 100644 --- a/test/Feature/StackOverflow.c +++ b/test/Feature/StackOverflow.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -emit-llvm -g -c -o %t.bc %s +// RUN: %clang -emit-llvm -g -c -o %t.bc %s // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t.bc > %t.output.log 2>&1 // RUN: FileCheck -input-file=%t.output.log %s diff --git a/test/Feature/VarArgLongDouble.c b/test/Feature/VarArgLongDouble.c index 63ba85c8..7452b908 100644 --- a/test/Feature/VarArgLongDouble.c +++ b/test/Feature/VarArgLongDouble.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t.bc | FileCheck %s diff --git a/test/Feature/Vararg.c b/test/Feature/Vararg.c index 239ec9a3..198da4fc 100644 --- a/test/Feature/Vararg.c +++ b/test/Feature/Vararg.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -g -o %t1.bc +// RUN: %clang %s -emit-llvm %O0opt -c -g -o %t1.bc // RUN: rm -rf %t.klee-out // This test needs deterministic allocation with enough spacing between the allocations. // Otherwise, if by coincidence the allocated vararg memory object is directly before another valid memory object, diff --git a/test/Feature/WithLibc.c b/test/Feature/WithLibc.c index 8c07041d..bb1c66c0 100644 --- a/test/Feature/WithLibc.c +++ b/test/Feature/WithLibc.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t2.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t2.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --libc=klee %t2.bc > %t3.log // RUN: echo "good" > %t3.good diff --git a/test/Feature/WriteCov.c b/test/Feature/WriteCov.c index 3ecce3fc..304198c5 100644 --- a/test/Feature/WriteCov.c +++ b/test/Feature/WriteCov.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t2.bc +// RUN: %clang %s -emit-llvm -g -c -o %t2.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error --write-cov %t2.bc // RUN: grep -c WriteCov.c:16 %t.klee-out/test000001.cov %t.klee-out/test000002.cov >%t3.txt diff --git a/test/Feature/arithmetic-right-overshift-sym-conc.c b/test/Feature/arithmetic-right-overshift-sym-conc.c index 4a0bc36f..c58f13a1 100644 --- a/test/Feature/arithmetic-right-overshift-sym-conc.c +++ b/test/Feature/arithmetic-right-overshift-sym-conc.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g %O0opt -c -o %t.bc +// RUN: %clang %s -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out -use-cex-cache=1 -check-overshift=0 %t.bc // RUN: not grep "ASSERTION FAIL" %t.klee-out/messages.txt diff --git a/test/Feature/consecutive_divide_by_zero.c b/test/Feature/consecutive_divide_by_zero.c index b44572aa..c2f5e152 100644 --- a/test/Feature/consecutive_divide_by_zero.c +++ b/test/Feature/consecutive_divide_by_zero.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -emit-llvm -c -g %O0opt %s -o %t.bc +// RUN: %clang -emit-llvm -c -g %O0opt %s -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out -check-div-zero -emit-all-errors=0 %t.bc 2> %t.log // RUN: FileCheck --input-file=%t.log %s diff --git a/test/Feature/const_array_opt1.c b/test/Feature/const_array_opt1.c index b466e56c..f633e659 100644 --- a/test/Feature/const_array_opt1.c +++ b/test/Feature/const_array_opt1.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t.bc +// RUN: %clang %s -emit-llvm %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --const-array-opt --max-time=10 --only-output-states-covering-new %t.bc >%t.log // grep -q "Finished successfully!\n" diff --git a/test/Feature/left-overshift-sym-conc.c b/test/Feature/left-overshift-sym-conc.c index 05b89c68..0320334f 100644 --- a/test/Feature/left-overshift-sym-conc.c +++ b/test/Feature/left-overshift-sym-conc.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g %O0opt -c -o %t.bc +// RUN: %clang %s -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out -use-cex-cache=1 -check-overshift=0 %t.bc // RUN: not grep "ASSERTION FAIL" %t.klee-out/messages.txt diff --git a/test/Feature/logical-right-overshift-sym-conc.c b/test/Feature/logical-right-overshift-sym-conc.c index b499cce6..06bae156 100644 --- a/test/Feature/logical-right-overshift-sym-conc.c +++ b/test/Feature/logical-right-overshift-sym-conc.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g %O0opt -c -o %t.bc +// RUN: %clang %s -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out -use-cex-cache=1 -check-overshift=0 %t.bc // RUN: not grep "ASSERTION FAIL" %t.klee-out/messages.txt diff --git a/test/Feature/srem.c b/test/Feature/srem.c index 4c331dd0..0684ec96 100644 --- a/test/Feature/srem.c +++ b/test/Feature/srem.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g %O0opt -c -o %t.bc +// RUN: %clang %s -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out -use-cex-cache=1 %t.bc // RUN: grep "KLEE: done: explored paths = 5" %t.klee-out/info diff --git a/test/Feature/ubsan_signed_overflow.c b/test/Feature/ubsan_signed_overflow.c index f4636c33..ced2ca06 100644 --- a/test/Feature/ubsan_signed_overflow.c +++ b/test/Feature/ubsan_signed_overflow.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -fsanitize=signed-integer-overflow -emit-llvm -g %O0opt -c -o %t.bc +// RUN: %clang %s -fsanitize=signed-integer-overflow -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t.bc 2>&1 | FileCheck %s diff --git a/test/Feature/ubsan_unsigned_overflow.c b/test/Feature/ubsan_unsigned_overflow.c index 4c783b4c..2734f868 100644 --- a/test/Feature/ubsan_unsigned_overflow.c +++ b/test/Feature/ubsan_unsigned_overflow.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -fsanitize=unsigned-integer-overflow -emit-llvm -g %O0opt -c -o %t.bc +// RUN: %clang %s -fsanitize=unsigned-integer-overflow -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t.bc 2>&1 | FileCheck %s |