[Bug tree-optimization/18501] [4.1 Regression] Missing 'used unintialized' warning

[Bug tree-optimization/18501] [4.1 Regression] Missing 'used unintialized' warning

[mmitchel at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.1 Regression] Missing 'used unintialized' warning

[dnovillo at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.1 Regression] Missing 'used unintialized' warning

[law at redhat dot com]

------- 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

[Bug tree-optimization/18501] [4.1 Regression] Missing 'used unintialized' warning

[dnovillo at redhat dot com]

------- 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

[Bug tree-optimization/18501] [4.1/4.2 Regression] Missing 'used unintialized' warning

[mmitchel at gcc dot gnu dot org]

-- 

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

[Bug tree-optimization/18501] [4.1/4.2 Regression] Missing 'used unintialized' warning

[mmitchel at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.1/4.2/4.3 Regression] Missing 'used unintialized' warning

[mmitchel at gcc dot gnu dot org]

-- 

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

[Bug tree-optimization/18501] [4.1/4.2/4.3 Regression] Missing 'used unintialized' warning

[manu at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.1/4.2/4.3 Regression] Missing 'used unintialized' warning

[pinskia at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.1/4.2/4.3 Regression] Missing 'used unintialized' warning (CCP)

[manu at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used unintialized' warning (CCP)

[jsm28 at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used unintialized' warning (CCP)

[manu at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used unintialized' warning (CCP)

[thutt at vmware dot com]

------- 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

[Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used unintialized' warning (CCP)

[manu at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used uninitialized' warning (CCP)

[manu at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used uninitialized' warning (CCP)

[pinskia at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used uninitialized' warning (CCP)

[pinskia at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used uninitialized' warning (CCP)

[dhill at clusterresources dot com]

------- 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

[Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used uninitialized' warning (CCP)

[manu at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.2/4.3/4.4 Regression] Missing 'used uninitialized' warning (CCP)

[manu at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)

[jsm28 at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)

[manu at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)

[rguenth at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)

[rguenth at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)

[manu at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)

[manu at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)

[rguenth at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)

[manu at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)

[rguenth at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)

[rguenth at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)

[manu at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)

[rguenth at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.3/4.4/4.5 Regression] Missing 'used uninitialized' warning (CCP)

[manu at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.3/4.4/4.5/4.6 Regression] Missing 'used uninitialized' warning (CCP)

[rguenth at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.3/4.4/4.5/4.6 Regression] Missing 'used uninitialized' warning (CCP)

[manu at gcc dot gnu dot org]

------- 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

[Bug tree-optimization/18501] [4.3/4.4/4.5/4.6 Regression] Missing 'used uninitialized' warning (CCP)

[manu at gcc dot gnu dot org]

------- 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