summaryrefslogtreecommitdiffstats
path: root/clang/lib/Sema
Commit message (Collapse)AuthorAgeFilesLines
...
* When checking for unreachable blocks, we can trivially avoid extraMike Stump2010-01-211-3/+11
| | | | | | work, if we know we already marked all blocks as live. llvm-svn: 94063
* Fixes comments.Fariborz Jahanian2010-01-211-2/+2
| | | | llvm-svn: 94053
* Also allow cast of block pointer type toFariborz Jahanian2010-01-211-0/+7
| | | | | | | pointer to an any object. Another variation of radar 7562285. llvm-svn: 94052
* In objective-c++ land, a block pointer is another object pointer.Fariborz Jahanian2010-01-201-1/+9
| | | | | | | So, casting a generic object pointer ('id' or 'Class') to the block pointer is allowed. Fixes radar 7562285. llvm-svn: 94045
* First pass at collecting access-specifier information along inheritance paths.John McCall2010-01-204-5/+33
| | | | | | | | Triggers lots of assertions about missing access information; fix them. Will actually consume this information soon. llvm-svn: 94038
* Settled rule on warning on unimplemented property inFariborz Jahanian2010-01-201-2/+28
| | | | | | | | category implementation when some implementations are missing in the primary class implementation. (fixes radar 6505200). llvm-svn: 94014
* Improve performance of warning when not implementing a required Fariborz Jahanian2010-01-201-13/+13
| | | | | | | property of a protocol (my previous patch). No change in functionality. (radar 7544809). llvm-svn: 94005
* Patch to implement required warnings for unimplementedFariborz Jahanian2010-01-202-41/+82
| | | | | | properties imported frfom protocol. Fixes radar 7544809. llvm-svn: 93965
* Give UnresolvedSet the ability to store access specifiers for each declaration.John McCall2010-01-207-62/+57
| | | | | | | Change LookupResult to use UnresolvedSet. Also extract UnresolvedSet into its own header and make it templated over an inline capacity. llvm-svn: 93959
* Improve CheckFallThrough analysis in the presense of the new C++ EHMike Stump2010-01-201-1/+10
| | | | | | support. WIP. llvm-svn: 93956
* Implement goto inside of blocks.Mike Stump2010-01-192-4/+20
| | | | llvm-svn: 93945
* The type of a compound literal expression is not necessarily the same as theJohn McCall2010-01-192-2/+6
| | | | | | type which was syntactically written. Fixes PR 6080. llvm-svn: 93933
* Eliminate cursor kinds used to express definitions. Instead, provideDouglas Gregor2010-01-191-2/+2
| | | | | | | | | | | | CIndex functions that (1) map from a reference or declaration to the corresponding definition, if available, and (2) determine whether a given declaration cursor is also a definition. This eliminates a lot of duplication in the cursor kinds, and maps more closely to the Clang ASTs. This is another API + ABI breaker with no deprecation. Yay, progress. llvm-svn: 93893
* Issue diagnostics (instead of crashing in code gen) when usingFariborz Jahanian2010-01-191-8/+2
| | | | | | | property dot-syntax notation to use setter/getters in objective-c. Fixes radar 7553050. llvm-svn: 93883
* Teach Sema::ActOnDependentTemplateName that a dependent template nameDouglas Gregor2010-01-193-28/+9
| | | | | | | | in a member access expression referring into the current instantiation need not be resolved at template definition *if* the current instantiation has any dependent base classes. Fixes PR6081. llvm-svn: 93877
* In a mem-initializer, a nested-name-specifier followed by anDouglas Gregor2010-01-191-8/+25
| | | | | | | | | identifier always names a type. In the case of a dependent nested-name-specifier, build a TypenameType to describe the dependent base type. I'd like to move more of this behavior up into the parser, but this fixes PR6062. llvm-svn: 93871
* When looking up enumerator names for redeclaration, use theDouglas Gregor2010-01-191-1/+2
| | | | | | | ForRedeclaration flag so that we don't look into base classes. Fixes PR6061. llvm-svn: 93862
* Allow conversion of pointer to an objective-c pointer toFariborz Jahanian2010-01-181-1/+11
| | | | | | a similar pointer. Fixes radar 7552179. llvm-svn: 93803
* Preserve type source information in compound literal expressions.John McCall2010-01-183-31/+39
| | | | | | Patch by Enea Zaffanella! llvm-svn: 93752
* Mostly renaming some methods and updating comments toFariborz Jahanian2010-01-182-31/+40
| | | | | | | reflect what these methods are actually doing. One method template for future work. No change in functionality. llvm-svn: 93742
* Improve source-location information for builtin TypeLocs, from EneaDouglas Gregor2010-01-182-1/+20
| | | | | | Zaffanella (with a couple of my tweaks). llvm-svn: 93733
* Encoding calling conventions in the type system, from Charles Davis!Douglas Gregor2010-01-181-1/+2
| | | | llvm-svn: 93726
* Introduce a second queue of "local" pending implicit instantiation,Douglas Gregor2010-01-163-10/+57
| | | | | | | | | | which are instantiations of the member functions of local classes. These implicit instantiations have to occur at the same time as---and in the same local instantiation scope as---the enclosing function, since the member functions of the local class can refer to locals within the enclosing function. This should really, really fix PR5764. llvm-svn: 93666
* When we are instantiating a member function of a local class, be sureDouglas Gregor2010-01-161-2/+8
| | | | | | | | | to merge the local instantiation scope with the outer local instantiation scope, so that we can instantiate declarations from the function owning the local class. Fixes an assert while instantiating Boost.MPL's BOOST_MPL_ASSERT_MSG. llvm-svn: 93651
* Partial fix for PR6022, where we were complaining when a friendDouglas Gregor2010-01-161-1/+2
| | | | | | | | function template declared within a class template did not match a function in another scope. We really need to rework how friends-in-templates are semantically checked. llvm-svn: 93642
* Improve location information for Objective-C category declarations. WeDouglas Gregor2010-01-161-2/+3
| | | | | | | | | | | | | previously only had a single location (the @ in @interface); now we know where the @ is (for the start of the declaration), where the class name is (that's the normal "location" now for diagnostics), and where the category name is. Also, eliminated the redundant "end" location, since ObjCContainerDecl already has better @end information. The only XFAIL'd test is temporary; will un-XFAIL-it once I've taught CIndex how to use the new locations. llvm-svn: 93639
* Keep track of the source locations for each protocol reference inDouglas Gregor2010-01-162-5/+16
| | | | | | | | Objective-C classes, protocol definitions, forward protocol declarations, and categories. This information isn't actually used yet; that's coming next. llvm-svn: 93636
* Fix a use of uninitialized memory in overload diagnostics.John McCall2010-01-161-1/+4
| | | | llvm-svn: 93629
* Make the AST explicitly represent the cast of the first operand of a Eli Friedman2010-01-161-3/+5
| | | | | | pointer-to-member operator. llvm-svn: 93592
* Generalize handling for unreachable code warnings to all binary operators.Mike Stump2010-01-151-16/+13
| | | | llvm-svn: 93584
* Candidates with arity mismatches are extra-special non-viable and need toJohn McCall2010-01-151-16/+32
| | | | | | | | stand at the back of the line. Thanks to Oliver Hunt for reminding me to do this. llvm-svn: 93583
* Refine location reporting for unreachable code warnings for comma expressions.Mike Stump2010-01-151-12/+45
| | | | llvm-svn: 93574
* Make LookupResult::resolveKind() robust against NotFoundInCurrentInstantiation.John McCall2010-01-151-1/+1
| | | | | | Fixes PR 6049. llvm-svn: 93557
* Preserve type source information for C++ named casts through templateJohn McCall2010-01-153-23/+39
| | | | | | instantiation. llvm-svn: 93533
* Don't lose type source information when rebuilding C-style cast expressions.John McCall2010-01-153-13/+25
| | | | | | Also we don't need to recheck for altivec initializers, I think. llvm-svn: 93529
* Preserve type source information in explicit cast expressions.John McCall2010-01-154-45/+66
| | | | | | Patch by Enea Zaffanella. llvm-svn: 93522
* When determining whether the type is the current instantiation, stripDouglas Gregor2010-01-151-2/+2
| | | | | | qualifiers. Fixes PR6021. llvm-svn: 93513
* Don't repeat lookup when instantiating resolved member expressions.John McCall2010-01-153-20/+46
| | | | | | | | | | Adjust BuildMemberReferenceExpr to perform the inheritance check on implicit member accesses, which can arise from unqualified lookups and therefore may reference decls from enclosing class scopes. Fixes PR 5838. llvm-svn: 93510
* Refine unreachable warnings. WIP.Mike Stump2010-01-151-4/+87
| | | | llvm-svn: 93500
* When performing qualified name lookup into the current instantiation,Douglas Gregor2010-01-155-33/+54
| | | | | | | | | | | | | do not look into base classes if there are any dependent base classes. Instead, note in the lookup result that we couldn't look into any dependent bases. Use that new result kind to detect when this case occurs, so that we can fall back to treating the type/value/etc. as a member of an unknown specialization. Fixes an issue where we were resolving lookup at template definition time and then missing an ambiguity at template instantiation time. llvm-svn: 93497
* fix grammaroChris Lattner2010-01-141-1/+1
| | | | llvm-svn: 93452
* After dyn_cast'ing, it generally makes sense to check the *output* ofDouglas Gregor2010-01-141-1/+1
| | | | | | the dyn_cast against NULL rather than the *input*. Fixes PR6025. llvm-svn: 93435
* When qualified lookup into the current instantiation fails (because itDouglas Gregor2010-01-144-4/+49
| | | | | | | | finds nothing), and the current instantiation has dependent base classes, treat the qualified lookup as if it referred to an unknown specialization. Fixes PR6031. llvm-svn: 93433
* Switch a few callers of MaybeAddResult over to AddResult, when theDouglas Gregor2010-01-141-10/+12
| | | | | | declarations we're adding do not need any name-hiding checks. llvm-svn: 93431
* Switch code-completion's ivar lookup over to LookupVisibleDecls,Douglas Gregor2010-01-141-5/+11
| | | | | | eliminating yet one more ResultBuilder::MaybeAddResult caller. llvm-svn: 93430
* Start migrating code-completion results fromDouglas Gregor2010-01-141-117/+129
| | | | | | ResultBuilder::MaybeAddResult over to ResultBuilder::AddResult. llvm-svn: 93429
* Switch the remaining code completions over to LookupVisibleDecls,Douglas Gregor2010-01-143-130/+50
| | | | | | | | after adding the ability to determine whether our lookup is a base-class lookup. Eliminate CollectMemberLookupResults, since it is no longer used (yay). llvm-svn: 93428
* Move code completion for qualified name lookup (foo::) toDouglas Gregor2010-01-142-1/+8
| | | | | | LookupVisibleDecls. Also, a function does not hide another function. llvm-svn: 93421
* Improve overload diagnostics some more by calling out qualifier mismatchesJohn McCall2010-01-141-3/+55
| | | | | | | for special diagnostics. Unfortunately, the non-overload diagnostics are not this good. llvm-svn: 93420
* Eliminate the code-completion-specifier CollectLookupResults in favorDouglas Gregor2010-01-141-73/+10
| | | | | | of the more general LookupVisibleDecls. llvm-svn: 93419
OpenPOWER on IntegriCloud