annotate clang/test/CodeGen/memcpy-nobuiltin.c @ 207:2e18cbf3894f

LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -verify -S -emit-llvm -o- %s -isystem %S -DWITH_DECL | FileCheck --check-prefix=CHECK-WITH-DECL %s
anatofuz
parents:
diff changeset
2 // RUN: %clang_cc1 -verify -S -emit-llvm -o- %s -isystem %S -UWITH_DECL | FileCheck --check-prefix=CHECK-NO-DECL %s
anatofuz
parents:
diff changeset
3 // RUN: %clang_cc1 -verify -S -emit-llvm -o- %s -isystem %S -DWITH_SELF_REFERENCE_DECL | FileCheck --check-prefix=CHECK-SELF-REF-DECL %s
anatofuz
parents:
diff changeset
4 //
anatofuz
parents:
diff changeset
5 // CHECK-WITH-DECL-NOT: @llvm.memcpy
anatofuz
parents:
diff changeset
6 // CHECK-NO-DECL: @llvm.memcpy
anatofuz
parents:
diff changeset
7 // CHECK-SELF-REF-DECL: @llvm.memcpy
anatofuz
parents:
diff changeset
8 //
anatofuz
parents:
diff changeset
9 #include <memcpy-nobuiltin.inc>
anatofuz
parents:
diff changeset
10 void test(void *dest, void const *from, size_t n) {
anatofuz
parents:
diff changeset
11 memcpy(dest, from, n);
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 static char buffer[1];
anatofuz
parents:
diff changeset
14 memcpy(buffer, from, 2); // expected-warning {{'memcpy' will always overflow; destination buffer has size 1, but size argument is 2}}
anatofuz
parents:
diff changeset
15 }