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