diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-07 09:53:03 +0000 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-07 12:02:13 +0000 |
commit | 77c1bfbb3b4d88dfcf92b77791fe170899d84b85 (patch) | |
tree | 43035866b8a18011f7d40889c6781d61fc09cd30 /test/Runtime/POSIX | |
parent | d8f820dc2521064f68c124621f30e4e0fdd0bcc0 (diff) | |
download | klee-77c1bfbb3b4d88dfcf92b77791fe170899d84b85.tar.gz |
Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.
Diffstat (limited to 'test/Runtime/POSIX')
26 files changed, 28 insertions, 28 deletions
diff --git a/test/Runtime/POSIX/CanonicalizeFileName.c b/test/Runtime/POSIX/CanonicalizeFileName.c index 8bba33d1..7f238c41 100644 --- a/test/Runtime/POSIX/CanonicalizeFileName.c +++ b/test/Runtime/POSIX/CanonicalizeFileName.c @@ -1,5 +1,5 @@ // REQUIRES: not-darwin -// RUN: %llvmgcc %s -Wall -emit-llvm -g %O0opt -c -o %t.bc +// RUN: %clang %s -Wall -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --libc=uclibc --posix-runtime --exit-on-error %t.bc diff --git a/test/Runtime/POSIX/DirConsistency.c b/test/Runtime/POSIX/DirConsistency.c index 7b1d4a74..fa5c5314 100644 --- a/test/Runtime/POSIX/DirConsistency.c +++ b/test/Runtime/POSIX/DirConsistency.c @@ -1,8 +1,8 @@ -// 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 %t.klee-out-tmp // RUN: %gentmp %t.klee-out-tmp // RUN: %klee --output-dir=%t.klee-out --run-in-dir=%t.klee-out-tmp --search=random-state --libc=uclibc --posix-runtime --exit-on-error %t.bc --sym-files 1 1 > %t1.log -// RUN: %llvmgcc -D_FILE_OFFSET_BITS=64 %s -emit-llvm %O0opt -c -o %t.bc +// RUN: %clang -D_FILE_OFFSET_BITS=64 %s -emit-llvm %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out %t.klee-out-tmp // RUN: %gentmp %t.klee-out-tmp // RUN: %klee --output-dir=%t.klee-out --run-in-dir=%t.klee-out-tmp --search=random-state --libc=uclibc --posix-runtime --exit-on-error %t.bc --sym-files 1 1 > %t2.log diff --git a/test/Runtime/POSIX/DirSeek.c b/test/Runtime/POSIX/DirSeek.c index e7be5503..972d54e2 100644 --- a/test/Runtime/POSIX/DirSeek.c +++ b/test/Runtime/POSIX/DirSeek.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -c -g -o %t2.bc +// RUN: %clang %s -emit-llvm %O0opt -c -g -o %t2.bc // RUN: rm -rf %t.klee-out %t.klee-out-tmp // RUN: %gentmp %t.klee-out-tmp // RUN: %klee --output-dir=%t.klee-out --run-in-dir=%t.klee-out-tmp --libc=uclibc --posix-runtime --exit-on-error %t2.bc --sym-files 2 2 diff --git a/test/Runtime/POSIX/FDNumbers.c b/test/Runtime/POSIX/FDNumbers.c index dc5e1734..42f0f5ae 100644 --- a/test/Runtime/POSIX/FDNumbers.c +++ b/test/Runtime/POSIX/FDNumbers.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 --posix-runtime --exit-on-error %t2.bc --sym-files 1 10 diff --git a/test/Runtime/POSIX/FD_Fail.c b/test/Runtime/POSIX/FD_Fail.c index 74f94bf6..8d205859 100644 --- a/test/Runtime/POSIX/FD_Fail.c +++ b/test/Runtime/POSIX/FD_Fail.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=uclibc --posix-runtime %t1.bc --max-fail 1 | FileCheck %s diff --git a/test/Runtime/POSIX/FD_Fail2.c b/test/Runtime/POSIX/FD_Fail2.c index 8fef1eda..78845b1d 100644 --- a/test/Runtime/POSIX/FD_Fail2.c +++ b/test/Runtime/POSIX/FD_Fail2.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=uclibc --posix-runtime --search=dfs %t1.bc --sym-files 1 10 --max-fail 2 // diff --git a/test/Runtime/POSIX/Fcntl.c b/test/Runtime/POSIX/Fcntl.c index e7a4cc4f..41aeb326 100644 --- a/test/Runtime/POSIX/Fcntl.c +++ b/test/Runtime/POSIX/Fcntl.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 --posix-runtime --exit-on-error %t2.bc --sym-files 1 10 diff --git a/test/Runtime/POSIX/FilePerm.c b/test/Runtime/POSIX/FilePerm.c index 2a18037f..418e3717 100644 --- a/test/Runtime/POSIX/FilePerm.c +++ b/test/Runtime/POSIX/FilePerm.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 --posix-runtime %t.bc --sym-files 1 10 --sym-stdout 2>%t.log // RUN: test -f %t.klee-out/test000001.ktest diff --git a/test/Runtime/POSIX/FileTime.c b/test/Runtime/POSIX/FileTime.c index 34fd3468..3e150668 100644 --- a/test/Runtime/POSIX/FileTime.c +++ b/test/Runtime/POSIX/FileTime.c @@ -1,5 +1,5 @@ // Tests the functionality of setting and getting file access and modification times -// 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=uclibc --posix-runtime %t1.bc --sym-files 1 1 diff --git a/test/Runtime/POSIX/FreeArgv.c b/test/Runtime/POSIX/FreeArgv.c index fff1b2c4..93ed697e 100644 --- a/test/Runtime/POSIX/FreeArgv.c +++ b/test/Runtime/POSIX/FreeArgv.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -g -emit-llvm %O0opt -c -o %t.bc +// RUN: %clang %s -g -emit-llvm %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --posix-runtime %t.bc --sym-args 1 1 1 2>&1 | FileCheck %s // RUN: test -f %t.klee-out/test000001.free.err diff --git a/test/Runtime/POSIX/Futimesat.c b/test/Runtime/POSIX/Futimesat.c index eecaa880..bb95ac58 100644 --- a/test/Runtime/POSIX/Futimesat.c +++ b/test/Runtime/POSIX/Futimesat.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm %O0opt -g -c -DTDIR=%T -o %t2.bc +// RUN: %clang %s -emit-llvm %O0opt -g -c -DTDIR=%T -o %t2.bc // RUN: touch %T/futimesat-dummy // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --posix-runtime --exit-on-error %t2.bc --sym-files 1 10 diff --git a/test/Runtime/POSIX/Getenv.c b/test/Runtime/POSIX/Getenv.c index 7b890b67..6dff3c24 100644 --- a/test/Runtime/POSIX/Getenv.c +++ b/test/Runtime/POSIX/Getenv.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 --posix-runtime --exit-on-error %t2.bc --sym-files 1 10 diff --git a/test/Runtime/POSIX/Ioctl.c b/test/Runtime/POSIX/Ioctl.c index 61af8662..2f764dd7 100644 --- a/test/Runtime/POSIX/Ioctl.c +++ b/test/Runtime/POSIX/Ioctl.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 --posix-runtime --exit-on-error %t.bc --sym-stdin 4 diff --git a/test/Runtime/POSIX/Isatty.c b/test/Runtime/POSIX/Isatty.c index 6501a4a3..389be7c0 100644 --- a/test/Runtime/POSIX/Isatty.c +++ b/test/Runtime/POSIX/Isatty.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 --libc=uclibc --posix-runtime %t.bc --sym-stdin 10 --sym-stdout > %t.log 2>&1 // RUN: test -f %t.klee-out/test000001.ktest diff --git a/test/Runtime/POSIX/MixedConcreteSymbolic.c b/test/Runtime/POSIX/MixedConcreteSymbolic.c index 71abb116..0b21d30b 100644 --- a/test/Runtime/POSIX/MixedConcreteSymbolic.c +++ b/test/Runtime/POSIX/MixedConcreteSymbolic.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 --external-calls=all --exit-on-error --libc=uclibc --posix-runtime %t.bc --sym-stdin 10 2>%t.log | FileCheck %s diff --git a/test/Runtime/POSIX/Openat.c b/test/Runtime/POSIX/Openat.c index 648380dc..2341527e 100644 --- a/test/Runtime/POSIX/Openat.c +++ b/test/Runtime/POSIX/Openat.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 --posix-runtime --exit-on-error %t2.bc --sym-files 1 10 // RUN: test -f %t.klee-out/test000001.ktest diff --git a/test/Runtime/POSIX/PrgName.c b/test/Runtime/POSIX/PrgName.c index 2273c0d0..e76cbf6f 100644 --- a/test/Runtime/POSIX/PrgName.c +++ b/test/Runtime/POSIX/PrgName.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 --posix-runtime --exit-on-error %t2.bc --sym-arg 10 >%t.log // RUN: test -f %t.klee-out/test000001.ktest diff --git a/test/Runtime/POSIX/Read1.c b/test/Runtime/POSIX/Read1.c index 00deab5f..72ad87ae 100644 --- a/test/Runtime/POSIX/Read1.c +++ b/test/Runtime/POSIX/Read1.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 --exit-on-error --posix-runtime %t.bc --sym-files 1 8 >%t.log diff --git a/test/Runtime/POSIX/Replay.c b/test/Runtime/POSIX/Replay.c index f9802837..851b5a1e 100644 --- a/test/Runtime/POSIX/Replay.c +++ b/test/Runtime/POSIX/Replay.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -DKLEE_EXECUTION %s -emit-llvm %O0opt -c -o %t.bc +// RUN: %clang -DKLEE_EXECUTION %s -emit-llvm %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --posix-runtime %t.bc --sym-files 1 3 // RUN: %klee-replay --create-files-only %t.klee-out/test000001.ktest diff --git a/test/Runtime/POSIX/SELinux/SELinux.c b/test/Runtime/POSIX/SELinux/SELinux.c index d3a73e72..6bb56f85 100644 --- a/test/Runtime/POSIX/SELinux/SELinux.c +++ b/test/Runtime/POSIX/SELinux/SELinux.c @@ -1,5 +1,5 @@ /* Very basic test, as right now SELinux support is extremely basic */ -// 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 --posix-runtime --exit-on-error %t1.bc --sym-arg 2 > %t.log // XFAIL: no-selinux diff --git a/test/Runtime/POSIX/SeedAndFail.c b/test/Runtime/POSIX/SeedAndFail.c index 891921f0..2af86ad1 100644 --- a/test/Runtime/POSIX/SeedAndFail.c +++ b/test/Runtime/POSIX/SeedAndFail.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 --libc=uclibc --posix-runtime %t.bc --sym-files 1 10 2>%t.log // RUN: rm -rf %t.klee-out-2 diff --git a/test/Runtime/POSIX/Stdin.c b/test/Runtime/POSIX/Stdin.c index 036fecaa..6d84baff 100644 --- a/test/Runtime/POSIX/Stdin.c +++ b/test/Runtime/POSIX/Stdin.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 --libc=uclibc --posix-runtime --exit-on-error %t.bc --sym-stdin 4 > %t.log // RUN: grep "mode:file" %t.log diff --git a/test/Runtime/POSIX/TestMain.c b/test/Runtime/POSIX/TestMain.c index 79630fa0..a67fbd07 100644 --- a/test/Runtime/POSIX/TestMain.c +++ b/test/Runtime/POSIX/TestMain.c @@ -1,8 +1,8 @@ // Run applications with the posix environment but without additional arguments argc, argv for main -// RUN: %llvmgcc -DMAIN1 %s -emit-llvm %O0opt -c -g -o %t.bc +// RUN: %clang -DMAIN1 %s -emit-llvm %O0opt -c -g -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --posix-runtime %t.bc | FileCheck %s -check-prefix=CHECK-MAIN1 -// RUN: %llvmgcc -DMAIN2 %s -emit-llvm %O0opt -c -g -o %t.bc +// RUN: %clang -DMAIN2 %s -emit-llvm %O0opt -c -g -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --posix-runtime %t.bc | FileCheck %s -check-prefix=CHECK-MAIN2 #ifdef MAIN1 diff --git a/test/Runtime/POSIX/Usage.c b/test/Runtime/POSIX/Usage.c index babf2ddd..9c79d70c 100644 --- a/test/Runtime/POSIX/Usage.c +++ b/test/Runtime/POSIX/Usage.c @@ -1,6 +1,6 @@ // This test checks for the (in)correct use of --sym-files and --sym-args -// 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: not %klee --output-dir=%t.klee-out --exit-on-error --posix-runtime %t.bc --sym-files 1 10 --sym-files 2 10 &> %t1 diff --git a/test/Runtime/POSIX/Write1.c b/test/Runtime/POSIX/Write1.c index 19b3e81f..5fc4ff8f 100644 --- a/test/Runtime/POSIX/Write1.c +++ b/test/Runtime/POSIX/Write1.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 --exit-on-error --libc=uclibc --posix-runtime %t.bc --sym-files 1 10 --sym-stdout 2>%t.log diff --git a/test/Runtime/POSIX/Write2.c b/test/Runtime/POSIX/Write2.c index 03501c3a..04698f21 100644 --- a/test/Runtime/POSIX/Write2.c +++ b/test/Runtime/POSIX/Write2.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 --exit-on-error --libc=uclibc --posix-runtime %t.bc --sym-files 1 10 --sym-stdout 2>%t.log |