vec: Simplify use with C++11 range-based 'for'.

It looks cleaner if we can use a vec* directly as a range for the C++11
range-based 'for' loop, without needing to indirect from it, and also works
with null pointers.

The change in cp_parser_late_parsing_default_args is an example of how this
can be used to simplify a simple loop over a vector.  Reverse or subset
iteration will require adding range adaptors.

I deliberately didn't format the new overloads for etags since they are
trivial.

gcc/ChangeLog:

	* vec.h (begin, end): Add overloads for vec*.
	* tree.c (build_constructor_from_vec): Remove *.

gcc/cp/ChangeLog:

	* decl2.c (clear_consteval_vfns): Remove *.
	* pt.c (do_auto_deduction): Remove *.
	* parser.c (cp_parser_late_parsing_default_args): Change loop
	to use range 'for'.

diff --git a/gcc/cp/decl2.c b/gcc/cp/decl2.c
index 1bc7b7e0197a106accb94febc4fe95a219dcae15..46069cb66a6b128972889ff62fda3dc46d32329c 100644 (file)
--- a/gcc/cp/decl2.c
+++ b/gcc/cp/decl2.c
@@ -1928,7 +1928,7 @@ static void
 clear_consteval_vfns (vec<tree> &consteval_vtables)
 {
   for (tree vtable : consteval_vtables)
-    for (constructor_elt &elt : *CONSTRUCTOR_ELTS (DECL_INITIAL (vtable)))
+    for (constructor_elt &elt : CONSTRUCTOR_ELTS (DECL_INITIAL (vtable)))
       {
        tree fn = cp_get_fndecl_from_callee (elt.value, /*fold*/false);
        if (fn && DECL_IMMEDIATE_FUNCTION_P (fn))

diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c
index 103567cd0046df75a0c0a222c3e2eacf0a8e2307..cc3da155032c8a1c46583cc66e706dcdd2ce7994 100644 (file)
--- a/gcc/cp/parser.c
+++ b/gcc/cp/parser.c
@@ -30611,9 +30611,6 @@ cp_parser_late_parsing_default_args (cp_parser *parser, tree fn)
     {
       tree default_arg = TREE_PURPOSE (parm);
       tree parsed_arg;
-      vec<tree, va_gc> *insts;
-      tree copy;
-      unsigned ix;
 
       tree parmdecl = parms[i];
       pushdecl (parmdecl);
@@ -30633,8 +30630,7 @@ cp_parser_late_parsing_default_args (cp_parser *parser, tree fn)
       TREE_PURPOSE (parm) = parsed_arg;
 
       /* Update any instantiations we've already created.  */
-      for (insts = DEFPARSE_INSTANTIATIONS (default_arg), ix = 0;
-          vec_safe_iterate (insts, ix, &copy); ix++)
+      for (tree copy : DEFPARSE_INSTANTIATIONS (default_arg))
        TREE_PURPOSE (copy) = parsed_arg;
     }
 

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 9e8113d51a3e0ce90f27f0a2c3dbfcd3b262b19b..e991a323de8fb9f4146153d5167cd6d4c3c87ea9 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -29280,7 +29280,7 @@ do_auto_deduction (tree type, tree init, tree auto_node,
       /* We don't recurse here because we can't deduce from a nested
         initializer_list.  */
       if (CONSTRUCTOR_ELTS (init))
-       for (constructor_elt &elt : *CONSTRUCTOR_ELTS (init))
+       for (constructor_elt &elt : CONSTRUCTOR_ELTS (init))
          elt.value = resolve_nondeduced_context (elt.value, complain);
     }
   else

diff --git a/gcc/tree.c b/gcc/tree.c
index 72311005f57b2f0ec8b0233c178456114eac339f..02ce5ddcd4918a063636340ba98f473d5c69c92b 100644 (file)
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -2185,7 +2185,7 @@ build_constructor_from_vec (tree type, const vec<tree, va_gc> *vals)
 {
   vec<constructor_elt, va_gc> *v = NULL;
 
-  for (tree t : *vals)
+  for (tree t : vals)
     CONSTRUCTOR_APPEND_ELT (v, NULL_TREE, t);
 
   return build_constructor (type, v);

diff --git a/gcc/vec.h b/gcc/vec.h
index 90904515ea0017896cf3ed477d2c385a5d1f0c8d..09166f1bce6bb24891e845010a2cf1c4905f0ad8 100644 (file)
--- a/gcc/vec.h
+++ b/gcc/vec.h
@@ -419,6 +419,16 @@ struct GTY((user)) vec
 {
 };
 
+/* Allow C++11 range-based 'for' to work directly on vec<T>*.  */
+template<typename T, typename A, typename L>
+T* begin (vec<T,A,L> *v) { return v ? v->begin () : nullptr; }
+template<typename T, typename A, typename L>
+T* end (vec<T,A,L> *v) { return v ? v->end () : nullptr; }
+template<typename T, typename A, typename L>
+const T* begin (const vec<T,A,L> *v) { return v ? v->begin () : nullptr; }
+template<typename T, typename A, typename L>
+const T* end (const vec<T,A,L> *v) { return v ? v->end () : nullptr; }
+
 /* Generic vec<> debug helpers.
 
    These need to be instantiated for each vec<TYPE> used throughout