aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2021-11-30 09:48:59 +0100
committerJakub Jelinek <jakub@redhat.com>2021-11-30 09:49:54 +0100
commit2af2f55a500adad73451f3b859cfaa8974920caf (patch)
treec89fb66e50d84fb5bdecf9b2e4fabcf2c5ac4bf6
parentc39d77f252e895306ef88c1efb3eff04e4232554 (diff)
downloadgcc-2af2f55a500adad73451f3b859cfaa8974920caf.zip
gcc-2af2f55a500adad73451f3b859cfaa8974920caf.tar.gz
gcc-2af2f55a500adad73451f3b859cfaa8974920caf.tar.bz2
c++: Small incremental tweak to source_location::current() folding
I've already committed the patch, but perhaps we shouldn't do it in cp_fold where it will be folded even for warnings etc. and the locations might not be the final yet. This patch moves it to cp_fold_r so that it is done just once for each function and just once for each static initializer. 2021-11-30 Jakub Jelinek <jakub@redhat.com> * cp-gimplify.c (cp_fold_r): Perform folding of std::source_location::current() calls here... (cp_fold): ... rather than here.
-rw-r--r--gcc/cp/cp-gimplify.c15
1 files changed, 7 insertions, 8 deletions
diff --git a/gcc/cp/cp-gimplify.c b/gcc/cp/cp-gimplify.c
index 2fbb423..0988655 100644
--- a/gcc/cp/cp-gimplify.c
+++ b/gcc/cp/cp-gimplify.c
@@ -930,6 +930,13 @@ cp_fold_r (tree *stmt_p, int *walk_subtrees, void *data)
}
break;
+ case CALL_EXPR:
+ if (tree fndecl = cp_get_callee_fndecl_nofold (stmt))
+ if (DECL_IMMEDIATE_FUNCTION_P (fndecl)
+ && source_location_current_p (fndecl))
+ *stmt_p = stmt = cxx_constant_value (stmt);
+ break;
+
default:
break;
}
@@ -2672,14 +2679,6 @@ cp_fold (tree x)
int sv = optimize, nw = sv;
tree callee = get_callee_fndecl (x);
- if (tree fndecl = cp_get_callee_fndecl_nofold (x))
- if (DECL_IMMEDIATE_FUNCTION_P (fndecl)
- && source_location_current_p (fndecl))
- {
- x = cxx_constant_value (x);
- break;
- }
-
/* Some built-in function calls will be evaluated at compile-time in
fold (). Set optimize to 1 when folding __builtin_constant_p inside
a constexpr function so that fold_builtin_1 doesn't fold it to 0. */