https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99390
Bug ID: 99390
Summary: [meta-bug] tracker bug for call summaries in
-fanalyzer
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Keywords: meta-bug
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Target Milestone: ---
Call summarization in -fanalyzer has various issues:
* they're off by default (in analyzer.opt), but enabled by default in testsuite
(in analyzer.exp)
* they don't do much: on a suitable SUPEREDGE_INTRAPROCEDURAL_CALL,
* program_state::on_edge calls
* m_region_model->maybe_update_for_edge
which calls:
* update_for_call_summary
* which merely marks the return value as unknown.
Things we don't do:
* update sm-state
* update things that are reachable from the params (or globals)
* what about aliasing
etc
Filing this bug to track having less of a placeholder implementation of this
feature (and to have a tracker bug for it)
