Bug 99390 (analyzer-call-summaries) - [meta-bug] tracker bug for call summaries in -fanalyzer
Summary: [meta-bug] tracker bug for call summaries in -fanalyzer
Alias: analyzer-call-summaries
Product: gcc
Classification: Unclassified
Component: analyzer (show other bugs)
Version: 11.0
: P3 normal
Target Milestone: ---
Assignee: David Malcolm
Keywords: meta-bug
Depends on: 93355 95188 95758 96894 99391 107072 107158
Blocks: 107060
  Show dependency treegraph
Reported: 2021-03-04 20:05 UTC by David Malcolm
Modified: 2022-10-05 18:15 UTC (History)
1 user (show)

See Also:
Known to work:
Known to fail:
Last reconfirmed:


Note You need to log in before you can comment on or make changes to this bug.
Description David Malcolm 2021-03-04 20:05:16 UTC
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

Filing this bug to track having less of a placeholder implementation of this feature (and to have a tracker bug for it)