diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-02-03 14:11:18 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-02-06 09:33:53 +0000 |
| commit | 5389bec800997d58b0660c87615fd4d68c7cefd2 (patch) | |
| tree | b786de05faf2577c838b4657f1777e595f5bbf1f /test | |
| parent | 786cdf8cdb2fbd9956b5c764a7e68c7f6f8e4474 (diff) | |
| download | klee-5389bec800997d58b0660c87615fd4d68c7cefd2.tar.gz | |
Disable memcpy_chk_err.c on FreeBSD, where a call to __memcpy_chk is not generated
Diffstat (limited to 'test')
| -rw-r--r-- | test/Runtime/FreeStanding/memcpy_chk_err.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/test/Runtime/FreeStanding/memcpy_chk_err.c b/test/Runtime/FreeStanding/memcpy_chk_err.c index d8e8bc51..490d3f1d 100644 --- a/test/Runtime/FreeStanding/memcpy_chk_err.c +++ b/test/Runtime/FreeStanding/memcpy_chk_err.c @@ -1,9 +1,10 @@ // This test checks that __memcpy_chk find the kind of errors it was // designed to find -// It requires clang >= 10, otherwise a direct call to memcpy is -// emitted instead of to __memcpy_chk +// It requires clang >= 10 and not FreeBSD, otherwise a direct call to +// memcpy is emitted instead of to __memcpy_chk // REQUIRES: geq-llvm-10.0 +// REQUIRES: not-freebsd // RUN: %clang %s -emit-llvm -O2 -g -c -D_FORTIFY_SOURCE=1 -o %t2.bc // RUN: rm -rf %t.klee-out @@ -24,7 +25,7 @@ int main() { char d[5]; - char* s = "1234567890"; + char *s = "1234567890"; memcpy(d, s, 10); } |