Attachment #54142 for bug #108166

View | Details | Return to bug 108166
Collapse All | Expand All

Lines 1491-1496 value_replacement (basic_block cond_bb, Link Here

(-)gcc/tree-ssa-phiopt.cc.jj (+6 lines)
1491	default:	1491	default:
1492	break;	1492	break;
1493	}	1493	}
		1494	if (equal_p)
		1495	/* After the optimization PHI result can have value
		1496	which it couldn't have previously.
		1497	We could instead of resetting it union the range
		1498	info with oarg. */
		1499	reset_flow_sensitive_info (gimple_phi_result (phi));
1494	if (equal_p && MAY_HAVE_DEBUG_BIND_STMTS)	1500	if (equal_p && MAY_HAVE_DEBUG_BIND_STMTS)
1495	{	1501	{
1496	imm_use_iterator imm_iter;	1502	imm_use_iterator imm_iter;




// PR tree-optimization/108166
// { dg-do run }

bool a, b;
int d, c;

const int &
foo (const int &f, const int &g)
{
  return !f ? f : g;
}

__attribute__((noipa)) void
bar (int)
{
}

int
main ()
{
  c = foo (b, 0) > ((b ? d : b) ?: 8);
  a = b ? d : b;
  bar (a);
  if (a != 0)
    __builtin_abort ();
}

Return to bug 108166

Line 0 Link Here

(-)gcc/testsuite/g++.dg/torture/pr108166.C.jj (+26 lines)
	1	// PR tree-optimization/108166
	2	// { dg-do run }
	3
	4	bool a, b;
	5	int d, c;
	6
	7	const int &
	8	foo (const int &f, const int &g)
	9	{
	10	return !f ? f : g;
	11	}
	12
	13	__attribute__((noipa)) void
	14	bar (int)
	15	{
	16	}
	17
	18	int
	19	main ()
	20	{
	21	c = foo (b, 0) > ((b ? d : b) ?: 8);
	22	a = b ? d : b;
	23	bar (a);
	24	if (a != 0)
	25	__builtin_abort ();
	26	}