1  #include "analyzer-decls.h"
       2  
       3  union foo
       4  {
       5    int m_flag;
       6  };
       7  
       8  extern void bar (int);
       9  
      10  void test (union foo *pf)
      11  {
      12    if (pf->m_flag)
      13      bar (0);
      14    else
      15      bar (1);
      16    __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
      17  }