1  #include <string.h>
       2  #include "analyzer-decls.h"
       3  
       4  char *
       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 *
      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  }