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

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 tom_devr...@mentor.com 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 +++

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 tom_devr...@mentor.com 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

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: ...

[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) ==

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_LEAF

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 t...@codesourcery.com