* [Bug tree-optimization/18501] [4.1 Regression] Missing 'used unintialized' warning
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
@ 2005-10-31 1:41 ` mmitchel at gcc dot gnu dot org
2005-11-01 18:29 ` dnovillo at gcc dot gnu dot org
` (34 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2005-10-31 1:41 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from mmitchel at gcc dot gnu dot org 2005-10-31 01:41 -------
Downgrading to P5; this would never be release-critical.
Missing this warning does seem a shame though. And, I think that people who
want this warning would rather have false positives (which can be avoid with
perhaps-unncessary optimizations) than false negatives, which can result in
bugs of exactly the kind they're trying to catch. I'd suggest that we consider
moving this check very early in the optimization chain so that we get more
consistent results across platforms, more consistent results across
optimization levels, and more predictability from release to release.
--
mmitchel at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P2 |P5
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.1 Regression] Missing 'used unintialized' warning
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
2005-10-31 1:41 ` [Bug tree-optimization/18501] [4.1 Regression] Missing 'used unintialized' warning mmitchel at gcc dot gnu dot org
@ 2005-11-01 18:29 ` dnovillo at gcc dot gnu dot org
2005-11-01 18:50 ` law at redhat dot com
` (33 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: dnovillo at gcc dot gnu dot org @ 2005-11-01 18:29 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from dnovillo at gcc dot gnu dot org 2005-11-01 18:29 -------
Jeff has a much better approach to solving this.
http://gcc.gnu.org/ml/gcc/2005-11/msg00032.html
--
dnovillo at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at gcc dot gnu dot org
AssignedTo|dnovillo at gcc dot gnu dot |unassigned at gcc dot gnu
|org |dot org
Status|ASSIGNED |NEW
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.1 Regression] Missing 'used unintialized' warning
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
2005-10-31 1:41 ` [Bug tree-optimization/18501] [4.1 Regression] Missing 'used unintialized' warning mmitchel at gcc dot gnu dot org
2005-11-01 18:29 ` dnovillo at gcc dot gnu dot org
@ 2005-11-01 18:50 ` law at redhat dot com
2005-11-01 18:56 ` dnovillo at redhat dot com
` (32 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: law at redhat dot com @ 2005-11-01 18:50 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from law at redhat dot com 2005-11-01 18:50 -------
Subject: Re: [4.1 Regression] Missing 'used
unintialized' warning
On Tue, 2005-11-01 at 18:29 +0000, dnovillo at gcc dot gnu dot org
wrote:
>
> ------- Comment #9 from dnovillo at gcc dot gnu dot org 2005-11-01 18:29 -------
>
> Jeff has a much better approach to solving this.
> http://gcc.gnu.org/ml/gcc/2005-11/msg00032.html
I'd rather you not assign it to me just yet -- while I think my approach
is better, I don't think we have a consensus that it's what we're going
to do yet :-)
jeff
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.1 Regression] Missing 'used unintialized' warning
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2005-11-01 18:50 ` law at redhat dot com
@ 2005-11-01 18:56 ` dnovillo at redhat dot com
2006-02-28 20:38 ` [Bug tree-optimization/18501] [4.1/4.2 " mmitchel at gcc dot gnu dot org
` (31 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: dnovillo at redhat dot com @ 2005-11-01 18:56 UTC (permalink / raw)
To: gcc-bugs
------- Comment #11 from dnovillo at redhat dot com 2005-11-01 18:56 -------
Subject: Re: [4.1 Regression] Missing 'used unintialized' warning
On Tuesday 01 November 2005 13:50, law at redhat dot com wrote:
> I'd rather you not assign it to me just yet -- while I think my approach
> is better, I don't think we have a consensus that it's what we're going
> to do yet :-)
>
Don't worry, I haven't assigned it :) I just added a pointer to the thread
and added you to the CC list.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.1/4.2 Regression] Missing 'used unintialized' warning
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (3 preceding siblings ...)
2005-11-01 18:56 ` dnovillo at redhat dot com
@ 2006-02-28 20:38 ` mmitchel at gcc dot gnu dot org
2006-05-25 2:44 ` mmitchel at gcc dot gnu dot org
` (30 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2006-02-28 20:38 UTC (permalink / raw)
To: gcc-bugs
--
mmitchel at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.1.0 |4.1.1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.1/4.2 Regression] Missing 'used unintialized' warning
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (4 preceding siblings ...)
2006-02-28 20:38 ` [Bug tree-optimization/18501] [4.1/4.2 " mmitchel at gcc dot gnu dot org
@ 2006-05-25 2:44 ` mmitchel at gcc dot gnu dot org
2007-02-14 9:31 ` [Bug tree-optimization/18501] [4.1/4.2/4.3 " mmitchel at gcc dot gnu dot org
` (29 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2006-05-25 2:44 UTC (permalink / raw)
To: gcc-bugs
------- Comment #12 from mmitchel at gcc dot gnu dot org 2006-05-25 02:35 -------
Will not be fixed in 4.1.1; adjust target milestone to 4.1.2.
--
mmitchel at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.1.1 |4.1.2
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.1/4.2/4.3 Regression] Missing 'used unintialized' warning
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (5 preceding siblings ...)
2006-05-25 2:44 ` mmitchel at gcc dot gnu dot org
@ 2007-02-14 9:31 ` mmitchel at gcc dot gnu dot org
2007-03-06 11:41 ` manu at gcc dot gnu dot org
` (28 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2007-02-14 9:31 UTC (permalink / raw)
To: gcc-bugs
--
mmitchel at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.1.2 |4.1.3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.1/4.2/4.3 Regression] Missing 'used unintialized' warning
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (6 preceding siblings ...)
2007-02-14 9:31 ` [Bug tree-optimization/18501] [4.1/4.2/4.3 " mmitchel at gcc dot gnu dot org
@ 2007-03-06 11:41 ` manu at gcc dot gnu dot org
2007-09-06 22:30 ` pinskia at gcc dot gnu dot org
` (27 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: manu at gcc dot gnu dot org @ 2007-03-06 11:41 UTC (permalink / raw)
To: gcc-bugs
------- Comment #13 from manu at gcc dot gnu dot org 2007-03-06 11:41 -------
(In reply to comment #4)
> This is not really fixable.
>
> Analysis: http://gcc.gnu.org/ml/gcc/2004-12/msg00681.html
I am really ignorant on this CCP optimisaton but I am willing to learn. I guess
that we merge UNDEFINED and 0 because we can assume that undefined is anything.
I am not so sure that is OK in this particular case. However, even in that
case, we should warn just at that moment, since we are already using an
UNDEFINED value, aren't we?
My point is that this testcase is fundamentally different from:
int x;
if (f())
x = 3;
return x;
where f() is optimised away because it is always true. Some users may not want
to get warnings for the latter case, but any reasonable user wants to get a
warning for this PR.
Please, correct me when I am wrong. Thanks.
--
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=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.1/4.2/4.3 Regression] Missing 'used unintialized' warning
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (7 preceding siblings ...)
2007-03-06 11:41 ` manu at gcc dot gnu dot org
@ 2007-09-06 22:30 ` pinskia at gcc dot gnu dot org
2008-01-21 16:25 ` [Bug tree-optimization/18501] [4.1/4.2/4.3 Regression] Missing 'used unintialized' warning (CCP) manu at gcc dot gnu dot org
` (26 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2007-09-06 22:30 UTC (permalink / raw)
To: gcc-bugs
------- Comment #14 from pinskia at gcc dot gnu dot org 2007-09-06 22:30 -------
*** Bug 33327 has been marked as a duplicate of this bug. ***
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mark at hindley dot org dot
| |uk
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.1/4.2/4.3 Regression] Missing 'used unintialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (8 preceding siblings ...)
2007-09-06 22:30 ` pinskia at gcc dot gnu dot org
@ 2008-01-21 16:25 ` manu at gcc dot gnu dot org
2008-07-04 16:47 ` [Bug tree-optimization/18501] [4.2/4.3/4.4 " jsm28 at gcc dot gnu dot org
` (25 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: manu at gcc dot gnu dot org @ 2008-01-21 16:25 UTC (permalink / raw)
To: gcc-bugs
------- Comment #15 from manu at gcc dot gnu dot org 2008-01-21 16:01 -------
This is CCP related. (See "Problem 2: CCP assumes a value for uninitialized
variables" in http://gcc.gnu.org/wiki/Better_Uninitialized_Warnings)
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.1/4.2/4.3 Regression] |[4.1/4.2/4.3 Regression]
|Missing 'used unintialized' |Missing 'used unintialized'
|warning |warning (CCP)
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used unintialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (9 preceding siblings ...)
2008-01-21 16:25 ` [Bug tree-optimization/18501] [4.1/4.2/4.3 Regression] Missing 'used unintialized' warning (CCP) manu at gcc dot gnu dot org
@ 2008-07-04 16:47 ` jsm28 at gcc dot gnu dot org
2008-08-18 13:47 ` manu at gcc dot gnu dot org
` (24 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: jsm28 at gcc dot gnu dot org @ 2008-07-04 16:47 UTC (permalink / raw)
To: gcc-bugs
------- Comment #16 from jsm28 at gcc dot gnu dot org 2008-07-04 16:46 -------
Closing 4.1 branch.
--
jsm28 at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.1/4.2/4.3/4.4 Regression]|[4.2/4.3/4.4 Regression]
|Missing 'used unintialized' |Missing 'used unintialized'
|warning (CCP) |warning (CCP)
Target Milestone|4.1.3 |4.2.5
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used unintialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (10 preceding siblings ...)
2008-07-04 16:47 ` [Bug tree-optimization/18501] [4.2/4.3/4.4 " jsm28 at gcc dot gnu dot org
@ 2008-08-18 13:47 ` manu at gcc dot gnu dot org
2008-08-18 13:57 ` thutt at vmware dot com
` (23 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: manu at gcc dot gnu dot org @ 2008-08-18 13:47 UTC (permalink / raw)
To: gcc-bugs
------- Comment #17 from manu at gcc dot gnu dot org 2008-08-18 13:46 -------
*** Bug 37148 has been marked as a duplicate of this bug. ***
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |thutt at vmware dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used unintialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (11 preceding siblings ...)
2008-08-18 13:47 ` manu at gcc dot gnu dot org
@ 2008-08-18 13:57 ` thutt at vmware dot com
2008-08-18 14:10 ` manu at gcc dot gnu dot org
` (22 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: thutt at vmware dot com @ 2008-08-18 13:57 UTC (permalink / raw)
To: gcc-bugs
------- Comment #18 from thutt at vmware dot com 2008-08-18 13:55 -------
This defect has been open nearly 4 years. Any hope of
actually getting a fix commited?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used unintialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (12 preceding siblings ...)
2008-08-18 13:57 ` thutt at vmware dot com
@ 2008-08-18 14:10 ` manu at gcc dot gnu dot org
2008-08-18 18:57 ` [Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used uninitialized' " manu at gcc dot gnu dot org
` (21 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: manu at gcc dot gnu dot org @ 2008-08-18 14:10 UTC (permalink / raw)
To: gcc-bugs
------- Comment #19 from manu at gcc dot gnu dot org 2008-08-18 14:09 -------
(In reply to comment #18)
> This defect has been open nearly 4 years. Any hope of
> actually getting a fix commited?
To be bluntly honest. No, do not expect a fix in the near/medium future. Not
for GCC 4.4 for sure.
CCP relies on this behaviour to optimize code, so we cannot disable it. Moving
passes around (warning before CCP, warning before DCE) would just generate
different false positives/negatives. This is a complex issue:
http://gcc.gnu.org/wiki/Better_Uninitialized_Warnings#problem_ccp
Plus, no one is working or planning to work on this at the moment AFAIK.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (13 preceding siblings ...)
2008-08-18 14:10 ` manu at gcc dot gnu dot org
@ 2008-08-18 18:57 ` manu at gcc dot gnu dot org
2009-01-26 19:27 ` pinskia at gcc dot gnu dot org
` (20 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: manu at gcc dot gnu dot org @ 2008-08-18 18:57 UTC (permalink / raw)
To: gcc-bugs
------- Comment #20 from manu at gcc dot gnu dot org 2008-08-18 18:56 -------
*** Bug 36814 has been marked as a duplicate of this bug. ***
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jellegeerts at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (14 preceding siblings ...)
2008-08-18 18:57 ` [Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used uninitialized' " manu at gcc dot gnu dot org
@ 2009-01-26 19:27 ` pinskia at gcc dot gnu dot org
2009-02-05 21:57 ` pinskia at gcc dot gnu dot org
` (19 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2009-01-26 19:27 UTC (permalink / raw)
To: gcc-bugs
------- Comment #21 from pinskia at gcc dot gnu dot org 2009-01-26 19:27 -------
*** Bug 38945 has been marked as a duplicate of this bug. ***
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |fredrik at hederstierna dot
| |com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (15 preceding siblings ...)
2009-01-26 19:27 ` pinskia at gcc dot gnu dot org
@ 2009-02-05 21:57 ` pinskia at gcc dot gnu dot org
2009-02-05 22:44 ` dhill at clusterresources dot com
` (18 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2009-02-05 21:57 UTC (permalink / raw)
To: gcc-bugs
------- Comment #22 from pinskia at gcc dot gnu dot org 2009-02-05 21:57 -------
*** Bug 39113 has been marked as a duplicate of this bug. ***
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dhill at clusterresources
| |dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (16 preceding siblings ...)
2009-02-05 21:57 ` pinskia at gcc dot gnu dot org
@ 2009-02-05 22:44 ` dhill at clusterresources dot com
2009-02-07 21:15 ` manu at gcc dot gnu dot org
` (17 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: dhill at clusterresources dot com @ 2009-02-05 22:44 UTC (permalink / raw)
To: gcc-bugs
------- Comment #23 from dhill at clusterresources dot com 2009-02-05 22:44 -------
note that gcc version 3.2.3 correctly reports this warning
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (17 preceding siblings ...)
2009-02-05 22:44 ` dhill at clusterresources dot com
@ 2009-02-07 21:15 ` manu at gcc dot gnu dot org
2009-02-07 21:29 ` manu at gcc dot gnu dot org
` (16 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: manu at gcc dot gnu dot org @ 2009-02-07 21:15 UTC (permalink / raw)
To: gcc-bugs
------- Comment #24 from manu at gcc dot gnu dot org 2009-02-07 21:15 -------
*** Bug 30575 has been marked as a duplicate of this bug. ***
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |muntyan at tamu dot edu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (18 preceding siblings ...)
2009-02-07 21:15 ` manu at gcc dot gnu dot org
@ 2009-02-07 21:29 ` manu at gcc dot gnu dot org
2009-03-31 16:42 ` [Bug tree-optimization/18501] [4.3/4.4/4.5 " jsm28 at gcc dot gnu dot org
` (15 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: manu at gcc dot gnu dot org @ 2009-02-07 21:29 UTC (permalink / raw)
To: gcc-bugs
------- Comment #25 from manu at gcc dot gnu dot org 2009-02-07 21:29 -------
*** Bug 30856 has been marked as a duplicate of this bug. ***
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
OtherBugsDependingO| |30856
nThis| |
CC| |christoph dot mallon at gmx
| |dot de
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (19 preceding siblings ...)
2009-02-07 21:29 ` manu at gcc dot gnu dot org
@ 2009-03-31 16:42 ` jsm28 at gcc dot gnu dot org
2009-06-17 12:04 ` manu at gcc dot gnu dot org
` (14 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: jsm28 at gcc dot gnu dot org @ 2009-03-31 16:42 UTC (permalink / raw)
To: gcc-bugs
------- Comment #26 from jsm28 at gcc dot gnu dot org 2009-03-31 16:41 -------
Closing 4.2 branch.
--
jsm28 at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.2/4.3/4.4/4.5 Regression]|[4.3/4.4/4.5 Regression]
|Missing 'used uninitialized'|Missing 'used uninitialized'
|warning (CCP) |warning (CCP)
Target Milestone|4.2.5 |4.3.4
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (20 preceding siblings ...)
2009-03-31 16:42 ` [Bug tree-optimization/18501] [4.3/4.4/4.5 " jsm28 at gcc dot gnu dot org
@ 2009-06-17 12:04 ` manu at gcc dot gnu dot org
2009-06-17 12:06 ` rguenth at gcc dot gnu dot org
` (13 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: manu at gcc dot gnu dot org @ 2009-06-17 12:04 UTC (permalink / raw)
To: gcc-bugs
------- Comment #27 from manu at gcc dot gnu dot org 2009-06-17 12:03 -------
*** Bug 40469 has been marked as a duplicate of this bug. ***
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |hp at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (21 preceding siblings ...)
2009-06-17 12:04 ` manu at gcc dot gnu dot org
@ 2009-06-17 12:06 ` rguenth at gcc dot gnu dot org
2009-06-17 12:07 ` rguenth at gcc dot gnu dot org
` (12 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-06-17 12:06 UTC (permalink / raw)
To: gcc-bugs
------- Comment #28 from rguenth at gcc dot gnu dot org 2009-06-17 12:06 -------
We are not going to fix this.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |WONTFIX
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (22 preceding siblings ...)
2009-06-17 12:06 ` rguenth at gcc dot gnu dot org
@ 2009-06-17 12:07 ` rguenth at gcc dot gnu dot org
2009-06-17 12:09 ` manu at gcc dot gnu dot org
` (11 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-06-17 12:07 UTC (permalink / raw)
To: gcc-bugs
------- Comment #29 from rguenth at gcc dot gnu dot org 2009-06-17 12:06 -------
*** Bug 30542 has been marked as a duplicate of this bug. ***
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |david dot cuthbert at gmail
| |dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (23 preceding siblings ...)
2009-06-17 12:07 ` rguenth at gcc dot gnu dot org
@ 2009-06-17 12:09 ` manu at gcc dot gnu dot org
2009-06-17 12:18 ` manu at gcc dot gnu dot org
` (10 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: manu at gcc dot gnu dot org @ 2009-06-17 12:09 UTC (permalink / raw)
To: gcc-bugs
------- Comment #30 from manu at gcc dot gnu dot org 2009-06-17 12:09 -------
(In reply to comment #28)
> We are not going to fix this.
>
Why? There are many ways to alleviate this. Doing some warnings in the
front-ends, such LLVM does is one. Or propagate some "uninitialized" bit, that
can checked later. Or something that hasn't invented yet. It is clear that
other compilers can get this right, so GCC could, if someone had the time and
interest.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (24 preceding siblings ...)
2009-06-17 12:09 ` manu at gcc dot gnu dot org
@ 2009-06-17 12:18 ` manu at gcc dot gnu dot org
2009-06-17 12:59 ` rguenth at gcc dot gnu dot org
` (9 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: manu at gcc dot gnu dot org @ 2009-06-17 12:18 UTC (permalink / raw)
To: gcc-bugs
------- Comment #31 from manu at gcc dot gnu dot org 2009-06-17 12:17 -------
(In reply to comment #30)
> (In reply to comment #28)
> > We are not going to fix this.
> >
>
> Why? There are many ways to alleviate this. Doing some warnings in the
> front-ends, such LLVM does is one. Or propagate some "uninitialized" bit, that
> can checked later. Or something that hasn't invented yet. It is clear that
> other compilers can get this right, so GCC could, if someone had the time and
> interest.
BTW, in my review of Wuninitialized problems, this is problem number 1 of
missing warnings, as evidenced by the number of duplicates. So even alleviating
this in simple cases would be a major improvement.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (25 preceding siblings ...)
2009-06-17 12:18 ` manu at gcc dot gnu dot org
@ 2009-06-17 12:59 ` rguenth at gcc dot gnu dot org
2009-06-17 13:26 ` manu at gcc dot gnu dot org
` (8 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-06-17 12:59 UTC (permalink / raw)
To: gcc-bugs
------- Comment #32 from rguenth at gcc dot gnu dot org 2009-06-17 12:59 -------
We can only fix it with the chance of raising more spurious warnings. One
reason why we run the "may be used uninitialized" pass very late.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (26 preceding siblings ...)
2009-06-17 12:59 ` rguenth at gcc dot gnu dot org
@ 2009-06-17 13:26 ` manu at gcc dot gnu dot org
2009-06-17 13:55 ` rguenth at gcc dot gnu dot org
` (7 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: manu at gcc dot gnu dot org @ 2009-06-17 13:26 UTC (permalink / raw)
To: gcc-bugs
------- Comment #33 from manu at gcc dot gnu dot org 2009-06-17 13:25 -------
(In reply to comment #32)
> We can only fix it with the chance of raising more spurious warnings. One
> reason why we run the "may be used uninitialized" pass very late.
The solution of moving the passes around has been discarded long ago. There are
other possible solutions.
Nonetheless, every change that warns were we previously didn't may rise more
spurious warnings, per the Halting problem. In fact, your patch to enable
Wuninitialized at -O0 did certainly introduce many spurious warnings. Are you
going to revert it? Making use of alias info to detect unitialized uses will
introduce spurious warnings, are you going to close PR 19430 and similar?
If so, feel free to go through
http://gcc.gnu.org/wiki/Better_Uninitialized_Warnings#current and close all
items as WONTFIX. You may all well directly close all bugs listed in PR 24639
that report a missing warning, since implementing the warning will almost
certainly lead to spurious warning.
The goal is to find a balance. Per Chris Lattner account, LLVM is able to
detect simple cases of this PR without generating spurious warnings. So it can
definitely be done.
I think this PR should be kept open in case someone decides to improve the
situation a bit. Please reopen.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (27 preceding siblings ...)
2009-06-17 13:26 ` manu at gcc dot gnu dot org
@ 2009-06-17 13:55 ` rguenth at gcc dot gnu dot org
2009-06-17 13:56 ` rguenth at gcc dot gnu dot org
` (6 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-06-17 13:55 UTC (permalink / raw)
To: gcc-bugs
------- Comment #34 from rguenth at gcc dot gnu dot org 2009-06-17 13:55 -------
Huh. Well then.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|WONTFIX |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (28 preceding siblings ...)
2009-06-17 13:55 ` rguenth at gcc dot gnu dot org
@ 2009-06-17 13:56 ` rguenth at gcc dot gnu dot org
2009-06-23 0:12 ` manu at gcc dot gnu dot org
` (5 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-06-17 13:56 UTC (permalink / raw)
To: gcc-bugs
------- Comment #35 from rguenth at gcc dot gnu dot org 2009-06-17 13:56 -------
> The solution of moving the passes around has been discarded long ago. There are
> other possible solutions.
so, what are these? Once we removed the uninitialized use (CCP) we cannot
recover the information.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (29 preceding siblings ...)
2009-06-17 13:56 ` rguenth at gcc dot gnu dot org
@ 2009-06-23 0:12 ` manu at gcc dot gnu dot org
2009-08-04 12:28 ` rguenth at gcc dot gnu dot org
` (4 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: manu at gcc dot gnu dot org @ 2009-06-23 0:12 UTC (permalink / raw)
To: gcc-bugs
------- Comment #36 from manu at gcc dot gnu dot org 2009-06-23 00:12 -------
(In reply to comment #35)
>
> so, what are these? Once we removed the uninitialized use (CCP) we cannot
> recover the information.
We usually do not remove the uninitialized use but assume a value for the
variable and propagate it. The standard testcase
int x;
if (f())
x = 3;
return x;
The code is simplified to return (3), but perhaps we could mark this constant
as being possibly uninitialized. A later pass can report it if it never gets
removed. Or perhaps we could do some basic (and fast) CCP in the front-end to
detect may-be-uninitialized uses.
In http://gcc.gnu.org/wiki/Better_Uninitialized_Warnings#current I give more
ideas. That no one has found a fix does not mean that a fix is not possible.
Users are going to keep reporting this, and we have many much older bugs still
open. It took 8 years to fix PR179.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (30 preceding siblings ...)
2009-06-23 0:12 ` manu at gcc dot gnu dot org
@ 2009-08-04 12:28 ` rguenth at gcc dot gnu dot org
2010-01-13 16:34 ` manu at gcc dot gnu dot org
` (3 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-08-04 12:28 UTC (permalink / raw)
To: gcc-bugs
------- Comment #37 from rguenth at gcc dot gnu dot org 2009-08-04 12:26 -------
GCC 4.3.4 is being released, adjusting target milestone.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.3.4 |4.3.5
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (31 preceding siblings ...)
2009-08-04 12:28 ` rguenth at gcc dot gnu dot org
@ 2010-01-13 16:34 ` manu at gcc dot gnu dot org
2010-05-22 18:13 ` [Bug tree-optimization/18501] [4.3/4.4/4.5/4.6 " rguenth at gcc dot gnu dot org
` (2 subsequent siblings)
35 siblings, 0 replies; 36+ messages in thread
From: manu at gcc dot gnu dot org @ 2010-01-13 16:34 UTC (permalink / raw)
To: gcc-bugs
------- Comment #38 from manu at gcc dot gnu dot org 2010-01-13 16:33 -------
*** Bug 42724 has been marked as a duplicate of this bug. ***
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |roche+gccbugs at exalead dot
| |com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.3/4.4/4.5/4.6 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (32 preceding siblings ...)
2010-01-13 16:34 ` manu at gcc dot gnu dot org
@ 2010-05-22 18:13 ` rguenth at gcc dot gnu dot org
2010-09-02 22:51 ` manu at gcc dot gnu dot org
2010-09-02 23:11 ` manu at gcc dot gnu dot org
35 siblings, 0 replies; 36+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-05-22 18:13 UTC (permalink / raw)
To: gcc-bugs
------- Comment #39 from rguenth at gcc dot gnu dot org 2010-05-22 18:10 -------
GCC 4.3.5 is being released, adjusting target milestone.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.3.5 |4.3.6
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.3/4.4/4.5/4.6 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (33 preceding siblings ...)
2010-05-22 18:13 ` [Bug tree-optimization/18501] [4.3/4.4/4.5/4.6 " rguenth at gcc dot gnu dot org
@ 2010-09-02 22:51 ` manu at gcc dot gnu dot org
2010-09-02 23:11 ` manu at gcc dot gnu dot org
35 siblings, 0 replies; 36+ messages in thread
From: manu at gcc dot gnu dot org @ 2010-09-02 22:51 UTC (permalink / raw)
To: gcc-bugs
------- Comment #40 from manu at gcc dot gnu dot org 2010-09-02 22:50 -------
*** Bug 45493 has been marked as a duplicate of this bug. ***
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |tadhunt at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread* [Bug tree-optimization/18501] [4.3/4.4/4.5/4.6 Regression] Missing 'used uninitialized' warning (CCP)
[not found] <bug-18501-361@http.gcc.gnu.org/bugzilla/>
` (34 preceding siblings ...)
2010-09-02 22:51 ` manu at gcc dot gnu dot org
@ 2010-09-02 23:11 ` manu at gcc dot gnu dot org
35 siblings, 0 replies; 36+ messages in thread
From: manu at gcc dot gnu dot org @ 2010-09-02 23:11 UTC (permalink / raw)
To: gcc-bugs
------- Comment #41 from manu at gcc dot gnu dot org 2010-09-02 23:10 -------
*** Bug 42884 has been marked as a duplicate of this bug. ***
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |tstdenis at elliptictech dot
| |com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
^ permalink raw reply [flat|nested] 36+ messages in thread