https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65826
Bug ID: 65826
Summary: mark ifn_va_arg as ECF_LEAF
Product: gcc
Version: 6.0
Status: UNCONFIRMED
Severity: enhancement
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: vries at gcc dot gnu.org
As discussed here ( https://gcc.gnu.org/ml/gcc-patches/2015-04/msg01123.html ):
...
> You can definitely make it ECF_LEAF too.
<SNIP>
Yes to ECF_LEAF
...
Patch to be tested:
...
diff --git a/gcc/internal-fn.def b/gcc/internal-fn.def
index 7e19313..f84e871 100644
--- a/gcc/internal-fn.def
+++ b/gcc/internal-fn.def
@@ -62,4 +62,4 @@ DEF_INTERNAL_FN (ADD_OVERFLOW, ECF_CONST | ECF_LEAF |
ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (SUB_OVERFLOW, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (MUL_OVERFLOW, ECF_CONST | ECF_LEAF | ECF_NOTHROW, NULL)
DEF_INTERNAL_FN (TSAN_FUNC_EXIT, ECF_NOVOPS | ECF_LEAF | ECF_NOTHROW, NULL)
-DEF_INTERNAL_FN (VA_ARG, ECF_NOTHROW, NULL)
+DEF_INTERNAL_FN (VA_ARG, ECF_LEAF | ECF_NOTHROW, NULL)
...
