From: Nathan Sidwell Date: Thu, 26 Dec 2002 12:58:06 +0000 (+0000) Subject: re PR c++/8503 (strange behaviour of function types) X-Git-Tag: releases/gcc-3.2.2~155 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=17b77dc5445bd91b928f92995e6959ceb1c72d36;p=thirdparty%2Fgcc.git re PR c++/8503 (strange behaviour of function types) cp: PR c++/8503 Remove DR 295 implementation. * pt.c (check_cv_quals_for_unify): Disable function & method cases. * tree.c (cp_build_qualified_type_real): Likewise. Don't warn about ignoring volatile qualifiers. testsuite: * g++.dg/template/qualttp20.C: Adjust expected errors. * g++.old-deja/g++.jason/report.C: Likewise. * g++.old-deja/g++.other/qual1.C: Likewise. From-SVN: r60517 --- diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index f4c75cf42aa0..21abdcb7f467 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,11 @@ +2002-12-26 Nathan Sidwell + + PR c++/8503 + Remove DR 295 implementation. + * pt.c (check_cv_quals_for_unify): Disable function & method cases. + * tree.c (cp_build_qualified_type_real): Likewise. Don't warn + about ignoring volatile qualifiers. + 2002-12-18 Kriang Lerdsuwanakij * parse.y (bad_parm): Add missing argument to error function call. diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 22304bd0a91b..b751ad49e74e 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -8558,9 +8558,7 @@ check_cv_quals_for_unify (strict, arg, parm) { /* If the cvr quals of parm will not unify with ARG, they'll be ignored in instantiation, so we have to do the same here. */ - if (TREE_CODE (arg) == REFERENCE_TYPE - || TREE_CODE (arg) == FUNCTION_TYPE - || TREE_CODE (arg) == METHOD_TYPE) + if (TREE_CODE (arg) == REFERENCE_TYPE) parm_quals &= ~(TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE); if (!POINTER_TYPE_P (arg) && TREE_CODE (arg) != TEMPLATE_TYPE_PARM) diff --git a/gcc/cp/tree.c b/gcc/cp/tree.c index 65dca0036066..cdfa49c45727 100644 --- a/gcc/cp/tree.c +++ b/gcc/cp/tree.c @@ -536,6 +536,11 @@ cp_build_qualified_type_real (type, type_quals, complain) { tree result; int bad_quals = TYPE_UNQUALIFIED; + /* We keep bad function qualifiers separate, so that we can decide + whether to implement DR 295 or not. DR 295 break existing code, + unfortunately. Remove this variable to implement the defect + report. */ + int bad_func_quals = TYPE_UNQUALIFIED; if (type == error_mark_node) return type; @@ -551,6 +556,8 @@ cp_build_qualified_type_real (type, type_quals, complain) || TREE_CODE (type) == METHOD_TYPE)) { bad_quals |= type_quals & (TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE); + if (TREE_CODE (type) != REFERENCE_TYPE) + bad_func_quals |= type_quals & (TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE); type_quals &= ~(TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE); } @@ -569,21 +576,23 @@ cp_build_qualified_type_real (type, type_quals, complain) /*OK*/; else if (!(complain & (tf_error | tf_ignore_bad_quals))) return error_mark_node; + else if (bad_func_quals && !(complain & tf_error)) + return error_mark_node; else { if (complain & tf_ignore_bad_quals) /* We're not going to warn about constifying things that can't be constified. */ bad_quals &= ~TYPE_QUAL_CONST; + bad_quals |= bad_func_quals; if (bad_quals) { tree bad_type = build_qualified_type (ptr_type_node, bad_quals); - if (!(complain & tf_ignore_bad_quals)) + if (!(complain & tf_ignore_bad_quals) + || bad_func_quals) error ("`%V' qualifiers cannot be applied to `%T'", bad_type, type); - else if (complain & tf_warning) - warning ("ignoring `%V' qualifiers on `%T'", bad_type, type); } } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e49ad5f4379f..cd5fa02cedbc 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2002-12-26 Nathan Sidwell + + * g++.dg/template/qualttp20.C: Adjust expected errors. + * g++.old-deja/g++.jason/report.C: Likewise. + * g++.old-deja/g++.other/qual1.C: Likewise. + 2002-12-21 Eric Botcazou * gcc.dg/unroll-1.c: New test. diff --git a/gcc/testsuite/g++.dg/template/qualttp20.C b/gcc/testsuite/g++.dg/template/qualttp20.C index 2c6c71445c98..6c68a3a2a8af 100644 --- a/gcc/testsuite/g++.dg/template/qualttp20.C +++ b/gcc/testsuite/g++.dg/template/qualttp20.C @@ -16,18 +16,20 @@ struct AS template struct B1 : T { typedef typename T::L __restrict__ r;// { dg-error "`__restrict' qualifiers cannot" "" } - typedef typename T::myT __restrict__ p;// { dg-warning "ignoring `__restrict'" "" } - - typedef typename T::myT volatile *myvolatile; // { dg-warning "ignoring `volatile'" "" } - typename T::myT volatile *a; // { dg-warning "ignoring `volatile'" "" } - myvolatile b; // { dg-bogus "ignoring `volatile'" "" { xfail *-*-* } } + typedef typename T::myT __restrict__ p;// { dg-warning "ignoring `__restrict'" "" { xfail *-*-* } } + + // The following are DR 295 dependent + typedef typename T::myT volatile *myvolatile; // { dg-error "qualifiers" "" } + typename T::myT volatile *a; // { dg-error "qualifiers" "" } + myvolatile b; // { dg-error "qualifiers" "" } }; template struct B2 : T { - typedef typename T::myT const *myconst; - typename T::myT const *a; - myconst b; + // The following are DR 295 dependent + typedef typename T::myT const *myconst; // { dg-error "qualifiers" "" } + typename T::myT const *a; // { dg-error "qualifiers" "" } + myconst b; // { dg-error "qualifiers" "" } }; B1 b1; // { dg-error "instantiated" "" } -B2 b2; +B2 b2; // { dg-error "instantiated" "" } diff --git a/gcc/testsuite/g++.old-deja/g++.jason/report.C b/gcc/testsuite/g++.old-deja/g++.jason/report.C index bbc1adaf942d..73adee87c9c4 100644 --- a/gcc/testsuite/g++.old-deja/g++.jason/report.C +++ b/gcc/testsuite/g++.old-deja/g++.jason/report.C @@ -46,8 +46,9 @@ class X{ }; typedef int const * bart (); -typedef bart const * const * bar2; // ok - constifying qualifiers -typedef bart volatile * const * bar2v; // WARNING - qualifiers +//The following is DR295 dependant +typedef bart const * const * bar2; // ERROR - constifying qualifiers +typedef bart volatile * const * bar2v; // ERROR - qualifiers bar2 baz (X::Y y) { // ERROR - in this context diff --git a/gcc/testsuite/g++.old-deja/g++.other/qual1.C b/gcc/testsuite/g++.old-deja/g++.other/qual1.C index fa2d33f2ce88..13f9bbe497a2 100644 --- a/gcc/testsuite/g++.old-deja/g++.other/qual1.C +++ b/gcc/testsuite/g++.old-deja/g++.other/qual1.C @@ -10,8 +10,9 @@ class { public: func_type *Function; - const func_type* function(void) { return Function; } // ok constifying - volatile func_type* functionv(void); // WARNING - qualifier + // The following is DR 295 dependent + const func_type* function(void) { return Function; } // ERROR - constifying + volatile func_type* functionv(void); // ERROR - qualifier } action; void work(const char *source)