1 /* Smoketest for __analyzer_describe. */ 2 3 #include "analyzer-decls.h" 4 test(int i)5void test (int i) 6 { 7 __analyzer_describe (0, 42); /* { dg-warning "svalue: '\\(int\\)42'" } */ 8 __analyzer_describe (0, i); /* { dg-warning "svalue: 'INIT_VAL\\(i.*\\)'" } */ 9 __analyzer_describe (0, &i); /* { dg-warning "svalue: '&i'" } */ 10 /* Further cases would risk overspecifying things. */ 11 } 12