1 #include <string.h> 2 #include "analyzer-decls.h" 3 4 char * test_1(char * dst,char * src)5test_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)13test_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