From 786cdf8cdb2fbd9956b5c764a7e68c7f6f8e4474 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 3 Feb 2023 13:59:59 +0000 Subject: Add an extra check to test/Runtime/FreeStanding/memcpy_chk_err.c ensuring that a call to __memcpy_chk is emitted --- test/Runtime/FreeStanding/memcpy_chk_err.c | 3 +++ 1 file changed, 3 insertions(+) (limited to 'test/Runtime') 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 -- cgit 1.4.1