diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 07b9956c6b0..9732e3b78c7 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -19633,6 +19633,8 @@ tsubst_copy_and_build (tree t, if (placement == NULL_TREE) placement_vec = NULL; + else if (placement == error_mark_node) + RETURN (error_mark_node); else { placement_vec = make_tree_vector (); diff --git a/gcc/testsuite/g++.dg/template/cast6.C b/gcc/testsuite/g++.dg/template/cast6.C new file mode 100644 index 00000000000..743eadaa5dd --- /dev/null +++ b/gcc/testsuite/g++.dg/template/cast6.C @@ -0,0 +1,19 @@ +// PR c++/95728 + +template + void + construct(T* p) + { ::new(static_cast(p)) T; } // { dg-error "invalid .static_cast." } + +template +void +f(const T* t) +{ + construct(t); +} + +int main() +{ + int i[1]; + f(i); +}