* [Bug analyzer/110285] -Wanalyzer-infinite-loop false positive.
2023-06-16 14:02 [Bug analyzer/110285] New: -Wanalyzer-infinite-loop false positive 080ariel at gmail dot com
@ 2023-06-16 14:03 ` 080ariel at gmail dot com
2023-06-16 14:05 ` 080ariel at gmail dot com
` (6 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: 080ariel at gmail dot com @ 2023-06-16 14:03 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110285
--- Comment #1 from Ariel Cabello Mateos <080ariel at gmail dot com> ---
Created attachment 55347
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55347&action=edit
test1.c
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug analyzer/110285] -Wanalyzer-infinite-loop false positive.
2023-06-16 14:02 [Bug analyzer/110285] New: -Wanalyzer-infinite-loop false positive 080ariel at gmail dot com
2023-06-16 14:03 ` [Bug analyzer/110285] " 080ariel at gmail dot com
@ 2023-06-16 14:05 ` 080ariel at gmail dot com
2023-06-16 14:07 ` 080ariel at gmail dot com
` (5 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: 080ariel at gmail dot com @ 2023-06-16 14:05 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110285
--- Comment #2 from Ariel Cabello Mateos <080ariel at gmail dot com> ---
Created attachment 55348
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55348&action=edit
test2.c
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug analyzer/110285] -Wanalyzer-infinite-loop false positive.
2023-06-16 14:02 [Bug analyzer/110285] New: -Wanalyzer-infinite-loop false positive 080ariel at gmail dot com
2023-06-16 14:03 ` [Bug analyzer/110285] " 080ariel at gmail dot com
2023-06-16 14:05 ` 080ariel at gmail dot com
@ 2023-06-16 14:07 ` 080ariel at gmail dot com
2023-06-16 21:29 ` [Bug analyzer/110285] -Wanalyzer-infinite-recursion false positive involving floating-point values dmalcolm at gcc dot gnu.org
` (4 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: 080ariel at gmail dot com @ 2023-06-16 14:07 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110285
--- Comment #3 from Ariel Cabello Mateos <080ariel at gmail dot com> ---
Created attachment 55349
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55349&action=edit
Preprocessed source of test2.c
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug analyzer/110285] -Wanalyzer-infinite-recursion false positive involving floating-point values
2023-06-16 14:02 [Bug analyzer/110285] New: -Wanalyzer-infinite-loop false positive 080ariel at gmail dot com
` (2 preceding siblings ...)
2023-06-16 14:07 ` 080ariel at gmail dot com
@ 2023-06-16 21:29 ` dmalcolm at gcc dot gnu.org
2024-02-16 19:47 ` [Bug analyzer/110285] [13/14 Regression] " dmalcolm at gcc dot gnu.org
` (3 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2023-06-16 21:29 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110285
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|-Wanalyzer-infinite-recursi |-Wanalyzer-infinite-recursi
|on false positive |on false positive involving
| |floating-point values
--- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this.
-fanalyzer currently doesn't attempt to track conditions involving floating
point, so it incorrectly treats both A and !A as potentially being true along
an execution path, leading to the false positive. Sorry about this.
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug analyzer/110285] [13/14 Regression] -Wanalyzer-infinite-recursion false positive involving floating-point values
2023-06-16 14:02 [Bug analyzer/110285] New: -Wanalyzer-infinite-loop false positive 080ariel at gmail dot com
` (3 preceding siblings ...)
2023-06-16 21:29 ` [Bug analyzer/110285] -Wanalyzer-infinite-recursion false positive involving floating-point values dmalcolm at gcc dot gnu.org
@ 2024-02-16 19:47 ` dmalcolm at gcc dot gnu.org
2024-03-04 13:00 ` rguenth at gcc dot gnu.org
` (2 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2024-02-16 19:47 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110285
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2024-02-16
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
Summary|-Wanalyzer-infinite-recursi |[13/14 Regression]
|on false positive involving |-Wanalyzer-infinite-recursi
|floating-point values |on false positive involving
| |floating-point values
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug analyzer/110285] [13/14 Regression] -Wanalyzer-infinite-recursion false positive involving floating-point values
2023-06-16 14:02 [Bug analyzer/110285] New: -Wanalyzer-infinite-loop false positive 080ariel at gmail dot com
` (4 preceding siblings ...)
2024-02-16 19:47 ` [Bug analyzer/110285] [13/14 Regression] " dmalcolm at gcc dot gnu.org
@ 2024-03-04 13:00 ` rguenth at gcc dot gnu.org
2024-03-22 13:45 ` law at gcc dot gnu.org
2024-05-21 9:15 ` [Bug analyzer/110285] [13/14/15 " jakub at gcc dot gnu.org
7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu.org @ 2024-03-04 13:00 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110285
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |13.3
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug analyzer/110285] [13/14 Regression] -Wanalyzer-infinite-recursion false positive involving floating-point values
2023-06-16 14:02 [Bug analyzer/110285] New: -Wanalyzer-infinite-loop false positive 080ariel at gmail dot com
` (5 preceding siblings ...)
2024-03-04 13:00 ` rguenth at gcc dot gnu.org
@ 2024-03-22 13:45 ` law at gcc dot gnu.org
2024-05-21 9:15 ` [Bug analyzer/110285] [13/14/15 " jakub at gcc dot gnu.org
7 siblings, 0 replies; 9+ messages in thread
From: law at gcc dot gnu.org @ 2024-03-22 13:45 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110285
Jeffrey A. Law <law at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at gcc dot gnu.org
Priority|P3 |P2
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug analyzer/110285] [13/14/15 Regression] -Wanalyzer-infinite-recursion false positive involving floating-point values
2023-06-16 14:02 [Bug analyzer/110285] New: -Wanalyzer-infinite-loop false positive 080ariel at gmail dot com
` (6 preceding siblings ...)
2024-03-22 13:45 ` law at gcc dot gnu.org
@ 2024-05-21 9:15 ` jakub at gcc dot gnu.org
7 siblings, 0 replies; 9+ messages in thread
From: jakub at gcc dot gnu.org @ 2024-05-21 9:15 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110285
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|13.3 |13.4
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 13.3 is being released, retargeting bugs to GCC 13.4.
^ permalink raw reply [flat|nested] 9+ messages in thread