1  /* { dg-additional-options "--param analyzer-max-svalue-depth=0" } */
       2  
       3  int val;
       4  
       5  int
       6  fn (void)
       7  {
       8    val = fn ();
       9  
      10    return 0;
      11  }