mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-05-03 16:46:07 +00:00
Code Issues Projects Releases Wiki Activity
66,897 Commits 1,258 Branches 288 Tags
Commit Graph

349 Commits

Author SHA1 Message Date
Anders Carlsson
1e172e068f Store the SourceLocation of right parentheses in member initializers. Patch by Anders Johnsen! 
llvm-svn: 80416
 2009-08-29 01:31:33 +00:00
Anders Carlsson
d20e795a5b Fix this for real. 
llvm-svn: 80377
 2009-08-28 16:57:08 +00:00
Anders Carlsson
228eea36a3 Pass InOverloadResolution all the way down to IsPointerConversion. 
llvm-svn: 80368
 2009-08-28 15:33:32 +00:00
Anders Carlsson
4bd7875b9c Instantiate unresolved using declarations. 
llvm-svn: 80366
 2009-08-28 15:18:15 +00:00
John McCall
aa74a0c3b5 Omnibus friend decl refactoring. Instead of cloning AST classes for friend 
declarations of same, introduce a single AST class and add appropriate bits
(encoded in the namespace) for whether a decl is "real" or not.  Much hackery
about previously-declared / not-previously-declared, but it's essentially
mandated by the standard that friends alter lookup, and this is at least
fairly non-intrusive.

Refactor the Sema methods specific to friends for cleaner flow and less nesting.

Incidentally solve a few bugs, but I remain confident that we can put them back.

llvm-svn: 80353
 2009-08-28 07:59:38 +00:00
Anders Carlsson
f038fc2c12 Create UnresolvedUsingDecls. 
llvm-svn: 80346
 2009-08-28 05:49:21 +00:00
Anders Carlsson
696a3f199b Factor declaration building out to Sema::BuildUsingDeclaration. 
llvm-svn: 80337
 2009-08-28 05:40:36 +00:00
Anders Carlsson
5a9c5acf0f More work on using declarations. 
llvm-svn: 80333
 2009-08-28 03:35:18 +00:00
Anders Carlsson
59140b3b86 Many improvements to using declarations. 
llvm-svn: 80332
 2009-08-28 03:16:11 +00:00
Anders Carlsson
271e3a4d47 Remove more default arguments. 
llvm-svn: 80260
 2009-08-27 17:30:43 +00:00
Anders Carlsson
ef4c72135f Remove default arguments from TryImplicitConversion and fix a bug found in the process. 
llvm-svn: 80258
 2009-08-27 17:24:15 +00:00
Anders Carlsson
5ec4abf268 Revert the flags change for now, I have a better idea for this. 
llvm-svn: 80255
 2009-08-27 17:14:02 +00:00
Anders Carlsson
2f7e956f16 Add a OverloadResolutionFlags and start converting some of the overload methods over to using it instead of bools arguments. 
llvm-svn: 80248
 2009-08-27 16:01:18 +00:00
Anders Carlsson
35d6e3e710 Don't check member and base initializers if the constructor is dependent. 
llvm-svn: 80211
 2009-08-27 05:57:30 +00:00
Anders Carlsson
e0eebb3ee4 Use early returns to avoid indentation. 
llvm-svn: 80209
 2009-08-27 05:45:01 +00:00
Eli Friedman
561154dd6b Stub out an error so we don't crash. 
llvm-svn: 80207
 2009-08-27 05:09:36 +00:00
Anders Carlsson
574315a0fa Add a BuildCXXTemporaryObjectExpr and use it so default arguments will be instantiated correctly for temporary object expressions. 
llvm-svn: 80206
 2009-08-27 05:08:22 +00:00
Anders Carlsson
eabf770457 New RequireNonAbstractType function. 
llvm-svn: 80183
 2009-08-27 00:13:57 +00:00
Anders Carlsson
d624e16833 Bye-bye old RequireCompleteType. 
llvm-svn: 80182
 2009-08-26 23:45:07 +00:00
Douglas Gregor
402250f2f9 Implement support for C++ direct initializers that involve dependent 
types or type-dependent expressions.

llvm-svn: 80143
 2009-08-26 21:14:46 +00:00
Anders Carlsson
114056f22c If a parameter has a default argument expression, make sure to instantiate the parameter type before checking that the expression is a valid initializer. 
llvm-svn: 79986
 2009-08-25 13:46:13 +00:00
Anders Carlsson
10ebe78730 Improved support for default arguments in constructors for class templates. 
llvm-svn: 79984
 2009-08-25 13:07:08 +00:00
Anders Carlsson
c1eb79b7c9 InitializeVarWithConstructor now returns true on failure. 
llvm-svn: 79976
 2009-08-25 05:18:00 +00:00
Anders Carlsson
6eb55575da BuildCXXConstructExpr now returns an OwningExprResult. 
llvm-svn: 79975
 2009-08-25 05:12:04 +00:00
Anders Carlsson
4562f1f066 Basic support for default argument expressions for function templates. 
llvm-svn: 79972
 2009-08-25 03:18:48 +00:00
Anders Carlsson
c80a127c4d Factor setting default arguments out into SetParamDefaultArgument. 
llvm-svn: 79970
 2009-08-25 02:29:20 +00:00
Anders Carlsson
5a532380a1 Use hasDefaultArg instead of getDefaultArg. 
llvm-svn: 79967
 2009-08-25 01:23:32 +00:00
Anders Carlsson
f1c2695d48 Check that the default argument is well-formed before checking the initializer types. 
llvm-svn: 79964
 2009-08-25 01:02:06 +00:00
