From e3be2daf6f165a1a0ddea033d5ec0ff0c1ab3278 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Fri, 31 Jul 2020 09:09:52 -0400 Subject: [PATCH 359/377] FIXME: add gcc.dg/analyzer/describe-1.c --- gcc/testsuite/gcc.dg/analyzer/describe-1.c | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/analyzer/describe-1.c diff --git a/gcc/testsuite/gcc.dg/analyzer/describe-1.c b/gcc/testsuite/gcc.dg/analyzer/describe-1.c new file mode 100644 index 00000000000..20a38b0f908 --- /dev/null +++ b/gcc/testsuite/gcc.dg/analyzer/describe-1.c @@ -0,0 +1,10 @@ +/* Smoketest for __analyzer_describe. */ + +#include "analyzer-decls.h" + +void test (int i) +{ + __analyzer_describe (0, 42); /* { dg-warning "'\\(int\\)42'" } */ + __analyzer_describe (0, i); /* { dg-warning "'INIT_VAL\\(i.*\\)'" } */ + /* Further cases would risk overspecifying things. */ +} -- 2.26.2