1  /* Smoketest for __analyzer_describe.  */
       2  
       3  #include "analyzer-decls.h"
       4  
       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  }