diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2024-02-01 14:51:37 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-16 21:35:55 +0000 |
| commit | 325c6cdcab632a6824be8ca9a926f4c4573adbdb (patch) | |
| tree | 2c896335b546ae6ec4197ae26155dc9760b6c913 /test/Runtime | |
| parent | c966cc6aada0e401fa0fa7caf2c359bfc5c4eb9a (diff) | |
| download | klee-325c6cdcab632a6824be8ca9a926f4c4573adbdb.tar.gz | |
drop llvm 9 and 10
Diffstat (limited to 'test/Runtime')
| -rw-r--r-- | test/Runtime/FreeStanding/memcpy_chk_err.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/test/Runtime/FreeStanding/memcpy_chk_err.c b/test/Runtime/FreeStanding/memcpy_chk_err.c index 490d3f1d..997499ec 100644 --- a/test/Runtime/FreeStanding/memcpy_chk_err.c +++ b/test/Runtime/FreeStanding/memcpy_chk_err.c @@ -1,9 +1,7 @@ // This test checks that __memcpy_chk find the kind of errors it was // designed to find -// 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 +// On FreeBSD, a direct call to memcpy is emitted instead of to __memcpy_chk // REQUIRES: not-freebsd // RUN: %clang %s -emit-llvm -O2 -g -c -D_FORTIFY_SOURCE=1 -o %t2.bc |