[Bug analyzer/96824] New: segfault during IPA pass: analyzer (very simple code)

[Bug analyzer/96824] New: segfault during IPA pass: analyzer (very simple code)

[gcc_bugzilla at gabryjelski dot com]

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

            Bug ID: 96824
           Summary: segfault during IPA pass: analyzer (very simple code)
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: gcc_bugzilla at gabryjelski dot com
  Target Milestone: ---

Repro:

https://godbolt.org/z/EG77fh


Compiler output:

during IPA pass: analyzer
<source>:40:1: internal compiler error: Segmentation fault
   40 | }
      | ^

Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.
Compiler returned: 1

[Bug analyzer/96824] segfault during IPA pass: analyzer (very simple code)

[dmalcolm at gcc dot gnu.org]

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2020-08-27

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this.

The "x86-64 gcc (static analysis)" option in godbolt is an old stale branch
from before the code was merged into trunk for gcc 10.  I need to either update
or eliminate it from godbolt.  I see the ICE with that old branch in godbolt,
but not with gcc trunk, 10.2, or 10.1.

So hopefully this is fixed now; indeed, the code has been substantially changed
since gcc 10 at least.

Marking as ASSIGNED, to track adding this code as a regression test.

[Bug analyzer/96824] segfault during IPA pass: analyzer (very simple code)

[dmalcolm at gcc dot gnu.org]

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |WORKSFORME

--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
(In reply to David Malcolm from comment #1)
> Marking as ASSIGNED, to track adding this code as a regression test.

Given the C++ and the headers it's rather more complicated that I want as a
regression test, so closing this out now.

[Bug analyzer/96824] segfault during IPA pass: analyzer (very simple code)

[gcc_bugzilla at gabryjelski dot com]

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

--- Comment #3 from gcc_bugzilla at gabryjelski dot com ---
Ok, thanks for taking a look.  Glad to hear it's just old version on
godbolt.org.