OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR middle-end/40943 (Uninitialized warning is missed when dereferencing uninitialized pointers) 

PR middle-end/40943
	* tree-ssa.c (warn_uninitialized_var): Even on LHS warn for
	operand of INDIRECT_REF.

	* gcc.dg/uninit-6.c: Re-add XFAIL.
	* gcc.dg/uninit-6-O0.c: Likewise.
	* gcc.dg/uninit-pr40943.c: New test.

From-SVN: r150380
This commit is contained in:
Jakub Jelinek 2009-08-03 21:27:32 +02:00 committed by Jakub Jelinek
parent 30a9629875
commit 23e6696f9f
6 changed files with 31 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2009-08-03 Jakub Jelinek <jakub@redhat.com>
PR middle-end/40943
* tree-ssa.c (warn_uninitialized_var): Even on LHS warn for
operand of INDIRECT_REF.
2009-08-03 Uros Bizjak <ubizjak@gmail.com>
* config/alpha/alpha.c (alpha_legitimate_constant_p): Reject CONST

7
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,10 @@
2009-08-03 Jakub Jelinek <jakub@redhat.com>
PR middle-end/40943
* gcc.dg/uninit-6.c: Re-add XFAIL.
* gcc.dg/uninit-6-O0.c: Likewise.
* gcc.dg/uninit-pr40943.c: New test.
2009-07-30 Janis Johnson <janis187@us.ibm.com>
PR c/39902

2
gcc/testsuite/gcc.dg/uninit-6-O0.c
View File

@ -39,7 +39,7 @@ make_something(int a, int b, int c)
rv = malloc (sizeof (struct tree));
rv->car = 0;
APPEND(rv, field, INTEGER_T, a); /* { dg-bogus "field" "uninitialized variable warning" } */
APPEND(rv, field, INTEGER_T, a); /* { dg-bogus "field" "uninitialized variable warning" { xfail *-*-* } } */
APPEND(rv, field, PTR_T, b);
APPEND(rv, field, INTEGER_T, c);

2
gcc/testsuite/gcc.dg/uninit-6.c
View File

@ -39,7 +39,7 @@ make_something(int a, int b, int c)
rv = malloc (sizeof (struct tree));
rv->car = 0;
APPEND(rv, field, INTEGER_T, a); /* { dg-bogus "field" "uninitialized variable warning" } */
APPEND(rv, field, INTEGER_T, a); /* { dg-bogus "field" "uninitialized variable warning" { xfail *-*-* } } */
APPEND(rv, field, PTR_T, b);
APPEND(rv, field, INTEGER_T, c);

10
gcc/testsuite/gcc.dg/uninit-pr40943.c Normal file
View File

@ -0,0 +1,10 @@
/* PR middle-end/40943 */
/* { dg-do compile } */
/* { dg-options "-O2 -Wuninitialized" } */
void
foo (void)
{
int *p;
*p = 3; /* { dg-warning "is used uninitialized" } */
}

7
gcc/tree-ssa.c
View File

@ -1472,7 +1472,12 @@ warn_uninitialized_var (tree *tp, int *walk_subtrees, void *data_)
/* We do not care about LHS. */
if (wi->is_lhs)
return NULL_TREE;
{
/* Except for operands of INDIRECT_REF. */
if (!INDIRECT_REF_P (t))
return NULL_TREE;
t = TREE_OPERAND (t, 0);
}
switch (TREE_CODE (t))
{