1 /* Smoketest for __analyzer_describe.  */
2 
3 #include "analyzer-decls.h"
4 
test(int i)5 void 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