[Bug analyzer/97114] New: Support for vfuncs in -fanalyzer

[dmalcolm at gcc dot gnu.org]

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