1 #include <string.h>
2 #include "analyzer-decls.h"
3 
4 char *
test_1(char * dst,char * src)5 test_1 (char *dst, char *src)
6 {
7   char *result = strcpy (dst, src);
8   __analyzer_eval (result == dst); /* { dg-warning "TRUE" } */
9   return result;
10 }
11 
12 char *
test_1a(char * dst,char * src)13 test_1a (char *dst, char *src)
14 {
15   char *result = __strcpy_chk (dst, src, -1);
16   __analyzer_eval (result == dst); /* { dg-warning "TRUE" } */
17   return result;
18 }
19