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  }