On Thu, Apr 27, 2023 at 12:10:40PM +, Richard Biener wrote:
> The following generalizes the range-op for __builtin_expect
> by using the fnspec machinery.
>
> We've defered this to stage1 - bootstrapped and tested on
> x86_64-unknown-linux-gnu.
>
> OK?
>
> Thanks,
> Richard.
>
> PR t
The following generalizes the range-op for __builtin_expect
by using the fnspec machinery.
We've defered this to stage1 - bootstrapped and tested on
x86_64-unknown-linux-gnu.
OK?
Thanks,
Richard.
PR tree-optimization/109170
* gimple-range-op.cc (gimple_range_op_handler::maybe_b
On Tue, Mar 21, 2023 at 08:21:18AM +, Richard Biener wrote:
> On Mon, 20 Mar 2023, Jakub Jelinek wrote:
>
> > On Mon, Mar 20, 2023 at 12:12:14PM +, Richard Biener wrote:
> > > PR tree-optimization/109170
> > > * gimple-range-op.cc (cfn_pass_through_arg1): New.
> > > (gimple_range_op_
38e5a7942cfcb8c7444e6cca35d7523 Mon Sep 17 00:00:00 2001
From: Richard Biener
Date: Fri, 17 Mar 2023 13:14:49 +0100
Subject: [PATCH] tree-optimization/109170 - bogus use-after-free with
__builtin_expect
To: gcc-patches@gcc.gnu.org
The following adds a missing range-op for __builtin_expect whi
On Mon, Mar 20, 2023 at 12:12:14PM +, Richard Biener wrote:
> PR tree-optimization/109170
> * gimple-range-op.cc (cfn_pass_through_arg1): New.
> (gimple_range_op_handler::maybe_builtin_call): Handle
> __builtin_expect and similar via cfn_pass_through_arg1
> and ins
HI). I also see that
> we handle any PHI this way, not just PHIs defined in the same
> BB as the condition which op we're ultimatively interested in.
>
> So my conclusion is that currently it's pure luck the testcase
> "works", and thus adjusting it and ope
ichard.
> > >From feb846cbff9774125d8401dfeacd8a4b9c2dccfa Mon Sep 17 00:00:00 2001
> > From: Richard Biener
> > Date: Fri, 17 Mar 2023 13:14:49 +0100
> > Subject: [PATCH] tree-optimization/109170 - bogus use-after-free with
> > __builtin_expect
> > To: gcc-patc
gt; Date: Fri, 17 Mar 2023 13:14:49 +0100
> Subject: [PATCH] tree-optimization/109170 - bogus use-after-free with
> __builtin_expect
> To: gcc-patches@gcc.gnu.org
>
> The following adds a missing range-op for __builtin_expect which
> helps -Wuse-after-free to detect the case a real
On 3/17/23 08:59, Jakub Jelinek wrote:
On Fri, Mar 17, 2023 at 12:53:48PM +, Richard Biener wrote:
On Fri, 17 Mar 2023, Jakub Jelinek wrote:
On Fri, Mar 17, 2023 at 01:18:32PM +0100, Richard Biener wrote:
The following adds a missing range-op for __builtin_expect which
helps -Wuse-after
s [1, +INF] when we enter the loop). I
have difficulties in restoring the testcase by massaging it,
will try a bit more.
I've implemented the fnspec variant as well now and then we also
CSE the __builtin_expct call, see below for this patch variant.
Richard.
>From feb846cbff9774125d8401df
On Fri, Mar 17, 2023 at 12:53:48PM +, Richard Biener wrote:
> On Fri, 17 Mar 2023, Jakub Jelinek wrote:
>
> > On Fri, Mar 17, 2023 at 01:18:32PM +0100, Richard Biener wrote:
> > > The following adds a missing range-op for __builtin_expect which
> > > helps -Wuse-after-free to detect the case a
On Fri, 17 Mar 2023, Jakub Jelinek wrote:
> On Fri, Mar 17, 2023 at 01:18:32PM +0100, Richard Biener wrote:
> > The following adds a missing range-op for __builtin_expect which
> > helps -Wuse-after-free to detect the case a realloc original
> > pointer is used when the result was NULL.
> >
> > B
On Fri, Mar 17, 2023 at 01:18:32PM +0100, Richard Biener wrote:
> The following adds a missing range-op for __builtin_expect which
> helps -Wuse-after-free to detect the case a realloc original
> pointer is used when the result was NULL.
>
> Bootstrap and regtest running on x86_64-unknown-linux-gn
The following adds a missing range-op for __builtin_expect which
helps -Wuse-after-free to detect the case a realloc original
pointer is used when the result was NULL.
Bootstrap and regtest running on x86_64-unknown-linux-gnu, OK?
PR tree-optimization/109170
* gimple-range-op.cc (
14 matches
Mail list logo
