gcc/testsuite/gcc.dg/analyzer/describe-1.c

/* Smoketest for __analyzer_describe.  */

#include "analyzer-decls.h"

void test (int i)
{
  __analyzer_describe (0, 42); /* { dg-warning "svalue: '\\(int\\)42'" } */
  __analyzer_describe (0, i); /* { dg-warning "svalue: 'INIT_VAL\\(i.*\\)'" } */
  __analyzer_describe (0, &i); /* { dg-warning "svalue: '&i'" } */
  /* Further cases would risk overspecifying things. */
}