From 57768b412ee99b211aa46b137d28864955275adc Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Wed, 29 Jul 2020 17:50:46 -0400 Subject: [PATCH 349/377] FIXME: add unknown-fns-4.c --- gcc/testsuite/gcc.dg/analyzer/unknown-fns-4.c | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/analyzer/unknown-fns-4.c diff --git a/gcc/testsuite/gcc.dg/analyzer/unknown-fns-4.c b/gcc/testsuite/gcc.dg/analyzer/unknown-fns-4.c new file mode 100644 index 00000000000..3d8f82ee290 --- /dev/null +++ b/gcc/testsuite/gcc.dg/analyzer/unknown-fns-4.c @@ -0,0 +1,15 @@ +#include "analyzer-decls.h" + +int get(void); +void test (void) +{ + int got = 0; + while (1) + { + if (get ()) + got = 1; + else + if (got) + __analyzer_dump_path (); /* { dg-message "path" "" { xfail *-*-* } } */ + } +} -- 2.26.2