On 12/07/2016 02:24 PM, Jakub Jelinek wrote:
On Wed, Dec 07, 2016 at 02:18:15PM -0700, Jeff Law wrote:
On 12/05/2016 02:14 PM, Jakub Jelinek wrote:
Hi!
As shown on the testcase, with K&R definitions and fn prototypes with
promoted types, we can end up computing caller's value ranges in wider
t
On Wed, Dec 07, 2016 at 02:18:15PM -0700, Jeff Law wrote:
> On 12/05/2016 02:14 PM, Jakub Jelinek wrote:
> >Hi!
> >
> >As shown on the testcase, with K&R definitions and fn prototypes with
> >promoted types, we can end up computing caller's value ranges in wider
> >type than the parameter actually
On 12/05/2016 02:14 PM, Jakub Jelinek wrote:
Hi!
As shown on the testcase, with K&R definitions and fn prototypes with
promoted types, we can end up computing caller's value ranges in wider
type than the parameter actually has in the function.
The problem with that is that wide_int_storage::from
On 6 December 2016 at 14:50, Richard Biener wrote:
> On Tue, 6 Dec 2016, Jakub Jelinek wrote:
>
>> On Tue, Dec 06, 2016 at 09:36:55AM +0100, Richard Biener wrote:
>> > > As shown on the testcase, with K&R definitions and fn prototypes with
>> > > promoted types, we can end up computing caller's va
On Tue, 6 Dec 2016, Jakub Jelinek wrote:
> On Tue, Dec 06, 2016 at 09:36:55AM +0100, Richard Biener wrote:
> > > As shown on the testcase, with K&R definitions and fn prototypes with
> > > promoted types, we can end up computing caller's value ranges in wider
> > > type than the parameter actually
On Tue, Dec 06, 2016 at 09:36:55AM +0100, Richard Biener wrote:
> > As shown on the testcase, with K&R definitions and fn prototypes with
> > promoted types, we can end up computing caller's value ranges in wider
> > type than the parameter actually has in the function.
> > The problem with that is
On Mon, 5 Dec 2016, Jakub Jelinek wrote:
> Hi!
>
> As shown on the testcase, with K&R definitions and fn prototypes with
> promoted types, we can end up computing caller's value ranges in wider
> type than the parameter actually has in the function.
> The problem with that is that wide_int_storag
Hi!
As shown on the testcase, with K&R definitions and fn prototypes with
promoted types, we can end up computing caller's value ranges in wider
type than the parameter actually has in the function.
The problem with that is that wide_int_storage::from can actually wrap
around, so either as in the
