[Bug analyzer/114159] [13/14 Regression] ICE: in call_info, at analyzer/call-info.cc:143 with -fanalyzer -fanalyzer-call-summaries --param=analyzer-max-svalue-depth=0

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

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2024-02-29

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this bug.

Happens for --param=analyzer-max-svalue-depth=3 and below:
  https://godbolt.org/z/enfqznExK
due to:
 6267     const svalue *fn_ptr_sval = get_rvalue (fn_ptr, ctxt);
in region_model::get_fndecl_for_call returning an UNKNOWN_SVALUE rather than a
ptr to a function_region, due to exceeding the complexity limit.