https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97114
Bug ID: 97114
Summary: Support for vfuncs in -fanalyzer
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Blocks: 97110
Target Milestone: ---
(Similar to PR analyzer/97113 which covers RTTI in general)
-fanalyzer doesn't yet "know about" virtual functions; it probably ought to be
able to devirtualization calls, or speculate about likely calls.
Probably need to reuse/refactor logic in ipa-devirt.c for this.
(Filing this as part of the -fanalyzer C++ tracker bug)
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97110
[Bug 97110] [meta-bug] tracker bug for supporting C++ in -fanalyzer
