[Bug analyzer/97115] New: Support for pre-main ctors in -fanalyzer

dmalcolm at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Fri Sep 18 14:15:17 GMT 2020


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

            Bug ID: 97115
           Summary: Support for pre-main ctors 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: ---

-fanalyzer doesn't yet have special handling for pre-main constructors; they
show up in the supergraph, but IIRC the code makes assumptions that main is the
first thing that is run, which should be investigated if we're going to
properly support C++.

Also, would be nice to statically detect issues due to ordering in such ctors.

(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


More information about the Gcc-bugs mailing list