1  #include <string.h>
       2  #include "analyzer-decls.h"
       3  
       4  void test_1 (void)
       5  {
       6    char str[] = "Hello";
       7    char buf[6];
       8    char *result = strcpy (buf, str);
       9    __analyzer_describe (1, result); /* { dg-warning "region_svalue.*?'buf'" } */
      10    __analyzer_eval (result == buf); /* { dg-warning "TRUE" } */
      11    __analyzer_eval (buf[0] == 'H'); /* { dg-warning "TRUE" } */
      12    __analyzer_eval (buf[1] == 'e'); /* { dg-warning "TRUE" } */
      13    __analyzer_eval (buf[2] == 'l'); /* { dg-warning "TRUE" } */
      14    __analyzer_eval (buf[3] == 'l'); /* { dg-warning "TRUE" } */
      15    __analyzer_eval (buf[4] == 'o'); /* { dg-warning "TRUE" } */
      16    __analyzer_eval (buf[5] == 0); /* { dg-warning "TRUE" } */
      17    __analyzer_eval (result[0] == 'H'); /* { dg-warning "TRUE" } */
      18    __analyzer_eval (result[1] == 'e'); /* { dg-warning "TRUE" } */
      19    __analyzer_eval (result[2] == 'l'); /* { dg-warning "TRUE" } */
      20    __analyzer_eval (result[3] == 'l'); /* { dg-warning "TRUE" } */
      21    __analyzer_eval (result[4] == 'o'); /* { dg-warning "TRUE" } */
      22    __analyzer_eval (result[5] == 0); /* { dg-warning "TRUE" } */
      23  }