public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/30334] New: Request for -Wundefined
@ 2006-12-30 19:52 gdr at gcc dot gnu dot org
2006-12-30 19:52 ` [Bug tree-optimization/30334] " gdr at gcc dot gnu dot org
` (15 more replies)
0 siblings, 16 replies; 17+ messages in thread
From: gdr at gcc dot gnu dot org @ 2006-12-30 19:52 UTC (permalink / raw)
To: gcc-bugs
Request for -Wundefined for cases where GCC optimizers can
detect undefined behaviour and actively take advantages of them
for code generation purpose.
--
Summary: Request for -Wundefined
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: gdr at gcc dot gnu dot org
GCC host triplet: platform independent
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/30334] Request for -Wundefined
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
@ 2006-12-30 19:52 ` gdr at gcc dot gnu dot org
2007-01-17 13:47 ` manu at gcc dot gnu dot org
` (14 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: gdr at gcc dot gnu dot org @ 2006-12-30 19:52 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from gdr at gcc dot gnu dot org 2006-12-30 19:52 -------
working on a patch.
--
gdr at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |gdr at gcc dot gnu dot org
|dot org |
Status|UNCONFIRMED |ASSIGNED
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2006-12-30 19:52:48
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/30334] Request for -Wundefined
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
2006-12-30 19:52 ` [Bug tree-optimization/30334] " gdr at gcc dot gnu dot org
@ 2007-01-17 13:47 ` manu at gcc dot gnu dot org
2007-01-17 13:49 ` manu at gcc dot gnu dot org
` (13 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: manu at gcc dot gnu dot org @ 2007-01-17 13:47 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from manu at gcc dot gnu dot org 2007-01-17 13:47 -------
Perhaps Wundefined should warn for PR 29465 ?
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |manu at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/30334] Request for -Wundefined
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
2006-12-30 19:52 ` [Bug tree-optimization/30334] " gdr at gcc dot gnu dot org
2007-01-17 13:47 ` manu at gcc dot gnu dot org
@ 2007-01-17 13:49 ` manu at gcc dot gnu dot org
2007-01-17 13:53 ` manu at gcc dot gnu dot org
` (12 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: manu at gcc dot gnu dot org @ 2007-01-17 13:49 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from manu at gcc dot gnu dot org 2007-01-17 13:49 -------
Also, not sure whether Wundefined or Wsequence-points should handle PR 24016.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/30334] Request for -Wundefined
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
` (2 preceding siblings ...)
2007-01-17 13:49 ` manu at gcc dot gnu dot org
@ 2007-01-17 13:53 ` manu at gcc dot gnu dot org
2007-01-17 14:00 ` manu at gcc dot gnu dot org
` (11 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: manu at gcc dot gnu dot org @ 2007-01-17 13:53 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from manu at gcc dot gnu dot org 2007-01-17 13:52 -------
Another candidate is PR 30457.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/30334] Request for -Wundefined
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
` (3 preceding siblings ...)
2007-01-17 13:53 ` manu at gcc dot gnu dot org
@ 2007-01-17 14:00 ` manu at gcc dot gnu dot org
2007-01-17 14:04 ` manu at gcc dot gnu dot org
` (10 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: manu at gcc dot gnu dot org @ 2007-01-17 14:00 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from manu at gcc dot gnu dot org 2007-01-17 14:00 -------
Not so sure about this one PR 12411
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/30334] Request for -Wundefined
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
` (4 preceding siblings ...)
2007-01-17 14:00 ` manu at gcc dot gnu dot org
@ 2007-01-17 14:04 ` manu at gcc dot gnu dot org
2007-01-17 14:07 ` gdr at cs dot tamu dot edu
` (9 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: manu at gcc dot gnu dot org @ 2007-01-17 14:04 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from manu at gcc dot gnu dot org 2007-01-17 14:04 -------
Not sure about this one either, there seems to be a warning in C++ but I am not
sure what option controls it now: PR 30368.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/30334] Request for -Wundefined
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
` (5 preceding siblings ...)
2007-01-17 14:04 ` manu at gcc dot gnu dot org
@ 2007-01-17 14:07 ` gdr at cs dot tamu dot edu
2007-01-17 14:08 ` gdr at cs dot tamu dot edu
` (8 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: gdr at cs dot tamu dot edu @ 2007-01-17 14:07 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from gdr at cs dot tamu dot edu 2007-01-17 14:06 -------
Subject: Re: Request for -Wundefined
"manu at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:
| Perhaps Wundefined should warn for PR 29465 ?
Where feasable with minimum overhead, yes.
-- Gaby
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/30334] Request for -Wundefined
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
` (6 preceding siblings ...)
2007-01-17 14:07 ` gdr at cs dot tamu dot edu
@ 2007-01-17 14:08 ` gdr at cs dot tamu dot edu
2007-01-17 14:09 ` gdr at cs dot tamu dot edu
` (7 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: gdr at cs dot tamu dot edu @ 2007-01-17 14:08 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from gdr at cs dot tamu dot edu 2007-01-17 14:08 -------
Subject: Re: Request for -Wundefined
"manu at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:
| Also, not sure whether Wundefined or Wsequence-points should handle PR 24016.
"unspecified beahviour" is not the same as "undefined behaviour".
Wsequence-points is probably better for this.
-- Gaby
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/30334] Request for -Wundefined
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
` (7 preceding siblings ...)
2007-01-17 14:08 ` gdr at cs dot tamu dot edu
@ 2007-01-17 14:09 ` gdr at cs dot tamu dot edu
2007-01-17 14:27 ` gdr at cs dot tamu dot edu
` (6 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: gdr at cs dot tamu dot edu @ 2007-01-17 14:09 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from gdr at cs dot tamu dot edu 2007-01-17 14:09 -------
Subject: Re: Request for -Wundefined
"manu at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:
| Another candidate is PR 30457.
agreed.
-- Gaby
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/30334] Request for -Wundefined
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
` (8 preceding siblings ...)
2007-01-17 14:09 ` gdr at cs dot tamu dot edu
@ 2007-01-17 14:27 ` gdr at cs dot tamu dot edu
2007-01-17 14:29 ` gdr at cs dot tamu dot edu
` (5 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: gdr at cs dot tamu dot edu @ 2007-01-17 14:27 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from gdr at cs dot tamu dot edu 2007-01-17 14:26 -------
Subject: Re: Request for -Wundefined
"manu at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:
| Not so sure about this one PR 12411
order of evaluation is "unspecified", should go under the
sequence-points umbrella.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/30334] Request for -Wundefined
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
` (9 preceding siblings ...)
2007-01-17 14:27 ` gdr at cs dot tamu dot edu
@ 2007-01-17 14:29 ` gdr at cs dot tamu dot edu
2007-01-26 13:01 ` manu at gcc dot gnu dot org
` (4 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: gdr at cs dot tamu dot edu @ 2007-01-17 14:29 UTC (permalink / raw)
To: gcc-bugs
------- Comment #11 from gdr at cs dot tamu dot edu 2007-01-17 14:29 -------
Subject: Re: Request for -Wundefined
"manu at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:
| Not sure about this one either, there seems to be a warning in C++
| but I am not sure what option controls it now: PR 30368.
Some warnings will stay non-controlable.
-- Gaby
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/30334] Request for -Wundefined
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
` (10 preceding siblings ...)
2007-01-17 14:29 ` gdr at cs dot tamu dot edu
@ 2007-01-26 13:01 ` manu at gcc dot gnu dot org
2007-02-15 14:25 ` manu at gcc dot gnu dot org
` (3 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: manu at gcc dot gnu dot org @ 2007-01-26 13:01 UTC (permalink / raw)
To: gcc-bugs
------- Comment #12 from manu at gcc dot gnu dot org 2007-01-26 13:01 -------
(In reply to comment #11)
> Subject: Re: Request for -Wundefined
>
> "manu at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:
>
> | Not sure about this one either, there seems to be a warning in C++
> | but I am not sure what option controls it now: PR 30368.
>
> Some warnings will stay non-controlable.
Hum, ok, I didn't notice that the request is to implement the warning in C.
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
OtherBugsDependingO| |12242, 29465, 30457
nThis| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/30334] Request for -Wundefined
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
` (11 preceding siblings ...)
2007-01-26 13:01 ` manu at gcc dot gnu dot org
@ 2007-02-15 14:25 ` manu at gcc dot gnu dot org
2007-02-15 14:25 ` manu at gcc dot gnu dot org
` (2 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: manu at gcc dot gnu dot org @ 2007-02-15 14:25 UTC (permalink / raw)
To: gcc-bugs
------- Comment #14 from manu at gcc dot gnu dot org 2007-02-15 14:25 -------
(In reply to comment #13)
> Another candidate to warn for undefined behaviour PR 968 ?
>
Argh, I meant PR 986.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/30334] Request for -Wundefined
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
` (12 preceding siblings ...)
2007-02-15 14:25 ` manu at gcc dot gnu dot org
@ 2007-02-15 14:25 ` manu at gcc dot gnu dot org
2008-07-30 9:16 ` manu at gcc dot gnu dot org
2008-07-30 9:27 ` manu at gcc dot gnu dot org
15 siblings, 0 replies; 17+ messages in thread
From: manu at gcc dot gnu dot org @ 2007-02-15 14:25 UTC (permalink / raw)
To: gcc-bugs
------- Comment #13 from manu at gcc dot gnu dot org 2007-02-15 14:24 -------
Another candidate to warn for undefined behaviour PR 968 ?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/30334] Request for -Wundefined
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
` (13 preceding siblings ...)
2007-02-15 14:25 ` manu at gcc dot gnu dot org
@ 2008-07-30 9:16 ` manu at gcc dot gnu dot org
2008-07-30 9:27 ` manu at gcc dot gnu dot org
15 siblings, 0 replies; 17+ messages in thread
From: manu at gcc dot gnu dot org @ 2008-07-30 9:16 UTC (permalink / raw)
To: gcc-bugs
------- Comment #15 from manu at gcc dot gnu dot org 2008-07-30 09:15 -------
Fix depends, add keyword, add alias "Wundefined".
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
BugsThisDependsOn| |986, 12242, 29465, 30457
OtherBugsDependingO|986, 12242, 29465, 30457 |
nThis| |
Keywords| |diagnostic, meta-bug
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/30334] Request for -Wundefined
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
` (14 preceding siblings ...)
2008-07-30 9:16 ` manu at gcc dot gnu dot org
@ 2008-07-30 9:27 ` manu at gcc dot gnu dot org
15 siblings, 0 replies; 17+ messages in thread
From: manu at gcc dot gnu dot org @ 2008-07-30 9:27 UTC (permalink / raw)
To: gcc-bugs
------- Comment #16 from manu at gcc dot gnu dot org 2008-07-30 09:26 -------
I think -Wundefined should warn for any potential undefined and unspecified
behaviour. I know they are not the same according to the standard but for a
practical point of view they both result in a behaviour that is not properly
defined and may change without notice. Most users do not know the difference
and I would argue that most of them don't even care. Having to distinct flags
would be cumbersome.
There are a few warnings already in GCC that would fall under this definition
and most of them are enabled by default and unconditionally. Therefore, this
warning should probably also be enabled by default as -Woverflow is.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30334
^ permalink raw reply [flat|nested] 17+ messages in thread
end of thread, other threads:[~2008-07-30 9:27 UTC | newest]
Thread overview: 17+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-12-30 19:52 [Bug tree-optimization/30334] New: Request for -Wundefined gdr at gcc dot gnu dot org
2006-12-30 19:52 ` [Bug tree-optimization/30334] " gdr at gcc dot gnu dot org
2007-01-17 13:47 ` manu at gcc dot gnu dot org
2007-01-17 13:49 ` manu at gcc dot gnu dot org
2007-01-17 13:53 ` manu at gcc dot gnu dot org
2007-01-17 14:00 ` manu at gcc dot gnu dot org
2007-01-17 14:04 ` manu at gcc dot gnu dot org
2007-01-17 14:07 ` gdr at cs dot tamu dot edu
2007-01-17 14:08 ` gdr at cs dot tamu dot edu
2007-01-17 14:09 ` gdr at cs dot tamu dot edu
2007-01-17 14:27 ` gdr at cs dot tamu dot edu
2007-01-17 14:29 ` gdr at cs dot tamu dot edu
2007-01-26 13:01 ` manu at gcc dot gnu dot org
2007-02-15 14:25 ` manu at gcc dot gnu dot org
2007-02-15 14:25 ` manu at gcc dot gnu dot org
2008-07-30 9:16 ` manu at gcc dot gnu dot org
2008-07-30 9:27 ` manu at gcc dot gnu dot 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).