diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-02-03 13:59:59 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-02-06 09:33:53 +0000 |
| commit | 786cdf8cdb2fbd9956b5c764a7e68c7f6f8e4474 (patch) | |
| tree | 305111d5d664fd3d0e36c9a00ed884d42a9aa7e6 /test | |
| parent | e92f0d9bba0d109232db323d41d0443dbdd5c121 (diff) | |
| download | klee-786cdf8cdb2fbd9956b5c764a7e68c7f6f8e4474.tar.gz | |
Add an extra check to test/Runtime/FreeStanding/memcpy_chk_err.c ensuring that a call to __memcpy_chk is emitted
Diffstat (limited to 'test')
| -rw-r--r-- | test/Runtime/FreeStanding/memcpy_chk_err.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/Runtime/FreeStanding/memcpy_chk_err.c b/test/Runtime/FreeStanding/memcpy_chk_err.c index b6071469..d8e8bc51 100644 --- a/test/Runtime/FreeStanding/memcpy_chk_err.c +++ b/test/Runtime/FreeStanding/memcpy_chk_err.c @@ -9,6 +9,9 @@ // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t2.bc +// RUN: FileCheck --check-prefix=CHECK-BC --input-file %t.klee-out/assembly.ll %s +// CHECK-BC: @__memcpy_chk + // RUN: test -f %t.klee-out/test000001.ptr.err // RUN: FileCheck --input-file %t.klee-out/test000001.ptr.err %s // CHECK: memcpy overflow |