1  #include "analyzer-decls.h"
       2  
       3  void test_1 (void)
       4  {
       5    char str[] = "Hello";
       6    char *ptr = str;
       7    __analyzer_eval (ptr[0] == 'H'); /* { dg-warning "TRUE" } */
       8  }