[Bug tree-optimization/124141] Bogus -Wdangling-pointer in SQLite source code

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124141

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2026-02-17
             Status|UNCONFIRMED                 |NEW

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
  <bb 4> [local count: 143434726]:
  # .MEM_66 = VDEF <.MEM_65>
  _21 = sqlite3AtoF.part.0 (_20, &rValue, _19, enc_18);
  if (_21 <= 0)
    goto <bb 5>; [26.36%]
  else
    goto <bb 6>; [73.64%]

  <bb 5> [local count: 111700011]:
  # .MEM_60 = PHI <.MEM_65(3), .MEM_66(4)>
  # .MEM_75 = VDEF <.MEM_60>
  rValue ={v} {CLOBBER(eos)};
  goto <bb 18>; [100.00%]


bb 6 never reaches a block which has a clobber for rValue. 
also bb 5 is not dominiating bb 6 at all, it looks like dangling pointer code
is getting confused because of that.