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

Fix PR48484

Browse Source 
From-SVN: r172229
This commit is contained in:
Xinliang David Li 2011-04-09 16:29:08 +00:00 committed by Xinliang David Li
parent b365495ab5
commit 3411bc59c6
3 changed files with 112 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 @@
2011-04-09 Xinliang David Li <davidxl@google.com>
PR tree-optimization/PR48484
* tree-ssa-uninit.c (convert_control_dep_chain_into_preds): Set
has_valid_pred lazily
2011-04-09 Duncan Sands <baldrick@free.fr>
* tree.c (array_type_nelts): Bail out if TYPE_MAX_VALUE not set.

105
gcc/testsuite/g++.dg/pr48484.C Normal file
View File

@ -0,0 +1,105 @@
/* { dg-do compile } */
/* { dg-options "-O -finline-functions -finline-small-functions -Wuninitialized" } */
struct SQObjectPtr
{
int _type;
SQObjectPtr operator = (long);
};
struct SQObjectPtrVec
{
SQObjectPtr fff (unsigned);
SQObjectPtr *_vals;
};
struct SQInstruction
{
int _arg1;
unsigned op;
unsigned _arg0;
unsigned _arg2;
};
struct SQVM
{
struct CallInfo
{
SQInstruction *_ip;
};
bool
Execute (SQObjectPtr &, long, long, long, SQObjectPtr &, unsigned, int);
bool
FOREACH_OP
(SQObjectPtr
&, SQObjectPtr &, SQObjectPtr &, SQObjectPtr &, long, int, int &);
SQObjectPtrVec _stack;
CallInfo *ci;
long _nnativecalls;
bool ShouldSuspend ();
};
struct AutoDec
{
AutoDec (long *);
~AutoDec ();
};
bool
SQVM::FOREACH_OP
(SQObjectPtr
&
o1,
SQObjectPtr & o2, SQObjectPtr &, SQObjectPtr & o4, long, int, int &jump)
{
long
nrefidx = 0;
switch (o1._type)
{
case 0x02000000:
o4 = nrefidx;
jump = 1;
return true;
case 0x00000080:
{
long
idx = 10;
o2 = idx;
jump = 0;
}
}
}
bool
SQVM::Execute
(SQObjectPtr &, long, long, long, SQObjectPtr &, unsigned, int)
{
AutoDec
ad (&_nnativecalls);
for (;;)
{
if (ShouldSuspend ())
return true;
SQInstruction
_i_ = *ci->_ip;
switch (_i_.op)
{
case 0:
{
int
tojump;
FOREACH_OP
(_stack._vals
[_i_._arg0],
_stack._vals
[_i_._arg2],
_stack._vals
[_i_._arg2],
_stack._vals[_i_._arg2], _i_._arg2, _i_._arg1, tojump);
ci += tojump; /* { dg-warning "uninitialized" "warning" } */
}
case 1:
_stack.fff (_i_._arg1);
}
}
}

4
gcc/tree-ssa-uninit.c
View File

@ -349,9 +349,6 @@ convert_control_dep_chain_into_preds (VEC(edge, heap) **dep_chains,
if (num_chains == 0 || num_chains >= MAX_NUM_CHAINS)
return false;
/* Now convert CD chains into predicates */
has_valid_pred = true;
/* Now convert the control dep chain into a set
of predicates. */
*preds = XCNEWVEC (VEC(use_pred_info_t, heap) *,
@ -412,6 +409,7 @@ convert_control_dep_chain_into_preds (VEC(edge, heap) **dep_chains,
one_pred->cond = cond_stmt;
one_pred->invert = !!(e->flags & EDGE_FALSE_VALUE);
VEC_safe_push (use_pred_info_t, heap, (*preds)[i], one_pred);
has_valid_pred = true;
}
if (!has_valid_pred)