gcc/testsuite/c-c++-common/analyzer/paths-8.c

   1 #include "analyzer-decls.h"
   2
   3 static void __attribute__((noinline))
   4 __analyzer_callee_1 (void)
   5 {
   6   /* empty.  */
   7 }
   8
   9 void
  10 test_1 (int flag)
  11 {
  12   if (flag)
  13     __analyzer_callee_1 ();
  14
  15   /* Verify that we merge state, whether or not the call happens.  */
  16   __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
  17 }