public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug analyzer/111099] New: -fanalyzer -Os segmentation fault
@ 2023-08-22  8:57 alexey.lapshin at espressif dot com
  2023-08-23 20:27 ` [Bug analyzer/111099] " dmalcolm at gcc dot gnu.org
                   ` (4 more replies)
  0 siblings, 5 replies; 6+ messages in thread
From: alexey.lapshin at espressif dot com @ 2023-08-22  8:57 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 111099
           Summary: -fanalyzer -Os segmentation fault
           Product: gcc
           Version: 13.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: alexey.lapshin at espressif dot com
  Target Milestone: ---

Created attachment 55775
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55775&action=edit
reproducer.c

To reproduce build the attached file with the command:

$ gcc -fanalyzer -Os -c reproducer.c


Observe issie on gcc 12.2.0 and gcc 13.2.0

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug analyzer/111099] -fanalyzer -Os segmentation fault
  2023-08-22  8:57 [Bug analyzer/111099] New: -fanalyzer -Os segmentation fault alexey.lapshin at espressif dot com
@ 2023-08-23 20:27 ` dmalcolm at gcc dot gnu.org
  2023-08-23 20:46 ` [Bug analyzer/111099] -fanalyzer -Os segmentation fault due to infinite recursion in ana::constraint_manager::eval_condition dmalcolm at gcc dot gnu.org
                   ` (3 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2023-08-23 20:27 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2023-08-23

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

Confirmed:
     trunk: https://godbolt.org/z/Kfo18Kern
  gcc 13.2: https://godbolt.org/z/4f31jhra6

Doesn't seem to affect:
  gcc 12.3: https://godbolt.org/z/rTjqahPfG
  gcc 12.2: https://godbolt.org/z/favPd1zfz
  gcc 11.4: https://godbolt.org/z/1xs1oMqTs

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug analyzer/111099] -fanalyzer -Os segmentation fault due to infinite recursion in ana::constraint_manager::eval_condition
  2023-08-22  8:57 [Bug analyzer/111099] New: -fanalyzer -Os segmentation fault alexey.lapshin at espressif dot com
  2023-08-23 20:27 ` [Bug analyzer/111099] " dmalcolm at gcc dot gnu.org
@ 2023-08-23 20:46 ` dmalcolm at gcc dot gnu.org
  2024-03-04 13:01 ` [Bug analyzer/111099] [13/14 Regression] " rguenth at gcc dot gnu.org
                   ` (2 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2023-08-23 20:46 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Infinite recursion within ana::constraint_manager::eval_condition; possible
duplicate of bug 109027

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug analyzer/111099] [13/14 Regression] -fanalyzer -Os segmentation fault due to infinite recursion in ana::constraint_manager::eval_condition
  2023-08-22  8:57 [Bug analyzer/111099] New: -fanalyzer -Os segmentation fault alexey.lapshin at espressif dot com
  2023-08-23 20:27 ` [Bug analyzer/111099] " dmalcolm at gcc dot gnu.org
  2023-08-23 20:46 ` [Bug analyzer/111099] -fanalyzer -Os segmentation fault due to infinite recursion in ana::constraint_manager::eval_condition dmalcolm at gcc dot gnu.org
@ 2024-03-04 13:01 ` rguenth at gcc dot gnu.org
  2024-03-07 23:23 ` law at gcc dot gnu.org
  2024-03-12 13:24 ` jakub at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2024-03-04 13:01 UTC (permalink / raw)
  To: gcc-bugs

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |13.3

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug analyzer/111099] [13/14 Regression] -fanalyzer -Os segmentation fault due to infinite recursion in ana::constraint_manager::eval_condition
  2023-08-22  8:57 [Bug analyzer/111099] New: -fanalyzer -Os segmentation fault alexey.lapshin at espressif dot com
                   ` (2 preceding siblings ...)
  2024-03-04 13:01 ` [Bug analyzer/111099] [13/14 Regression] " rguenth at gcc dot gnu.org
@ 2024-03-07 23:23 ` law at gcc dot gnu.org
  2024-03-12 13:24 ` jakub at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: law at gcc dot gnu.org @ 2024-03-07 23:23 UTC (permalink / raw)
  To: gcc-bugs

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

Jeffrey A. Law <law at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |law at gcc dot gnu.org
           Priority|P3                          |P1

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug analyzer/111099] [13/14 Regression] -fanalyzer -Os segmentation fault due to infinite recursion in ana::constraint_manager::eval_condition
  2023-08-22  8:57 [Bug analyzer/111099] New: -fanalyzer -Os segmentation fault alexey.lapshin at espressif dot com
                   ` (3 preceding siblings ...)
  2024-03-07 23:23 ` law at gcc dot gnu.org
@ 2024-03-12 13:24 ` jakub at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: jakub at gcc dot gnu.org @ 2024-03-12 13:24 UTC (permalink / raw)
  To: gcc-bugs

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org
           Priority|P1                          |P2

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 13.{1,2} has been released with this bug, so P2.

^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2024-03-12 13:24 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-08-22  8:57 [Bug analyzer/111099] New: -fanalyzer -Os segmentation fault alexey.lapshin at espressif dot com
2023-08-23 20:27 ` [Bug analyzer/111099] " dmalcolm at gcc dot gnu.org
2023-08-23 20:46 ` [Bug analyzer/111099] -fanalyzer -Os segmentation fault due to infinite recursion in ana::constraint_manager::eval_condition dmalcolm at gcc dot gnu.org
2024-03-04 13:01 ` [Bug analyzer/111099] [13/14 Regression] " rguenth at gcc dot gnu.org
2024-03-07 23:23 ` law at gcc dot gnu.org
2024-03-12 13:24 ` jakub at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).