On Tue, May 22, 2012 at 1:09 PM, Paolo Carlini wrote:
> On 05/22/2012 12:38 PM, Richard Guenther wrote:
>>
>> Can't be this patch though, it only lets more things pass the verifier.
>> Unless
>>
>> - /* Allow conversion from integer to offset type and vice versa.
>> */
>> + /* Allow c
On 05/22/2012 12:38 PM, Richard Guenther wrote:
Can't be this patch though, it only lets more things pass the verifier.
Unless
- /* Allow conversion from integer to offset type and vice versa. */
+ /* Allow conversion from integral to offset type and vice versa. */
if ((TRE
On Tue, May 22, 2012 at 12:26 PM, Paolo Carlini
wrote:
> On 05/16/2012 11:43 AM, Richard Guenther wrote:
>>
>> On Wed, May 16, 2012 at 9:19 AM, Paolo Bonzini wrote:
>>>
>>> OFFSET_TYPE is treated as an integral type for the purpose of conversion
>>> in fold-const.c. However, the GIMPLE verifier
On 05/16/2012 11:43 AM, Richard Guenther wrote:
On Wed, May 16, 2012 at 9:19 AM, Paolo Bonzini wrote:
OFFSET_TYPE is treated as an integral type for the purpose of conversion
in fold-const.c. However, the GIMPLE verifier disagrees, leading to
verification errors when a cast from boolean to off
On Wed, May 16, 2012 at 9:19 AM, Paolo Bonzini wrote:
> OFFSET_TYPE is treated as an integral type for the purpose of conversion
> in fold-const.c. However, the GIMPLE verifier disagrees, leading to
> verification errors when a cast from boolean to offset type is gimplified.
>
> Bootstrapped/regt
OFFSET_TYPE is treated as an integral type for the purpose of conversion
in fold-const.c. However, the GIMPLE verifier disagrees, leading to
verification errors when a cast from boolean to offset type is gimplified.
Bootstrapped/regtested x86_64-pc-linux-gnu, ok for mainline?
Paolo
2012-05-16
