[Bug tree-optimization/65826] New: mark ifn_va_arg as ECF_LEAF

[vries at gcc dot gnu.org]

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