[Bug analyzer/97116] New: Fix argument numbering in C++ member function calls

[dmalcolm at gcc dot gnu.org]

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

            Bug ID: 97116
           Summary: Fix argument numbering in C++ member function calls
           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: ---

IIRC -fanalyzer currently misreports parameter numbers in calls when there's an
implicit "this" pointer (e.g. when passing NULL as "this" due to a buggy
allocator to a ctor call it reports "parameter 1", rather than "this").

We might need a langhook for this (but what about LTO, and e.g. mixed-language
analysis?)

(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