On 08/02/12 13:08, Richard Guenther wrote:
On Thu, Aug 2, 2012 at 1:42 PM, Marc Glisse <marc.gli...@inria.fr> wrote:
Hello,
this patch allows p->~T() when T is (after substitution) a vector, which is
necessary for use in std::vector for instance.
Why not include VECTOR_TYPE in ARITHMETIC_TYPE_P?
Not really, because SCALAR_TYPE_P uses ARITHMETIC_TYPE_P just below in
cp-tree.h to detect whether something is scalar or not. It would need
more refactoring I'd suspect ....
Ramana
gcc/cp/ChangeLog
2012-08-02 Marc Glisse <marc.gli...@inria.fr>
* pt.c (tsubst_copy_and_build): Handle VECTOR_TYPE like scalars.
gcc/testsuite/ChangeLog
2012-08-02 Marc Glisse <marc.gli...@inria.fr>
* g++.dg/ext/vector17.C: New testcase.
--
Marc Glisse
Index: testsuite/g++.dg/ext/vector17.C
===================================================================
--- testsuite/g++.dg/ext/vector17.C (revision 0)
+++ testsuite/g++.dg/ext/vector17.C (revision 0)
@@ -0,0 +1,12 @@
+/* { dg-do compile } */
+typedef double __attribute__((vector_size(1024) )) vec;
+
+template <class T>
+void f (T *p)
+{
+ p->~T();
+}
+void g (vec *p)
+{
+ f(p);
+}
Property changes on: testsuite/g++.dg/ext/vector17.C
___________________________________________________________________
Added: svn:eol-style
+ native
Added: svn:keywords
+ Author Date Id Revision URL
Index: cp/pt.c
===================================================================
--- cp/pt.c (revision 190071)
+++ cp/pt.c (working copy)
@@ -13844,21 +13844,22 @@ tsubst_copy_and_build (tree t,
args, complain, in_decl);
else
member = tsubst_copy (member, args, complain, in_decl);
if (member == error_mark_node)
return error_mark_node;
if (type_dependent_expression_p (object))
/* We can't do much here. */;
else if (!CLASS_TYPE_P (object_type))
{
- if (SCALAR_TYPE_P (object_type))
+ if (SCALAR_TYPE_P (object_type)
+ || TREE_CODE (object_type) == VECTOR_TYPE)
{
tree s = NULL_TREE;
tree dtor = member;
if (TREE_CODE (dtor) == SCOPE_REF)
{
s = TREE_OPERAND (dtor, 0);
dtor = TREE_OPERAND (dtor, 1);
}
if (TREE_CODE (dtor) == BIT_NOT_EXPR)
