Re: [PATCH] introduce predicate analysis class

2021-11-29 Thread Richard Biener via Gcc-patches
On Mon, Nov 29, 2021 at 4:40 PM Martin Sebor wrote: > > On 11/25/21 3:18 AM, Richard Biener wrote: > > On Mon, Aug 30, 2021 at 10:06 PM Martin Sebor via Gcc-patches > > wrote: > >> > >> The predicate analysis subset of the tree-ssa-uninit pass isn't > >> necessarily specific to the detection of u

Re: [PATCH] introduce predicate analysis class

2021-11-29 Thread Martin Sebor via Gcc-patches
On 11/25/21 3:18 AM, Richard Biener wrote: On Mon, Aug 30, 2021 at 10:06 PM Martin Sebor via Gcc-patches wrote: The predicate analysis subset of the tree-ssa-uninit pass isn't necessarily specific to the detection of uninitialized reads. Suitably parameterized, the same core logic could be use

Re: [PATCH] introduce predicate analysis class

2021-11-25 Thread Richard Biener via Gcc-patches
On Mon, Aug 30, 2021 at 10:06 PM Martin Sebor via Gcc-patches wrote: > > The predicate analysis subset of the tree-ssa-uninit pass isn't > necessarily specific to the detection of uninitialized reads. > Suitably parameterized, the same core logic could be used in > other warning passes to improve

Re: [PATCH] introduce predicate analysis class

2021-09-19 Thread Martin Sebor via Gcc-patches
On 9/18/21 3:14 PM, Martin Sebor wrote: On 9/18/21 12:46 PM, Martin Sebor wrote: On 9/17/21 10:08 PM, Jeff Law wrote: On 9/17/2021 4:05 PM, Martin Sebor wrote: On 9/2/21 10:28 AM, Jeff Law via Gcc-patches wrote: On 8/30/2021 2:03 PM, Martin Sebor via Gcc-patches wrote: The predicate anal

Re: [PATCH] introduce predicate analysis class

2021-09-18 Thread Martin Sebor via Gcc-patches
On 9/18/21 12:46 PM, Martin Sebor wrote: On 9/17/21 10:08 PM, Jeff Law wrote: On 9/17/2021 4:05 PM, Martin Sebor wrote: On 9/2/21 10:28 AM, Jeff Law via Gcc-patches wrote: On 8/30/2021 2:03 PM, Martin Sebor via Gcc-patches wrote: The predicate analysis subset of the tree-ssa-uninit pass i

Re: [PATCH] introduce predicate analysis class

2021-09-18 Thread Martin Sebor via Gcc-patches
On 9/17/21 10:08 PM, Jeff Law wrote: On 9/17/2021 4:05 PM, Martin Sebor wrote: On 9/2/21 10:28 AM, Jeff Law via Gcc-patches wrote: On 8/30/2021 2:03 PM, Martin Sebor via Gcc-patches wrote: The predicate analysis subset of the tree-ssa-uninit pass isn't necessarily specific to the detection

Re: [PATCH] introduce predicate analysis class

2021-09-17 Thread Jeff Law via Gcc-patches
On 9/17/2021 4:05 PM, Martin Sebor wrote: On 9/2/21 10:28 AM, Jeff Law via Gcc-patches wrote: On 8/30/2021 2:03 PM, Martin Sebor via Gcc-patches wrote: The predicate analysis subset of the tree-ssa-uninit pass isn't necessarily specific to the detection of uninitialized reads. Suitably para

Re: [PATCH] introduce predicate analysis class

2021-09-17 Thread Martin Sebor via Gcc-patches
On 9/2/21 10:28 AM, Jeff Law via Gcc-patches wrote: On 8/30/2021 2:03 PM, Martin Sebor via Gcc-patches wrote: The predicate analysis subset of the tree-ssa-uninit pass isn't necessarily specific to the detection of uninitialized reads. Suitably parameterized, the same core logic could be used

Re: [PATCH] introduce predicate analysis class

2021-09-02 Thread Jeff Law via Gcc-patches
On 8/30/2021 2:03 PM, Martin Sebor via Gcc-patches wrote: The predicate analysis subset of the tree-ssa-uninit pass isn't necessarily specific to the detection of uninitialized reads. Suitably parameterized, the same core logic could be used in other warning passes to improve their S/N ratio,