1*89a1d03eSRichard // RUN: %check_clang_tidy %s bugprone-not-null-terminated-result %t -- \
2*89a1d03eSRichard // RUN: -- -std=c11 -I %S/Inputs/not-null-terminated-result
3*89a1d03eSRichard 
4*89a1d03eSRichard #include "not-null-terminated-result-c.h"
5*89a1d03eSRichard 
6*89a1d03eSRichard #define __STDC_LIB_EXT1__ 1
7*89a1d03eSRichard #define __STDC_WANT_LIB_EXT1__ ((unsigned)1)
8*89a1d03eSRichard 
f(const char * src)9*89a1d03eSRichard void f(const char *src) {
10*89a1d03eSRichard   char dest[13];
11*89a1d03eSRichard   memcpy_s(dest, 13, src, strlen(src) - 1);
12*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:3: warning: the result from calling 'memcpy_s' is not null-terminated [bugprone-not-null-terminated-result]
13*89a1d03eSRichard   // CHECK-FIXES: char dest[14];
14*89a1d03eSRichard   // CHECK-FIXES-NEXT: strncpy_s(dest, 14, src, strlen(src) - 1);
15*89a1d03eSRichard }
16*89a1d03eSRichard 
17