Various minor C++ PATCHes

Message ID
State New
Headers show

Commit Message

Jason Merrill Oct. 1, 2012, 11:55 p.m.
1) I wanted a lang-specific flag for my thread_local work, so I took the 
one away from __PRETTY_FUNCTION__, which really doesn't need it.

2) I didn't end up wanting to use a flag in DECL_LANG_SPECIFIC, but it
still makes sense to check for appropriate tree codes in DECL_FRIEND_P 

3) DECL_NONTRIVIALLY_INITIALIZED_P currently means "has a user-written 
initializer" and it would be more useful to me if it actually meant "has 
non-trivial initialization" so that a non-trivial default constructor 
counts even if there is nothing written in the variable declaration. 
The one existing reader of this flag seems to agree with me.

Tested x86_64-pc-linux-gnu, applying to trunk.


commit 2574183057d9bc473146de7e7daad0a393e3da66
Author: Jason Merrill <>
Date:   Mon Oct 1 09:36:09 2012 -0400

    	* decl.c (check_initializer): Set DECL_NONTRIVIALLY_INITIALIZED_P
    	for a constructor call.
    	(decl_jump_unsafe): So don't bother checking
    	* call.c (set_up_extended_ref_temp): Set

diff --git a/gcc/cp/call.c b/gcc/cp/call.c
index 6f7e346..d0492d8 100644
--- a/gcc/cp/call.c
+++ b/gcc/cp/call.c
@@ -8792,6 +8792,9 @@  set_up_extended_ref_temp (tree decl, tree expr, VEC(tree,gc) **cleanups,
     = extend_ref_init_temps (decl, TARGET_EXPR_INITIAL (expr), cleanups);
+  /* Any reference temp has a non-trivial initializer.  */
   /* If the initializer is constant, put it in DECL_INITIAL so we get
      static initialization and use in constant expressions.  */
   init = maybe_constant_init (expr);
diff --git a/gcc/cp/cp-tree.h b/gcc/cp/cp-tree.h
index e4f3761..bfe7ad7 100644
--- a/gcc/cp/cp-tree.h
+++ b/gcc/cp/cp-tree.h
@@ -2271,12 +2271,13 @@  struct GTY((variable_size)) lang_decl {
 /* Nonzero for a VAR_DECL means that the variable's initialization (if
    any) has been processed.  (In general, DECL_INITIALIZED_P is
-   !DECL_EXTERN, but static data members may be initialized even if
+   !DECL_EXTERNAL, but static data members may be initialized even if
    not defined.)  */
-/* Nonzero for a VAR_DECL iff an explicit initializer was provided.  */
+/* Nonzero for a VAR_DECL iff an explicit initializer was provided
+   or a non-trivial constructor is called.  */
diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c
index d4c78e1..d0933ef 100644
--- a/gcc/cp/decl.c
+++ b/gcc/cp/decl.c
@@ -2679,8 +2679,7 @@  decl_jump_unsafe (tree decl)
   type = strip_array_types (type);
-  if (type_has_nontrivial_default_init (TREE_TYPE (decl))
     return 2;
@@ -5581,6 +5580,11 @@  check_initializer (tree decl, tree init, int flags, VEC(tree,gc) **cleanups)
 	  init_code = build_aggr_init_full_exprs (decl, init, flags);
+	  /* A constructor call is a non-trivial initializer even if
+	     it isn't explicitly written.  */
+	  if (TREE_SIDE_EFFECTS (init_code))
 	  /* If this is a constexpr initializer, expand_default_init will
 	     have returned an INIT_EXPR rather than a CALL_EXPR.  In that
 	     case, pull the initializer back out and pass it down into