X-Git-Url: https://oss.titaniummirror.com/gitweb/?a=blobdiff_plain;f=gcc%2Ftestsuite%2Fg%2B%2B.old-deja%2Fg%2B%2B.pt%2Funify6.C;fp=gcc%2Ftestsuite%2Fg%2B%2B.old-deja%2Fg%2B%2B.pt%2Funify6.C;h=0000000000000000000000000000000000000000;hb=6fed43773c9b0ce596dca5686f37ac3fc0fa11c0;hp=34b32e4e36dd653f36127498a9fc31aff5ef301c;hpb=27b11d56b743098deb193d510b337ba22dc52e5c;p=msp430-gcc.git diff --git a/gcc/testsuite/g++.old-deja/g++.pt/unify6.C b/gcc/testsuite/g++.old-deja/g++.pt/unify6.C deleted file mode 100644 index 34b32e4e..00000000 --- a/gcc/testsuite/g++.old-deja/g++.pt/unify6.C +++ /dev/null @@ -1,39 +0,0 @@ -// Build don't link: - -// Copyright (C) 1999 Free Software Foundation, Inc. -// Contributed by Nathan Sidwell 21 May 1999 - -// Template deduction and type unification should not issue diagnostics when -// they're trying to see if it's possible. Here deduction fails in some cases -// because you cant cv qualify a function type. - -template void fn(){} // A - -template void fn(T const *){} // B - -// these next two specializations need to know if they're specializing A or B. -// They specialize A, because they can't instantiate B. - -template<> void fn() {} // ok, specialize A - -template<> void fn() {} // ok, specialize A - -// now make sure we moan when we really should -template void foo(T const *){} - -void f() -{ - foo(); // ERROR - attempt to build int & const * - foo(); // ERROR - attempt to build void (const *)() -} - -typedef void (*Fptr)(); - -template void PV(Fptr const &, T const * const &); -template void PV(T1 const * const &, T2 const * const &); - -void baz() -{ - void *t; - PV(&baz, t); -}