OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR c++/48115 (internal compiler error: in type_has_nontrivial_copy_init, at cp/tree.c:2482)

Browse Source 
PR c++/48115
	* call.c (convert_arg_to_ellipsis): Handle incomplete type.

From-SVN: r171066
This commit is contained in:
Jason Merrill 2011-03-16 16:03:46 -04:00 committed by Jason Merrill
parent 51fd6b9057
commit 85a273bae4
4 changed files with 35 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/cp/ChangeLog
View File

@ -1,3 +1,8 @@
2011-03-16 Jason Merrill <jason@redhat.com>
PR c++/48115
* call.c (convert_arg_to_ellipsis): Handle incomplete type.
2011-03-16 Jason Merrill <jason@redhat.com>
* parser.c (cp_parser_abort_tentative_parse): Make sure we haven't

4
gcc/cp/call.c
View File

@ -5671,6 +5671,10 @@ convert_arg_to_ellipsis (tree arg)
arg_type = TREE_TYPE (arg);
if (arg != error_mark_node
/* In a template (or ill-formed code), we can have an incomplete type
even after require_complete_type, in which case we don't know
whether it has trivial copy or not. */
&& COMPLETE_TYPE_P (arg_type)
&& (type_has_nontrivial_copy_init (arg_type)
|| TYPE_HAS_NONTRIVIAL_DESTRUCTOR (arg_type)))
{

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2011-03-16 Jason Merrill <jason@redhat.com>
* g++.dg/template/incomplete6.C: New.
2011-03-16 Jeff Law <law@redhat.com>
* gcc.dg/tree-ssa/vrp55.c: New test.

22
gcc/testsuite/g++.dg/template/incomplete6.C Normal file
View File

@ -0,0 +1,22 @@
// PR c++/48115
template<typename> struct templ { };
template<typename T> T declval();
typedef int (*F2)(...);
template<int> struct Int { };
template<typename F, typename T>
struct S
{
template<typename A>
Int<sizeof( declval<F>()(T()) )>
f(A);
};
int main()
{
S<F2, templ<int> >().f(0);
}