public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/99795] New: -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context
@ 2021-03-26 16:53 nok.raven at gmail dot com
2021-03-26 17:44 ` [Bug c++/99795] " mpolacek at gcc dot gnu.org
` (11 more replies)
0 siblings, 12 replies; 13+ messages in thread
From: nok.raven at gmail dot com @ 2021-03-26 16:53 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99795
Bug ID: 99795
Summary: -Wnarrowing/-Woverflow false-negative in constant
expression in undeduced context
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Keywords: diagnostic
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: nok.raven at gmail dot com
CC: jason at redhat dot com, mpolacek at gcc dot gnu.org
Target Milestone: ---
template <char N> struct X {};
template <class T> X<sizeof(T)> foo();
int x = sizeof(foo<char[512]>());
template <typename T>
struct bar { typedef X<sizeof(T)> t; };
bar<char[512]> y;
GCC 4.6-6 had an -Woverflow warning here; since GCC 7 -Wconversion warning was
emitted instead, but since bug 99331 is fixed there is no warning at all.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/99795] -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context
2021-03-26 16:53 [Bug c++/99795] New: -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context nok.raven at gmail dot com
@ 2021-03-26 17:44 ` mpolacek at gcc dot gnu.org
2021-03-26 17:45 ` [Bug c++/99795] [8/9/10/11 Regression] " mpolacek at gcc dot gnu.org
` (10 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2021-03-26 17:44 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99795
Marek Polacek <mpolacek at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2021-03-26
Keywords| |accepts-invalid
Status|UNCONFIRMED |NEW
Ever confirmed|0 |1
--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed, thanks for opening.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/99795] [8/9/10/11 Regression] -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context
2021-03-26 16:53 [Bug c++/99795] New: -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context nok.raven at gmail dot com
2021-03-26 17:44 ` [Bug c++/99795] " mpolacek at gcc dot gnu.org
@ 2021-03-26 17:45 ` mpolacek at gcc dot gnu.org
2021-04-05 21:57 ` jason at gcc dot gnu.org
` (9 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2021-03-26 17:45 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99795
Marek Polacek <mpolacek at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |8.5
Summary|-Wnarrowing/-Woverflow |[8/9/10/11 Regression]
|false-negative in constant |-Wnarrowing/-Woverflow
|expression in undeduced |false-negative in constant
|context |expression in undeduced
| |context
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/99795] [8/9/10/11 Regression] -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context
2021-03-26 16:53 [Bug c++/99795] New: -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context nok.raven at gmail dot com
2021-03-26 17:44 ` [Bug c++/99795] " mpolacek at gcc dot gnu.org
2021-03-26 17:45 ` [Bug c++/99795] [8/9/10/11 Regression] " mpolacek at gcc dot gnu.org
@ 2021-04-05 21:57 ` jason at gcc dot gnu.org
2021-04-07 17:10 ` jason at gcc dot gnu.org
` (8 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: jason at gcc dot gnu.org @ 2021-04-05 21:57 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99795
Jason Merrill <jason at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
CC| |jason at gcc dot gnu.org
Assignee|unassigned at gcc dot gnu.org |jason at gcc dot gnu.org
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/99795] [8/9/10/11 Regression] -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context
2021-03-26 16:53 [Bug c++/99795] New: -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context nok.raven at gmail dot com
` (2 preceding siblings ...)
2021-04-05 21:57 ` jason at gcc dot gnu.org
@ 2021-04-07 17:10 ` jason at gcc dot gnu.org
2021-04-07 17:10 ` jason at gcc dot gnu.org
` (7 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: jason at gcc dot gnu.org @ 2021-04-07 17:10 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99795
--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> ---
Created attachment 50524
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50524&action=edit
WIP Fix
This patch uses IMPLICIT_CONV_EXPR to get the narrowing error, but more and
more changes are being necessary to prevent regressions; this isn't going to be
safe for GCC 11 at this point, so I'm going to put it aside for now.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/99795] [8/9/10/11 Regression] -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context
2021-03-26 16:53 [Bug c++/99795] New: -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context nok.raven at gmail dot com
` (3 preceding siblings ...)
2021-04-07 17:10 ` jason at gcc dot gnu.org
@ 2021-04-07 17:10 ` jason at gcc dot gnu.org
2021-04-08 13:14 ` rguenth at gcc dot gnu.org
` (6 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: jason at gcc dot gnu.org @ 2021-04-07 17:10 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99795
Jason Merrill <jason at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|jason at gcc dot gnu.org |unassigned at gcc dot gnu.org
Status|ASSIGNED |NEW
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/99795] [8/9/10/11 Regression] -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context
2021-03-26 16:53 [Bug c++/99795] New: -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context nok.raven at gmail dot com
` (4 preceding siblings ...)
2021-04-07 17:10 ` jason at gcc dot gnu.org
@ 2021-04-08 13:14 ` rguenth at gcc dot gnu.org
2021-05-14 9:54 ` [Bug c++/99795] [9/10/11/12 " jakub at gcc dot gnu.org
` (5 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-04-08 13:14 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99795
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P2
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/99795] [9/10/11/12 Regression] -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context
2021-03-26 16:53 [Bug c++/99795] New: -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context nok.raven at gmail dot com
` (5 preceding siblings ...)
2021-04-08 13:14 ` rguenth at gcc dot gnu.org
@ 2021-05-14 9:54 ` jakub at gcc dot gnu.org
2021-06-01 8:20 ` rguenth at gcc dot gnu.org
` (4 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: jakub at gcc dot gnu.org @ 2021-05-14 9:54 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99795
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|8.5 |9.4
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 8 branch is being closed.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/99795] [9/10/11/12 Regression] -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context
2021-03-26 16:53 [Bug c++/99795] New: -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context nok.raven at gmail dot com
` (6 preceding siblings ...)
2021-05-14 9:54 ` [Bug c++/99795] [9/10/11/12 " jakub at gcc dot gnu.org
@ 2021-06-01 8:20 ` rguenth at gcc dot gnu.org
2022-05-27 9:44 ` [Bug c++/99795] [10/11/12/13 " rguenth at gcc dot gnu.org
` (3 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-06-01 8:20 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99795
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|9.4 |9.5
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9.4 is being released, retargeting bugs to GCC 9.5.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/99795] [10/11/12/13 Regression] -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context
2021-03-26 16:53 [Bug c++/99795] New: -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context nok.raven at gmail dot com
` (7 preceding siblings ...)
2021-06-01 8:20 ` rguenth at gcc dot gnu.org
@ 2022-05-27 9:44 ` rguenth at gcc dot gnu.org
2022-06-28 10:44 ` jakub at gcc dot gnu.org
` (2 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-05-27 9:44 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99795
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|9.5 |10.4
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/99795] [10/11/12/13 Regression] -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context
2021-03-26 16:53 [Bug c++/99795] New: -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context nok.raven at gmail dot com
` (8 preceding siblings ...)
2022-05-27 9:44 ` [Bug c++/99795] [10/11/12/13 " rguenth at gcc dot gnu.org
@ 2022-06-28 10:44 ` jakub at gcc dot gnu.org
2023-07-07 10:39 ` [Bug c++/99795] [11/12/13/14 " rguenth at gcc dot gnu.org
2024-03-11 2:54 ` [Bug c++/99795] [11/12 " law at gcc dot gnu.org
11 siblings, 0 replies; 13+ messages in thread
From: jakub at gcc dot gnu.org @ 2022-06-28 10:44 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99795
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|10.4 |10.5
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/99795] [11/12/13/14 Regression] -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context
2021-03-26 16:53 [Bug c++/99795] New: -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context nok.raven at gmail dot com
` (9 preceding siblings ...)
2022-06-28 10:44 ` jakub at gcc dot gnu.org
@ 2023-07-07 10:39 ` rguenth at gcc dot gnu.org
2024-03-11 2:54 ` [Bug c++/99795] [11/12 " law at gcc dot gnu.org
11 siblings, 0 replies; 13+ messages in thread
From: rguenth at gcc dot gnu.org @ 2023-07-07 10:39 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99795
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|10.5 |11.5
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10 branch is being closed.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/99795] [11/12 Regression] -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context
2021-03-26 16:53 [Bug c++/99795] New: -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context nok.raven at gmail dot com
` (10 preceding siblings ...)
2023-07-07 10:39 ` [Bug c++/99795] [11/12/13/14 " rguenth at gcc dot gnu.org
@ 2024-03-11 2:54 ` law at gcc dot gnu.org
11 siblings, 0 replies; 13+ messages in thread
From: law at gcc dot gnu.org @ 2024-03-11 2:54 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99795
Jeffrey A. Law <law at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[11/12/13/14 Regression] |[11/12 Regression]
|-Wnarrowing/-Woverflow |-Wnarrowing/-Woverflow
|false-negative in constant |false-negative in constant
|expression in undeduced |expression in undeduced
|context |context
CC| |law at gcc dot gnu.org
--- Comment #8 from Jeffrey A. Law <law at gcc dot gnu.org> ---
Works with gcc-13 and the trunk. Adjusting regression markers.
^ permalink raw reply [flat|nested] 13+ messages in thread
end of thread, other threads:[~2024-03-11 2:54 UTC | newest]
Thread overview: 13+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-03-26 16:53 [Bug c++/99795] New: -Wnarrowing/-Woverflow false-negative in constant expression in undeduced context nok.raven at gmail dot com
2021-03-26 17:44 ` [Bug c++/99795] " mpolacek at gcc dot gnu.org
2021-03-26 17:45 ` [Bug c++/99795] [8/9/10/11 Regression] " mpolacek at gcc dot gnu.org
2021-04-05 21:57 ` jason at gcc dot gnu.org
2021-04-07 17:10 ` jason at gcc dot gnu.org
2021-04-07 17:10 ` jason at gcc dot gnu.org
2021-04-08 13:14 ` rguenth at gcc dot gnu.org
2021-05-14 9:54 ` [Bug c++/99795] [9/10/11/12 " jakub at gcc dot gnu.org
2021-06-01 8:20 ` rguenth at gcc dot gnu.org
2022-05-27 9:44 ` [Bug c++/99795] [10/11/12/13 " rguenth at gcc dot gnu.org
2022-06-28 10:44 ` jakub at gcc dot gnu.org
2023-07-07 10:39 ` [Bug c++/99795] [11/12/13/14 " rguenth at gcc dot gnu.org
2024-03-11 2:54 ` [Bug c++/99795] [11/12 " law 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).