Re: [PATCH GCC11]Improve uninitialized warning with value range info

2020-11-06 Thread Jeff Law via Gcc-patches
t;> Cc:bin.cheng ; GCC Patches >> >> Subject:Re: [PATCH GCC11]Improve uninitialized warning with value range info >> >> >> On Thu, Jan 9, 2020 at 11:17 AM Bin.Cheng wrote: >>>> I am not quite follow here. Do you mean we collect three cases "i < >>>>

Re: [PATCH GCC11]Improve uninitialized warning with value range info

2020-01-14 Thread Richard Biener
On Mon, Jan 13, 2020 at 3:15 AM bin.cheng wrote: > > -- > Sender:Richard Biener > Sent At:2020 Jan. 9 (Thu.) 20:01 > Recipient:Bin.Cheng > Cc:bin.cheng ; GCC Patches > > Subject:Re: [PATCH GCC11]Improve un

Re: [PATCH GCC11]Improve uninitialized warning with value range info

2020-01-13 Thread Jeff Law
On Wed, 2020-01-08 at 12:58 +0800, bin.cheng wrote: > Hi, > > Function use_pred_not_overlap_with_undef_path_pred of > pass_late_warn_uninitialized > checks if predicate of variable use overlaps with predicate of undefined > control flow path. > For now, it only checks ssa_var comparing against c

Re: [PATCH GCC11]Improve uninitialized warning with value range info

2020-01-12 Thread bin.cheng
-- Sender:Richard Biener Sent At:2020 Jan. 9 (Thu.) 20:01 Recipient:Bin.Cheng Cc:bin.cheng ; GCC Patches Subject:Re: [PATCH GCC11]Improve uninitialized warning with value range info On Thu, Jan 9, 2020 at 11:17 AM Bin.Cheng

Re: [PATCH GCC11]Improve uninitialized warning with value range info

2020-01-09 Thread Richard Biener
nder:bin.cheng > > > > > Sent At:2020 Jan. 8 (Wed.) 12:58 > > > > > Recipient:GCC Patches > > > > > Subject:[PATCH GCC11]Improve uninitialized warning with value range > > > > > info > > > > > > > > > > >

Re: [PATCH GCC11]Improve uninitialized warning with value range info

2020-01-09 Thread Bin.Cheng
gt; wrote: > > > > > > > > Sorry, here is the patch. > > > > -- > > > > Sender:bin.cheng > > > > Sent At:2020 Jan. 8 (Wed.) 12:58 > > > > Recipient:GCC Patches > >

Re: [PATCH GCC11]Improve uninitialized warning with value range info

2020-01-08 Thread Richard Biener
> > > > Sorry, here is the patch. > > > -- > > > Sender:bin.cheng > > > Sent At:2020 Jan. 8 (Wed.) 12:58 > > > Recipient:GCC Patches > > > Subject:[PATCH GCC11]Improve uninitialized warning with value range info > > > > > > > > > Hi,

Re: [PATCH GCC11]Improve uninitialized warning with value range info

2020-01-08 Thread Bin.Cheng
ed.) 12:58 > > Recipient:GCC Patches > > Subject:[PATCH GCC11]Improve uninitialized warning with value range info > > > > > > Hi, > > > > Function use_pred_not_overlap_with_undef_path_pred of > > pass_late_warn_uninitialized > > checks if pred

Re: [PATCH GCC11]Improve uninitialized warning with value range info

2020-01-08 Thread Richard Biener
On Wed, Jan 8, 2020 at 6:01 AM bin.cheng wrote: > > Sorry, here is the patch. > -- > Sender:bin.cheng > Sent At:2020 Jan. 8 (Wed.) 12:58 > Recipient:GCC Patches > Subject:[PATCH GCC11]Improve uninitialized war

Re: [PATCH GCC11]Improve uninitialized warning with value range info

2020-01-07 Thread bin.cheng
Sorry, here is the patch. -- Sender:bin.cheng Sent At:2020 Jan. 8 (Wed.) 12:58 Recipient:GCC Patches Subject:[PATCH GCC11]Improve uninitialized warning with value range info Hi, Function use_pred_not_overlap_with_undef_path_pred

[PATCH GCC11]Improve uninitialized warning with value range info

2020-01-07 Thread bin.cheng
Hi, Function use_pred_not_overlap_with_undef_path_pred of pass_late_warn_uninitialized checks if predicate of variable use overlaps with predicate of undefined control flow path. For now, it only checks ssa_var comparing against constant, this can be improved where ssa_var compares against anot