Re: [PATCH][PR65802] Mark ifn_va_arg with ECF_NOTHROW

2015-04-26 Thread Tom de Vries
On 21-04-15 09:50, Richard Biener wrote: On Tue, 21 Apr 2015, Jan Hubicka wrote: Mark ifn_va_arg with ECF_NOTHROW You can definitely make it ECF_LEAF too. I wonder if we can make it ECF_CONST or at leat PURE this would help to keep variadic functions const/pure that may be moderately intere

Re: [PATCH][PR65802] Mark ifn_va_arg with ECF_NOTHROW

2015-04-24 Thread Tom de Vries
On 24-04-15 05:25, Bin.Cheng wrote: On Tue, Apr 21, 2015 at 3:10 PM, Tom de Vries wrote: Hi, this patch fixes PR65802. diff --git a/gcc/testsuite/g++.dg/ pr65802.C b/gcc/testsuite/g++.dg/pr65802.C new file mode 100644 index 000..26e5317 --- /dev/null +++ b/gcc/testsuite/g++.dg/pr65802.C

Re: [PATCH][PR65802] Mark ifn_va_arg with ECF_NOTHROW

2015-04-23 Thread Bin.Cheng
On Tue, Apr 21, 2015 at 3:10 PM, Tom de Vries wrote: > Hi, > > this patch fixes PR65802. > > diff --git a/gcc/testsuite/g++.dg/ pr65802.C b/gcc/testsuite/g++.dg/pr65802.C > new file mode 100644 > index 000..26e5317 > --- /dev/null > +++ b/gcc/testsuite/g++.dg/pr65802.C > @@ -0,0 +1,29 @@ > +//

Re: [PATCH][PR65802] Mark ifn_va_arg with ECF_NOTHROW

2015-04-21 Thread Richard Biener
On Tue, 21 Apr 2015, Jan Hubicka wrote: > > Mark ifn_va_arg with ECF_NOTHROW > > You can defnitly make it ECF_LEAF too. I wonder if we can make it ECF_CONST > or at leat PURE > this would help to keep variadic functions const/pure that may be moderately > interesting > in practice. Yes to ECF_

Re: [PATCH][PR65802] Mark ifn_va_arg with ECF_NOTHROW

2015-04-21 Thread Jan Hubicka
> Mark ifn_va_arg with ECF_NOTHROW You can defnitly make it ECF_LEAF too. I wonder if we can make it ECF_CONST or at leat PURE this would help to keep variadic functions const/pure that may be moderately interesting in practice. Honza > > 2015-04-20 Tom de Vries > > PR tree-optimizat

Re: [PATCH][PR65802] Mark ifn_va_arg with ECF_NOTHROW

2015-04-21 Thread Richard Biener
On Tue, 21 Apr 2015, Tom de Vries wrote: > Hi, > > this patch fixes PR65802. > > The problem described in PR65802 is that when compiling the test-case > (included in the patch below) at -O0, the compiler runs into a gcc_assert ICE > in redirect_eh_edge_1 during pass_cleanup_eh: > ... > g

[PATCH][PR65802] Mark ifn_va_arg with ECF_NOTHROW

2015-04-21 Thread Tom de Vries
Hi, this patch fixes PR65802. The problem described in PR65802 is that when compiling the test-case (included in the patch below) at -O0, the compiler runs into a gcc_assert ICE in redirect_eh_edge_1 during pass_cleanup_eh: ... gcc_assert (lookup_stmt_eh_lp (throw_stmt) == old_lp_nr