Re: PR55124 - tentative patch for ICE in PRE

2012-11-30 Thread Richard Biener
On Wed, Nov 28, 2012 at 3:05 PM, Tom de Vries wrote: > On 27/11/12 13:41, Richard Biener wrote: >> On Mon, Nov 19, 2012 at 3:33 AM, Tom de Vries wrote: >>> Richard, >>> >>> Consider the PR55124 example test.c: >>> ... >>> int a, b; >>> long c; >>> >>> static void inline >>> f2 (void) >>> { >>>

Re: PR55124 - tentative patch for ICE in PRE

2012-11-29 Thread Richard Biener
On Thu, Nov 29, 2012 at 1:14 PM, Tom de Vries wrote: > On 29/11/12 11:26, Richard Biener wrote: >> I'm continuing trying to move value-ids back to PRE land. Your patch >> would be nice in a form that verifies the order is indeed topological, >> maybe you can re-work it in a way that does this in

Re: PR55124 - tentative patch for ICE in PRE

2012-11-29 Thread Tom de Vries
On 29/11/12 11:26, Richard Biener wrote: > I'm continuing trying to move value-ids back to PRE land. Your patch > would be nice in a form that verifies the order is indeed topological, > maybe you can re-work it in a way that does this in > sorted_array_from_bitmap_set in a ENABLE_CHECKING piece?

Re: PR55124 - tentative patch for ICE in PRE

2012-11-29 Thread Richard Biener
On Wed, Nov 28, 2012 at 3:05 PM, Tom de Vries wrote: > On 27/11/12 13:41, Richard Biener wrote: >> On Mon, Nov 19, 2012 at 3:33 AM, Tom de Vries wrote: >>> Richard, >>> >>> Consider the PR55124 example test.c: >>> ... >>> int a, b; >>> long c; >>> >>> static void inline >>> f2 (void) >>> { >>>

Re: PR55124 - tentative patch for ICE in PRE

2012-11-28 Thread Richard Biener
On Wed, Nov 28, 2012 at 3:35 PM, Richard Biener wrote: > On Wed, Nov 28, 2012 at 3:29 PM, Richard Biener > wrote: >> On Wed, Nov 28, 2012 at 3:05 PM, Tom de Vries wrote: >>> On 27/11/12 13:41, Richard Biener wrote: On Mon, Nov 19, 2012 at 3:33 AM, Tom de Vries wrote: > Richard, >

Re: PR55124 - tentative patch for ICE in PRE

2012-11-28 Thread Richard Biener
On Wed, Nov 28, 2012 at 3:29 PM, Richard Biener wrote: > On Wed, Nov 28, 2012 at 3:05 PM, Tom de Vries wrote: >> On 27/11/12 13:41, Richard Biener wrote: >>> On Mon, Nov 19, 2012 at 3:33 AM, Tom de Vries >>> wrote: Richard, Consider the PR55124 example test.c: ... int a

Re: PR55124 - tentative patch for ICE in PRE

2012-11-28 Thread Richard Biener
On Wed, Nov 28, 2012 at 3:05 PM, Tom de Vries wrote: > On 27/11/12 13:41, Richard Biener wrote: >> On Mon, Nov 19, 2012 at 3:33 AM, Tom de Vries wrote: >>> Richard, >>> >>> Consider the PR55124 example test.c: >>> ... >>> int a, b; >>> long c; >>> >>> static void inline >>> f2 (void) >>> { >>>

Re: PR55124 - tentative patch for ICE in PRE

2012-11-28 Thread Tom de Vries
On 27/11/12 13:41, Richard Biener wrote: > On Mon, Nov 19, 2012 at 3:33 AM, Tom de Vries wrote: >> Richard, >> >> Consider the PR55124 example test.c: >> ... >> int a, b; >> long c; >> >> static void inline >> f2 (void) >> { >> unsigned long k = 1; >> >> foo (b ? k = 0 : 0); >> >> b = (((c =

Re: PR55124 - tentative patch for ICE in PRE

2012-11-27 Thread Richard Biener
On Mon, Nov 19, 2012 at 3:33 AM, Tom de Vries wrote: > Richard, > > Consider the PR55124 example test.c: > ... > int a, b; > long c; > > static void inline > f2 (void) > { > unsigned long k = 1; > > foo (b ? k = 0 : 0); > > b = (((c = b) > ? (k ?: (c = 0)) > : a) >* c

PR55124 - tentative patch for ICE in PRE

2012-11-18 Thread Tom de Vries
Richard, Consider the PR55124 example test.c: ... int a, b; long c; static void inline f2 (void) { unsigned long k = 1; foo (b ? k = 0 : 0); b = (((c = b) ? (k ?: (c = 0)) : a) * c); } void f1 (void) { f2 (); a = b | c; } ... when compiling with -O2, we're run