https://gcc.gnu.org/g:fa365450352ae5cc7c0078e37e641341fb48e6b6

commit r16-695-gfa365450352ae5cc7c0078e37e641341fb48e6b6
Author: Ville Voutilainen <ville.voutilai...@gmail.com>
Date:   Thu May 15 16:26:52 2025 +0300

    Further simplify the stdlib inline folding
    
    gcc/cp/ChangeLog:
            * cp-gimplify.cc (cp_fold): Do the conversion unconditionally, even 
for same-type cases.
    
    gcc/ChangeLog:
            * doc/invoke.texi: Add to_underlying to -ffold-simple-inlines.

Diff:
---
 gcc/cp/cp-gimplify.cc | 3 +--
 gcc/doc/invoke.texi   | 3 ++-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/gcc/cp/cp-gimplify.cc b/gcc/cp/cp-gimplify.cc
index eab55504b050..f7bd453bc5eb 100644
--- a/gcc/cp/cp-gimplify.cc
+++ b/gcc/cp/cp-gimplify.cc
@@ -3347,8 +3347,7 @@ cp_fold (tree x, fold_flags_t flags)
                || id_equal (DECL_NAME (callee), "as_const")))
          {
            r = CALL_EXPR_ARG (x, 0);
-           if (!same_type_p (TREE_TYPE (x), TREE_TYPE (r)))
-             r = build_nop (TREE_TYPE (x), r);
+           r = build_nop (TREE_TYPE (x), r);
            x = cp_fold (r, flags);
            break;
          }
diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
index ee7180110e19..83c63ce6ae53 100644
--- a/gcc/doc/invoke.texi
+++ b/gcc/doc/invoke.texi
@@ -3348,7 +3348,8 @@ aliases, the default is @option{-fno-extern-tls-init}.
 @item -ffold-simple-inlines
 @itemx -fno-fold-simple-inlines
 Permit the C++ frontend to fold calls to @code{std::move}, @code{std::forward},
-@code{std::addressof} and @code{std::as_const}.  In contrast to inlining, this
+@code{std::addressof}, @code{std::to_underlying}
+and @code{std::as_const}.  In contrast to inlining, this
 means no debug information will be generated for such calls.  Since these
 functions are rarely interesting to debug, this flag is enabled by default
 unless @option{-fno-inline} is active.

Reply via email to