Douglas Gregor
8a2e601917 Try to complete a type before looking for conversion functions within 
that type. Note that we do not produce a diagnostic if the type is
incomplete; rather, we just don't look for conversion functions. Fixes PR4660.

llvm-svn: 79919
 2009-08-24 15:23:48 +00:00
Douglas Gregor
c8c277a1b3 Make sure to adjust function template declarations to their templated 
declarations (e.g., FunctionTemplateDecl -> CXXConstructorDecl) before
performing semantic analysis on the declarations. Fixes PR4761.

llvm-svn: 79911
 2009-08-24 11:57:43 +00:00
Douglas Gregor
05155d8d7b Implement conversion function templates, along with the ability to use 
template argument deduction from a conversion function (C++
[temp.deduct.conv]) with implicit conversions.

llvm-svn: 79693
 2009-08-21 23:19:43 +00:00
Douglas Gregor
e5bbb7d4ef Fix parsing for out-of-line definitions of constructors and 
destructors of class templates.

llvm-svn: 79678
 2009-08-21 22:16:40 +00:00
Douglas Gregor
5ed5ae476e Introduce support for constructor templates, which can now be declared 
and will participate in overload resolution. Unify the instantiation
of CXXMethodDecls and CXXConstructorDecls, which had already gotten
out-of-sync.

llvm-svn: 79658
 2009-08-21 18:42:58 +00:00
Argyrios Kyrtzidis
6032ef1aa3 Remove TypeSpecStartLocation from VarDecl/FunctionDecl/FieldDecl, and use DeclaratorInfo to get this information. 
llvm-svn: 79584
 2009-08-21 00:31:54 +00:00
Douglas Gregor
3447e76762 Initial support for parsing and representation of member function templates. 
llvm-svn: 79570
 2009-08-20 22:52:58 +00:00
John McCall
950aac085d Add syntax examples for the friend declaration types. 
Remove an assert trivialized by dominating code.

llvm-svn: 79520
 2009-08-20 07:19:42 +00:00
Argyrios Kyrtzidis
c7148c974d Use Sema's LocInfoType to pass and preserve type source info through the Parser. 
llvm-svn: 79395
 2009-08-19 01:28:28 +00:00
Argyrios Kyrtzidis
60ed560428 Introduce DeclaratorDecl and pass DeclaratorInfo through the Decl/Sema interfaces. 
DeclaratorDecl contains a DeclaratorInfo* to keep type source info.
Subclasses of DeclaratorDecl are FieldDecl, FunctionDecl, and VarDecl.
EnumConstantDecl still inherits from ValueDecl since it has no need for DeclaratorInfo.

Decl/Sema interfaces accept a DeclaratorInfo as parameter but no DeclaratorInfo is created yet.

llvm-svn: 79392
 2009-08-19 01:27:57 +00:00
John McCall
5ed6e8f54c Teach Sema how to pop out of friend function definitions in nested classes. 
llvm-svn: 79291
 2009-08-18 00:00:49 +00:00
Anders Carlsson
250aada4b9 AddInitializerToDecl can't take a FullExprArg. Make it take an ExprArg, and create the CXXExprWithTemporaries before setting the initializer on the VarDecl. 
llvm-svn: 79176
 2009-08-16 05:13:48 +00:00
Anders Carlsson
f86a8d1030 BuildCXXConstructExpr doesn't need to take an ASTContext. 
llvm-svn: 79149
 2009-08-15 23:41:35 +00:00
Eli Friedman
c96d4963eb Implement __is_empty. Patch by Sean Hunt. 
llvm-svn: 79143
 2009-08-15 21:55:26 +00:00
Anders Carlsson
e827123f08 Make the CXXDefaultArgExpr constructor protected and add a static Create function. 
llvm-svn: 79013
 2009-08-14 18:30:22 +00:00
Fariborz Jahanian
4985b33fd7 Patch to force synthesis of copy assignment operator 
function in the order according to c++03. ir-gen 
for copy assignment in the trivial case and the first
test case.

llvm-svn: 78938
 2009-08-13 21:09:41 +00:00
Fariborz Jahanian
bbd5e8c2cf More toward synthesizing copy assignments. SWIP. 
llvm-svn: 78861
 2009-08-12 23:34:46 +00:00
Fariborz Jahanian
de7d4c264a Patch for synthesizing copy assignment operator. 
WIP.

llvm-svn: 78841
 2009-08-12 21:14:35 +00:00
John McCall
2658c4e2d9 Add a FriendClassDecl type for holding declarations of friend types in 
the AST, and create such declarations.

llvm-svn: 78719
 2009-08-11 21:13:21 +00:00
Fariborz Jahanian
b2197042b8 ir-gen support for anonymous union data member 
copying in copy constructors and used in
default constructor's initializer list.

llvm-svn: 78700
 2009-08-11 18:49:54 +00:00
John McCall
d1e9d835f3 Argument-dependent lookup for friend declarations. Add a new decl type, 
FriendFunctionDecl, and create instances as appropriate.

The design of FriendFunctionDecl is still somewhat up in the air;  you can
befriend arbitrary types of functions --- methods, constructors, etc. ---
and it's not clear that this representation captures that very well.
We'll have a better picture when we start consuming this data in access
control.

llvm-svn: 78653
 2009-08-11 06:59:38 +00:00
John McCall
2c5206d22e Drop the friend-inner-class diagnostic from an extwarn to an ext and don't 
guard its report on GNUMode.

llvm-svn: 78338
 2009-08-06 21:21:21 +00:00