summaryrefslogtreecommitdiffstats
path: root/clang/lib/Sema/SemaDecl.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Make sure to use RequireCompleteType rather than testing forDouglas Gregor2009-03-241-33/+32
| | | | | | | incomplete types. RequireCompleteType is needed when the type may be completed by instantiating a template. llvm-svn: 67643
* More work on diagnosing abstract classes. We can now handle cases likeAnders Carlsson2009-03-241-7/+13
| | | | | | | | | | | | class C { void g(C c); virtual void f() = 0; }; In this case, C is not known to be abstract when doing semantic analysis on g. This is done by recursively traversing the abstract class and checking the types of member functions. llvm-svn: 67594
* Template instantiation for the declarations of member functions withinDouglas Gregor2009-03-231-132/+136
| | | | | | | | | | | | | | | | | | | | | | a class template. At present, we can only instantiation normal methods, but not constructors, destructors, or conversion operators. As ever, this contains a bit of refactoring in Sema's type-checking. In particular: - Split ActOnFunctionDeclarator into ActOnFunctionDeclarator (handling the declarator itself) and CheckFunctionDeclaration (checking for the the function declaration), the latter of which is also used by template instantiation. - We were performing the adjustment of function parameter types in three places; collect those into a single new routine. - When the type of a parameter is adjusted, allocate an OriginalParmVarDecl to keep track of the type as it was written. - Eliminate a redundant check for out-of-line declarations of member functions; hide more C++-specific checks on function declarations behind if(getLangOptions().CPlusPlus). llvm-svn: 67575
* More improvements to abstract type checking. Handle arrays correctly, and ↵Anders Carlsson2009-03-231-6/+7
| | | | | | make sure to check parameter types before they decay. llvm-svn: 67550
* It's an error to try to allocate an abstract object using new.Anders Carlsson2009-03-231-2/+7
| | | | llvm-svn: 67542
* Fix PR3855. When we encounter an incompatible redeclaration of aDouglas Gregor2009-03-231-2/+5
| | | | | | | | library function, accept this declaration and pretend that we do not know that this is a library function. autoconf depends on this (broken) behavior. llvm-svn: 67541
* Tighten up the determination of whether a function declaration has aDouglas Gregor2009-03-231-1/+1
| | | | | | prototype. Thanks Eli! llvm-svn: 67533
* Thanks to Eli for pointing out my misreading of 6.2.2p5Douglas Gregor2009-03-231-2/+1
| | | | llvm-svn: 67530
* Disallow abstract types where appropriate.Anders Carlsson2009-03-221-2/+25
| | | | llvm-svn: 67476
* Keep track of whether a class is abstract or not. This is currently only ↵Anders Carlsson2009-03-221-2/+5
| | | | | | used for the __is_abstract type trait. llvm-svn: 67461
* Variables marked as "extern" can actually have internal linkage ifDouglas Gregor2009-03-191-3/+14
| | | | | | there is a previous declaration marked "static". This fixes PR3645. llvm-svn: 67336
* Add a clarifying comment about HasPrototype's computationDouglas Gregor2009-03-191-0/+6
| | | | llvm-svn: 67316
* If a function is declared as, e.g.,Douglas Gregor2009-03-191-2/+3
| | | | | | | | | | F f; where F is a typedef of a function type, then the function "f" has a prototype. This is a slight tweak to Chris's suggested fix in PR3817. Fixes PR3817 and PR3840. llvm-svn: 67313
* Introduce a new expression type, UnresolvedDeclRefExpr, that describesDouglas Gregor2009-03-191-0/+14
| | | | | | | | | | | | | | | | | | | | | | | | dependent qualified-ids such as Fibonacci<N - 1>::value where N is a template parameter. These references are "unresolved" because the name is dependent and, therefore, cannot be resolved to a declaration node (as we would do for a DeclRefExpr or QualifiedDeclRefExpr). UnresolvedDeclRefExprs instantiate to DeclRefExprs, QualifiedDeclRefExprs, etc. Also, be a bit more careful about keeping only a single set of specializations for a class template, and instantiating from the definition of that template rather than a previous declaration. In general, we need a better solution for this for all TagDecls, because it's too easy to accidentally look at a declaration that isn't the definition. We can now process a simple Fibonacci computation described as a template metaprogram. llvm-svn: 67308
* Extend the use of QualifiedNameType to the creation of class templateDouglas Gregor2009-03-191-7/+2
| | | | | | | | | | | specialization names. This way, we keep track of sugared types like std::vector<Real> I believe we are now using QualifiedNameTypes everywhere we can. Next step: QualifiedDeclRefExprs. llvm-svn: 67268
* Introduce a representation for types that we referred to via aDouglas Gregor2009-03-191-8/+18
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | qualified name, e.g., foo::x so that we retain the nested-name-specifier as written in the source code and can reproduce that qualified name when printing the types back (e.g., in diagnostics). This is PR3493, which won't be complete until finished the other tasks mentioned near the end of this commit. The parser's representation of nested-name-specifiers, CXXScopeSpec, is now a bit fatter, because it needs to contain the scopes that precede each '::' and keep track of whether the global scoping operator '::' was at the beginning. For example, we need to keep track of the leading '::', 'foo', and 'bar' in ::foo::bar::x The Action's CXXScopeTy * is no longer a DeclContext *. It's now the opaque version of the new NestedNameSpecifier, which contains a single component of a nested-name-specifier (either a DeclContext * or a Type *, bitmangled). The new sugar type QualifiedNameType composes a sequence of NestedNameSpecifiers with a representation of the type we're actually referring to. At present, we only build QualifiedNameType nodes within Sema::getTypeName. This will be extended to other type-constructing actions (e.g., ActOnClassTemplateId). Also on the way: QualifiedDeclRefExprs will also store a sequence of NestedNameSpecifiers, so that we can print out the property nested-name-specifier. I expect to also use this for handling dependent names like Fibonacci<I - 1>::value. llvm-svn: 67265
* The scope representation can now be either a DeclContext pointer or aDouglas Gregor2009-03-181-2/+2
| | | | | | | | | | Type pointer. This allows our nested-name-specifiers to retain more information about the actual spelling (e.g., which typedef did the user name, or what exact template arguments were used in the template-id?). It will also allow us to have dependent nested-name-specifiers that don't map to any DeclContext. llvm-svn: 67140
* pull a nested conditional + comment out into its own variable,Chris Lattner2009-03-171-5/+5
| | | | | | no functionality change. llvm-svn: 67128
* Implement instantiation of enums within class templates. This isn'tDouglas Gregor2009-03-171-38/+55
| | | | | | | | | | | | | | | quite as great as it sounds, because, while we can refer to the enumerator values outside the template, e.g., adder<long, 3, 4>::value we can't yet refer to them with dependent names, so no Fibonacci (yet). InstantiateClassTemplateSpecialization is getting messy; next commit will put it into a less-ugly state. llvm-svn: 67092
* Check signedness of bitfield sizes.Anders Carlsson2009-03-161-1/+1
| | | | llvm-svn: 67045
* Remove ActiveScope (revert ↵Steve Naroff2009-03-131-21/+6
| | | | | | | | http://llvm.org/viewvc/llvm-project?view=rev&revision=65694 and http://llvm.org/viewvc/llvm-project?view=rev&revision=66741). Will replace with something better today... llvm-svn: 66893
* Implement template instantiation for builtin binary operatorsDouglas Gregor2009-03-121-1/+2
| | | | llvm-svn: 66835
* API fix: All "bodies" for functions, Objective-C methods, blocks, are assumed toTed Kremenek2009-03-121-2/+2
| | | | | | | | be CompoundStmts. I think this is a valid assumption, and felt that the API should reflect it. Others please validate this assumption to make sure I didn't break anything. llvm-svn: 66814
* Fix various problems with matching out-of-line definitions of staticDouglas Gregor2009-03-111-29/+55
| | | | | | | | | class members to the corresponding in-class declaration. Diagnose the erroneous use of 'static' on out-of-line definitions of class members. llvm-svn: 66740
* Move most of the checking from ActOnCXXMemberDeclarator to other, more ↵Douglas Gregor2009-03-111-5/+130
| | | | | | general routines. This is a step toward separating the checking logic from Declarators, which in turn is required for template instantiation. llvm-svn: 66734
* Make sure that we set the access specifier for an instantiated FieldDecl, ↵Douglas Gregor2009-03-111-4/+19
| | | | | | and that the aggregate and POD flags for an instantiated class template are updated based on instantiation of a FieldDecl llvm-svn: 66701
* Eliminate CXXClassVarDecl. It doesn't add anythingDouglas Gregor2009-03-111-19/+12
| | | | llvm-svn: 66696
* Implement basic template instantiation for fields. Reshuffle checkingDouglas Gregor2009-03-111-46/+82
| | | | | | | for FieldDecls so that the parser and the template instantiation make use of the same semantic checking module. llvm-svn: 66685
* Add basic, hackish support for instantiation of typedefs in a classDouglas Gregor2009-03-111-0/+2
| | | | | | | | | template. More importantly, start to sort out the issues regarding complete types and nested-name-specifiers, especially the question of: when do we instantiate a class template specialization that occurs to the left of a '::' in a nested-name-specifier? llvm-svn: 66662
* Add type checking for tentative definitions at the end of theDouglas Gregor2009-03-101-53/+14
| | | | | | | | | translation unit. Thread the various declarations of variables via VarDecl::getPreviousDeclaration. llvm-svn: 66601
* Partial fix for PR3310, concerning type-checking for tentativeDouglas Gregor2009-03-101-10/+24
| | | | | | | | | | | definitions. We were rejecting tentative definitions of incomplete (which is bad), and now we don't. This fix is partial because we don't do the end-of-translation-unit initialization for tentative definitions that don't ever have any initializers specified. llvm-svn: 66584
* Address Doug's comments wrt the mangler and fix Eli's test caseAnders Carlsson2009-03-101-0/+10
| | | | llvm-svn: 66549
* Rename DiagnoseIncompleteType to RequireCompleteType, and update the ↵Douglas Gregor2009-03-091-6/+6
| | | | | | documentation to reflect the fact that we can instantiate templates here llvm-svn: 66421
* Downgrade complaints about the use of variable-sized types within aDouglas Gregor2009-03-061-11/+9
| | | | | | | struct to an extension warning to match the behavior of GNU C, which addresses the Sema part of PR3671. llvm-svn: 66308
* Use the 'declaration does not declare anything' error when we see an ↵Douglas Gregor2009-03-061-10/+9
| | | | | | anonymous struct/union declaration outside of a struct or union in C llvm-svn: 66303
* Implement GNU C semantics for K&R function definitions that follow aDouglas Gregor2009-03-061-2/+70
| | | | | | | | prototype of the same function, where the promoted parameter types in the K&R definition are not compatible with the types in the prototype. Fixes PR2821. llvm-svn: 66301
* Improve recovery from ill-formed scope specifiers. Fixes PR3670.Douglas Gregor2009-03-061-1/+5
| | | | llvm-svn: 66286
* Implement the GNU semantics for forward declarations of enum types inDouglas Gregor2009-03-061-4/+11
| | | | | | C and C++. Fixes PR3688. llvm-svn: 66282
* refactor C++ bitfield checking a bit (haha)Chris Lattner2009-03-051-3/+5
| | | | llvm-svn: 66213
* fix PR3607 and a fixme, by checking bitfield constraintsChris Lattner2009-03-051-10/+34
| | | | | | more consistently. llvm-svn: 66210
* When parsing a function body, add it to the crash stack, giving us somethingChris Lattner2009-03-051-0/+9
| | | | | | | | | | | | | like: Stack dump: 0. t.c:5:10: in compound statement ('{}') 1. t.c:3:12: in compound statement ('{}') 2. t.c:3:12: parsing function body 'foo' 3. clang t.c Abort llvm-svn: 66118
* Check that the return type for function definitions is complete.Eli Friedman2009-03-041-0/+8
| | | | llvm-svn: 66027
* Switch attributes to be allocated from the declcontext bump pointer just likeChris Lattner2009-03-041-10/+11
| | | | | | | decls. This reduces the number of calls to malloc on cocoa.h with pth and -disable-free from 15958 to 12444 times (down ~3500). llvm-svn: 66023
* add an a Attr::Destroy method and force clients to go through it. As part of Chris Lattner2009-03-041-6/+6
| | | | | | this, make DeclBase::Destroy destroy attributes instead of the DeclBase dtor. llvm-svn: 66020
* Implement the basics of implicit instantiation of class templates, inDouglas Gregor2009-03-031-5/+8
| | | | | | | | | | | | | | | | | | | | response to attempts to diagnose an "incomplete" type. This will force us to use DiagnoseIncompleteType more regularly (rather than looking at isIncompleteType), but that's also a good thing. Implicit instantiation is still very simplistic, and will create a new definition for the class template specialization (as it should) but it only actually instantiates the base classes and attaches those. Actually instantiating class members will follow. Also, instantiate the types of non-type template parameters before checking them, allowing, e.g., template<typename T, T Value> struct Constant; to work properly. llvm-svn: 65924
* Rework the way we find locally-scoped external declarations when weDouglas Gregor2009-03-021-68/+69
| | | | | | | | | | | need them to evaluate redeclarations or call a function that hasn't already been declared. We now keep a DenseMap of these locally-scoped declarations so that they are not visible but can be quickly found, e.g., when we're looking for previous declarations or before we go ahead and implicitly declare a function that's being called. Fixes PR3672. llvm-svn: 65792
* Whoops, actually remove the VLA/VM check in FinalizeDeclaratorGroup.Anders Carlsson2009-02-281-36/+0
| | | | llvm-svn: 65737
* Fix invalid VLAs/VMs in Sema::ActOnVariableDeclarator, so that the variable ↵Anders Carlsson2009-02-281-0/+36
| | | | | | | | | | | will have the right type by the time the initializer is checked. This ensures that code like int a[(int)(1.0 / 1.0) = { 1 } will work. Eli, please review. llvm-svn: 65725
* Fix a crash in test/Parser/control-scope.c that testrunner didn'tChris Lattner2009-02-281-1/+1
| | | | | | | | notice because it was a negative test with a fix suggested by Jean-Daniel Dupas. Convert the test from a negative to a positive test to catch stuff like this. llvm-svn: 65708
* Fix <rdar://problem/6451399> problems with labels and blocks.Steve Naroff2009-02-281-6/+21
| | | | | | | | | - Move the 'LabelMap' from Sema to Scope. To avoid layering problems, the second element is now a 'StmtTy *', which makes the LabelMap a bit more verbose to deal with. - Add 'ActiveScope' to Sema. Managed by ActOnStartOfFunctionDef(), ObjCActOnStartOfMethodDef(), ActOnBlockStmtExpr(). - Changed ActOnLabelStmt(), ActOnGotoStmt(), ActOnAddrLabel(), and ActOnFinishFunctionBody() to use the new ActiveScope. - Added FIXME to workaround in ActOnFinishFunctionBody() (for dealing with C++ nested functions). llvm-svn: 65694
OpenPOWER on IntegriCloud