* [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
[not found] <bug-5035-1331@http.gcc.gnu.org/bugzilla/>
@ 2005-11-08 17:03 ` law at redhat dot com
2005-11-08 17:04 ` law at redhat dot com
` (14 subsequent siblings)
15 siblings, 0 replies; 21+ messages in thread
From: law at redhat dot com @ 2005-11-08 17:03 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from law at redhat dot com 2005-11-08 17:03 -------
The SSA optimizers clean this testcase enough to no longer emit a bogus
uninitialized warning. It is (of course) possible to create more complex tests
which would still generate bogus uninitialized warnings.
--
law at redhat dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5035
^ permalink raw reply [flat|nested] 21+ messages in thread* [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
[not found] <bug-5035-1331@http.gcc.gnu.org/bugzilla/>
2005-11-08 17:03 ` [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function' law at redhat dot com
@ 2005-11-08 17:04 ` law at redhat dot com
2005-11-26 16:39 ` pinskia at gcc dot gnu dot org
` (13 subsequent siblings)
15 siblings, 0 replies; 21+ messages in thread
From: law at redhat dot com @ 2005-11-08 17:04 UTC (permalink / raw)
To: gcc-bugs
--
law at redhat dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5035
^ permalink raw reply [flat|nested] 21+ messages in thread* [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
[not found] <bug-5035-1331@http.gcc.gnu.org/bugzilla/>
2005-11-08 17:03 ` [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function' law at redhat dot com
2005-11-08 17:04 ` law at redhat dot com
@ 2005-11-26 16:39 ` pinskia at gcc dot gnu dot org
2005-11-26 16:39 ` pinskia at gcc dot gnu dot org
` (12 subsequent siblings)
15 siblings, 0 replies; 21+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-11-26 16:39 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from pinskia at gcc dot gnu dot org 2005-11-26 16:39 -------
Actually this is easy to find a testcase where we do warn (turning off DOM is
an easy example)
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5035
^ permalink raw reply [flat|nested] 21+ messages in thread* [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
[not found] <bug-5035-1331@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2005-11-26 16:39 ` pinskia at gcc dot gnu dot org
@ 2005-11-26 16:39 ` pinskia at gcc dot gnu dot org
2005-12-22 10:38 ` trick at icculus dot org
` (11 subsequent siblings)
15 siblings, 0 replies; 21+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-11-26 16:39 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from pinskia at gcc dot gnu dot org 2005-11-26 16:39 -------
*** Bug 21750 has been marked as a duplicate of this bug. ***
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |j dot w dot r dot degoede at
| |hhs dot nl
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5035
^ permalink raw reply [flat|nested] 21+ messages in thread* [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
[not found] <bug-5035-1331@http.gcc.gnu.org/bugzilla/>
` (3 preceding siblings ...)
2005-11-26 16:39 ` pinskia at gcc dot gnu dot org
@ 2005-12-22 10:38 ` trick at icculus dot org
2005-12-22 14:22 ` Andrew Pinski
2005-12-22 14:22 ` pinskia at physics dot uc dot edu
` (10 subsequent siblings)
15 siblings, 1 reply; 21+ messages in thread
From: trick at icculus dot org @ 2005-12-22 10:38 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from trick at icculus dot org 2005-12-22 10:38 -------
Maybe you could add a new variable attribute so that these warnings could at
least be avoided in cases where the coder knows the code is correct ?
Something like:
int x __attribute__((__notuninited__));
if (y) x = 0;
if (y) use(x);
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5035
^ permalink raw reply [flat|nested] 21+ messages in thread* Re: [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
2005-12-22 10:38 ` trick at icculus dot org
@ 2005-12-22 14:22 ` Andrew Pinski
0 siblings, 0 replies; 21+ messages in thread
From: Andrew Pinski @ 2005-12-22 14:22 UTC (permalink / raw)
To: gcc-bugzilla; +Cc: gcc-bugs
On Dec 22, 2005, at 5:38 AM, trick at icculus dot org wrote:
>
>
> ------- Comment #10 from trick at icculus dot org 2005-12-22 10:38
> -------
> Maybe you could add a new variable attribute so that these warnings
> could at
> least be avoided in cases where the coder knows the code is correct ?
> Something like:
>
> int x __attribute__((__notuninited__));
int x = x;
Will make the warning go away, plus this is documented in the options
section
under -Winit-self.
-- Pinski
^ permalink raw reply [flat|nested] 21+ messages in thread
* [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
[not found] <bug-5035-1331@http.gcc.gnu.org/bugzilla/>
` (4 preceding siblings ...)
2005-12-22 10:38 ` trick at icculus dot org
@ 2005-12-22 14:22 ` pinskia at physics dot uc dot edu
2006-01-29 18:05 ` pinskia at gcc dot gnu dot org
` (9 subsequent siblings)
15 siblings, 0 replies; 21+ messages in thread
From: pinskia at physics dot uc dot edu @ 2005-12-22 14:22 UTC (permalink / raw)
To: gcc-bugs
------- Comment #11 from pinskia at gcc dot gnu dot org 2005-12-22 14:22 -------
Subject: Re: Incorrectly produces '`<var>' might be used uninitialized in this
function'
On Dec 22, 2005, at 5:38 AM, trick at icculus dot org wrote:
>
>
> ------- Comment #10 from trick at icculus dot org 2005-12-22 10:38
> -------
> Maybe you could add a new variable attribute so that these warnings
> could at
> least be avoided in cases where the coder knows the code is correct ?
> Something like:
>
> int x __attribute__((__notuninited__));
int x = x;
Will make the warning go away, plus this is documented in the options
section
under -Winit-self.
-- Pinski
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5035
^ permalink raw reply [flat|nested] 21+ messages in thread* [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
[not found] <bug-5035-1331@http.gcc.gnu.org/bugzilla/>
` (5 preceding siblings ...)
2005-12-22 14:22 ` pinskia at physics dot uc dot edu
@ 2006-01-29 18:05 ` pinskia at gcc dot gnu dot org
2006-03-10 15:32 ` dnovillo at gcc dot gnu dot org
` (8 subsequent siblings)
15 siblings, 0 replies; 21+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-01-29 18:05 UTC (permalink / raw)
To: gcc-bugs
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.1.0 |---
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5035
^ permalink raw reply [flat|nested] 21+ messages in thread* [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
[not found] <bug-5035-1331@http.gcc.gnu.org/bugzilla/>
` (6 preceding siblings ...)
2006-01-29 18:05 ` pinskia at gcc dot gnu dot org
@ 2006-03-10 15:32 ` dnovillo at gcc dot gnu dot org
2006-04-24 17:06 ` pinskia at gcc dot gnu dot org
` (7 subsequent siblings)
15 siblings, 0 replies; 21+ messages in thread
From: dnovillo at gcc dot gnu dot org @ 2006-03-10 15:32 UTC (permalink / raw)
To: gcc-bugs
--
dnovillo at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|dnovillo at gcc dot gnu dot |unassigned at gcc dot gnu
|org |dot org
Status|REOPENED |NEW
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5035
^ permalink raw reply [flat|nested] 21+ messages in thread* [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
[not found] <bug-5035-1331@http.gcc.gnu.org/bugzilla/>
` (7 preceding siblings ...)
2006-03-10 15:32 ` dnovillo at gcc dot gnu dot org
@ 2006-04-24 17:06 ` pinskia at gcc dot gnu dot org
2006-06-13 15:43 ` dberlin at gcc dot gnu dot org
` (6 subsequent siblings)
15 siblings, 0 replies; 21+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-04-24 17:06 UTC (permalink / raw)
To: gcc-bugs
------- Comment #12 from pinskia at gcc dot gnu dot org 2006-04-24 17:06 -------
*** Bug 27289 has been marked as a duplicate of this bug. ***
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |fnf at specifix dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5035
^ permalink raw reply [flat|nested] 21+ messages in thread* [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
[not found] <bug-5035-1331@http.gcc.gnu.org/bugzilla/>
` (8 preceding siblings ...)
2006-04-24 17:06 ` pinskia at gcc dot gnu dot org
@ 2006-06-13 15:43 ` dberlin at gcc dot gnu dot org
2006-12-13 7:31 ` pinskia at gcc dot gnu dot org
` (5 subsequent siblings)
15 siblings, 0 replies; 21+ messages in thread
From: dberlin at gcc dot gnu dot org @ 2006-06-13 15:43 UTC (permalink / raw)
To: gcc-bugs
------- Comment #13 from dberlin at gcc dot gnu dot org 2006-06-13 15:22 -------
Some year we'll have to use the control dependence graph to see if all the
conditions are the same :)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5035
^ permalink raw reply [flat|nested] 21+ messages in thread* [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
[not found] <bug-5035-1331@http.gcc.gnu.org/bugzilla/>
` (9 preceding siblings ...)
2006-06-13 15:43 ` dberlin at gcc dot gnu dot org
@ 2006-12-13 7:31 ` pinskia at gcc dot gnu dot org
2007-04-24 19:06 ` pinskia at gcc dot gnu dot org
` (4 subsequent siblings)
15 siblings, 0 replies; 21+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-12-13 7:31 UTC (permalink / raw)
To: gcc-bugs
------- Comment #15 from pinskia at gcc dot gnu dot org 2006-12-13 07:31 -------
*** Bug 30086 has been marked as a duplicate of this bug. ***
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |midoegal at web dot de
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5035
^ permalink raw reply [flat|nested] 21+ messages in thread* [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
[not found] <bug-5035-1331@http.gcc.gnu.org/bugzilla/>
` (10 preceding siblings ...)
2006-12-13 7:31 ` pinskia at gcc dot gnu dot org
@ 2007-04-24 19:06 ` pinskia at gcc dot gnu dot org
2007-08-22 17:49 ` manu at gcc dot gnu dot org
` (3 subsequent siblings)
15 siblings, 0 replies; 21+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2007-04-24 19:06 UTC (permalink / raw)
To: gcc-bugs
------- Comment #16 from pinskia at gcc dot gnu dot org 2007-04-24 20:05 -------
*** Bug 31688 has been marked as a duplicate of this bug. ***
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |burnus at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5035
^ permalink raw reply [flat|nested] 21+ messages in thread* [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
[not found] <bug-5035-1331@http.gcc.gnu.org/bugzilla/>
` (11 preceding siblings ...)
2007-04-24 19:06 ` pinskia at gcc dot gnu dot org
@ 2007-08-22 17:49 ` manu at gcc dot gnu dot org
2007-08-22 18:07 ` burnus at gcc dot gnu dot org
` (2 subsequent siblings)
15 siblings, 0 replies; 21+ messages in thread
From: manu at gcc dot gnu dot org @ 2007-08-22 17:49 UTC (permalink / raw)
To: gcc-bugs
------- Comment #17 from manu at gcc dot gnu dot org 2007-08-22 17:48 -------
The warning is not emitted any more in GCC 4.1.2 and I am fairly sure that this
case is covered by gcc.dg/uninit-5.c and gcc.dg/uninit-9.c, so I am tempted to
close this as fixed.
--
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=5035
^ permalink raw reply [flat|nested] 21+ messages in thread* [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
[not found] <bug-5035-1331@http.gcc.gnu.org/bugzilla/>
` (12 preceding siblings ...)
2007-08-22 17:49 ` manu at gcc dot gnu dot org
@ 2007-08-22 18:07 ` burnus at gcc dot gnu dot org
2007-08-22 18:47 ` manu at gcc dot gnu dot org
2008-02-01 17:06 ` manu at gcc dot gnu dot org
15 siblings, 0 replies; 21+ messages in thread
From: burnus at gcc dot gnu dot org @ 2007-08-22 18:07 UTC (permalink / raw)
To: gcc-bugs
------- Comment #18 from burnus at gcc dot gnu dot org 2007-08-22 18:07 -------
> so I am tempted to close this as fixed.
At least PR 27289 and PR 29479 (marked as duplicate of this PR) seem still to
show the bug.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5035
^ permalink raw reply [flat|nested] 21+ messages in thread* [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
[not found] <bug-5035-1331@http.gcc.gnu.org/bugzilla/>
` (13 preceding siblings ...)
2007-08-22 18:07 ` burnus at gcc dot gnu dot org
@ 2007-08-22 18:47 ` manu at gcc dot gnu dot org
2008-02-01 17:06 ` manu at gcc dot gnu dot org
15 siblings, 0 replies; 21+ messages in thread
From: manu at gcc dot gnu dot org @ 2007-08-22 18:47 UTC (permalink / raw)
To: gcc-bugs
------- Comment #19 from manu at gcc dot gnu dot org 2007-08-22 18:47 -------
(In reply to comment #18)
> > so I am tempted to close this as fixed.
>
> At least PR 27289 and PR 29479 (marked as duplicate of this PR) seem still to
> show the bug.
>
They shouldn't be duplicates then. Here, the warning does not show up because
CCP is assuming that the uninitialized value of b is 10. Thus, the return value
is either 10 or 0 but never "uninitialized".
PR29479 seems a duplicate of PR27289 (the latter seems a reduced testcase of
the former). The warning shows up because: 1) SRA generates a PHI node that
contains the uninitialized value 2) CCP is not working here.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5035
^ permalink raw reply [flat|nested] 21+ messages in thread* [Bug tree-optimization/5035] Incorrectly produces '`<var>' might be used uninitialized in this function'
[not found] <bug-5035-1331@http.gcc.gnu.org/bugzilla/>
` (14 preceding siblings ...)
2007-08-22 18:47 ` manu at gcc dot gnu dot org
@ 2008-02-01 17:06 ` manu at gcc dot gnu dot org
15 siblings, 0 replies; 21+ messages in thread
From: manu at gcc dot gnu dot org @ 2008-02-01 17:06 UTC (permalink / raw)
To: gcc-bugs
------- Comment #20 from manu at gcc dot gnu dot org 2008-02-01 17:05 -------
See comment 17 and comment 19. This is fixed by chance by CCP, so not worth to
keep it open.
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5035
^ permalink raw reply [flat|nested] 21+ messages in thread