Changes in instantiation-default-2.cpp

b242683d - Overhaul checking of non-type template arguments that should refer to

Thu, 01 Apr 2010 18:32:35 +0000

Overhaul checking of non-type template arguments that should refer toan object or function. Our previous checking was too lax, and ended upallowing missing or extraneous address-of operators, among otherevils. The new checking provides better diagnostics and adheres moreclosely to the standard.Fixes PR6563 and PR6749.llvm-svn: 100125 List of files: /llvm-project-15.0.7/clang/test/SemaTemplate/instantiation-default-2.cpp

8fbe78f6 - Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.

Tue, 15 Dec 2009 20:14:24 +0000

Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. - This is designed to make it obvious that %clang_cc1 is a "test variable" which is substituted. It is '%clang_cc1' instead of '%clang -cc1' because it can be useful to redefine what gets run as 'clang -cc1' (for example, to set a default target).llvm-svn: 91446 List of files: /llvm-project-15.0.7/clang/test/SemaTemplate/instantiation-default-2.cpp

e62e6a01 - Before checking a template template argument against its corresponding

Wed, 11 Nov 2009 19:13:48 +0000

Before checking a template template argument against its correspondingtemplate template parameter, substitute any prior template argumentsinto the template template parameter. This, for example, allows us toproperly check the template template argument for a class such as: template class X> struct Foo;The actual implementation of this feature was trivial; most of thechange is dedicated to giving decent diagnostics when thissubstitution goes horribly wrong. We now get a note like: note: while substituting prior template arguments into template template parameter 'X' [with T = float]As part of this change, enabled some very pedantic checking whencomparing template template parameter lists, which shook out a bug inour overly-eager checking of default arguments of template templateparameters. We now perform only minimal checking of such defaultarguments when they are initially parsed.llvm-svn: 86864 List of files: /llvm-project-15.0.7/clang/test/SemaTemplate/instantiation-default-2.cpp

a45cf5b6 - Rename clang to clang-cc.

Tue, 24 Mar 2009 02:24:46 +0000

Rename clang to clang-cc.Tests and drivers updated, still need to shuffle dirs.llvm-svn: 67602 List of files: /llvm-project-15.0.7/clang/test/SemaTemplate/instantiation-default-2.cpp

79cf6034 - Extend the notion of active template instantiations to include the

Tue, 10 Mar 2009 20:44:00 +0000

Extend the notion of active template instantiations to include thecontext of a template-id for which we need to instantiate defaulttemplate arguments.In the TextDiagnosticPrinter, don't suppress the caret diagnostic ifwe are producing a non-note diagnostic that follows a note diagnosticwith the same location, because notes are (conceptually) a part of thewarning or error that comes before them.llvm-svn: 66572 List of files: /llvm-project-15.0.7/clang/test/SemaTemplate/instantiation-default-2.cpp

463421de - Implement the basics of implicit instantiation of class templates, in

Tue, 03 Mar 2009 04:44:36 +0000

Implement the basics of implicit instantiation of class templates, inresponse to attempts to diagnose an "incomplete" type. This will forceus to use DiagnoseIncompleteType more regularly (rather than looking atisIncompleteType), but that's also a good thing.Implicit instantiation is still very simplistic, and will create a newdefinition for the class template specialization (as it should) but itonly actually instantiates the base classes and attachesthose. Actually instantiating class members will follow. Also, instantiate the types of non-type template parameters beforechecking them, allowing, e.g., template struct Constant; to work properly.llvm-svn: 65924 List of files: /llvm-project-15.0.7/clang/test/SemaTemplate/instantiation-default-2.cpp