(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
analyzer/
torture/
pr93438-2.c
       1  /* A non-recursive example of state-merger of a pointer
       2     from an old stack frame to a local in a newer stack frame.  */
       3  
       4  int newer (int **ptr_to_ow, int flag);
       5  
       6  int
       7  older (int flag)
       8  {
       9    int *ow;
      10    return newer (&ow, flag);
      11  }
      12  
      13  int
      14  newer (int **ptr_to_ow, int flag)
      15  {
      16    int pk;
      17    *ptr_to_ow = &pk;
      18    
      19    if (flag)
      20      pk = 3;
      21    else
      22      pk = 4;
      23    /* State merger.  */
      24  
      25    return pk;
      26  }