summaryrefslogtreecommitdiffstats
path: root/clang/lib/Sema/SemaLookup.cpp
Commit message (Collapse)AuthorAgeFilesLines
...
* Completely re-implement (de-)serialization of declarationDouglas Gregor2011-12-171-0/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | chains. The previous implementation relied heavily on the declaration chain being stored as a (circular) linked list on disk, as it is in memory. However, when deserializing from multiple modules, the different chains could get mixed up, leading to broken declaration chains. The new solution keeps track of the first and last declarations in the chain for each module file. When we load a declaration, we search all of the module files for redeclarations of that declaration, then splice together all of the lists into a coherent whole (along with any redeclarations that were actually parsed). As a drive-by fix, (de-)serialize the redeclaration chains of TypedefNameDecls, which had somehow gotten missed previously. Add a test of this serialization. This new scheme creates a redeclaration table that is fairly large in the PCH file (on the order of 400k for Cocoa.h's 12MB PCH file). The table is mmap'd in and searched via a binary search, but it's still quite large. A future tweak will eliminate entries for declarations that have no redeclarations anywhere, and should drastically reduce the size of this table. llvm-svn: 146841
* When name lookup finds a module-private Objective-C class declaration,Douglas Gregor2011-12-151-0/+2
| | | | | | check whether any previous declarations of the class were visible. llvm-svn: 146680
* When name lookup comes across a declaration that is in a module thatDouglas Gregor2011-12-141-20/+63
| | | | | | | is not visible, look for any previous declarations of that entity that might be visible. llvm-svn: 146563
* In Microsoft mode, don't perform typo correction in a template member ↵Francois Pichet2011-12-031-0/+7
| | | | | | | | | | function dependent context because it interferes with the "lookup into dependent bases of class templates" feature. Basically typo correction will try to offer a correction instead of looking into type dependent base classes. I found this problem while parsing Microsoft ATL code with clang. llvm-svn: 145772
* Make sure that name lookup in C checks whether a name is hidden.Douglas Gregor2011-12-021-0/+5
| | | | llvm-svn: 145700
* When we perform a lookup for a dependent name that is a member of anDouglas Gregor2011-10-241-1/+2
| | | | | | | | unknown specialization, treat this the same way as if the name were not found in the current instantiation. No actual functionality change, since apparently nothing depends on this. llvm-svn: 142862
* Rename TagDecl::isDefinition -> isCompleteDefinitionJohn McCall2011-10-071-2/+2
| | | | | | | for better self-documenting code, since the semantics are subtly different from getDefinition(). llvm-svn: 141355
* Support for C1x _Atomic specifier (see testcase). This is primarily being ↵Eli Friedman2011-10-061-0/+6
| | | | | | | | committed at the moment to help support C++0x <atomic>, but it should be a solid base for implementing the full specification of C1x _Atomic. Thanks to Jeffrey Yasskin for the thorough review! llvm-svn: 141330
* Added CXAvailability_NotAccessible to indicate that a declaration is ↵Erik Verbruggen2011-10-061-6/+8
| | | | | | available, but not accessible from the current code completion context. llvm-svn: 141278
* Fix Sema::CorrectTypo to ignore found but unresolved symbolsKaelyn Uhrain2011-09-071-2/+2
| | | | llvm-svn: 139252
* objective-c: this patch (re)introduces objective-c's default propertyFariborz Jahanian2011-08-311-18/+1
| | | | | | | | | | synthesis. This new feature is currently placed under -fobjc-default-synthesize-properties option and is off by default pending further testing. It will become the default feature soon. // rdar://8843851 llvm-svn: 138913
* Declare and define implicit move constructor and assignment operator.Sebastian Redl2011-08-301-9/+56
| | | | | | | | | This makes the code duplication of implicit special member handling even worse, but the cleanup will have to come later. For now, this works. Follow-up with tests for explicit defaulting and enabling the __has_feature flag to come. llvm-svn: 138821
* objective-c: Treat top-level objective-c declarationsFariborz Jahanian2011-08-271-4/+1
| | | | | | | | | | , such as list of forward @class decls, in a DeclGroup node. Deal with its consequence throught clang. This is in preparation for more Sema work ahead. // rdar://8843851. Feel free to reverse if it breaks something important and I am unavailable. llvm-svn: 138709
* Improve overloaded function handling in the typo correction code.Kaelyn Uhrain2011-08-031-9/+39
| | | | | | | | Change TypoCorrection to store a set of NamedDecls instead of a single NamedDecl. Also add initial support for performing function overload resolution to Sema::DiagnoseEmptyLookup. llvm-svn: 136807
* remove unneeded llvm:: namespace qualifiers on some core types now that ↵Chris Lattner2011-07-231-21/+21
| | | | | | | | LLVM.h imports them into the clang namespace. llvm-svn: 135852
* Use the new llvm::TinyPtrVector class, which implements exactly whatChris Lattner2011-07-181-73/+5
| | | | | | ShadowMapEntry was. llvm-svn: 135368
* Fix a bug where a local variable named 'self' is causingFariborz Jahanian2011-07-121-1/+6
| | | | | | | implicit ivar accesses to go through the 'self' variable rather than the real 'self' for the method. // rdar://9730771 llvm-svn: 134992
* Fix typo correction crash on overloaded functions, pr10283.Hans Wennborg2011-07-121-1/+2
| | | | | | | It would be cool if we could do overload resolution to suggest the right function, but at least this fixes the crashing. llvm-svn: 134976
* Initialize member.Benjamin Kramer2011-07-051-1/+2
| | | | llvm-svn: 134403
* When adding boolean keywords for typo correction, add either "bool" orDouglas Gregor2011-07-011-2/+4
| | | | | | | "_Bool" (depending on dialect), but not both, since they have the same edit distance from "Bool". llvm-svn: 134263
* Fix non-determinism in selecting between equal-length names which referChandler Carruth2011-06-281-1/+9
| | | | | | | | | | | | | to the same declaration when correcting typos. This is done by essentially sorting the corrections as they're added. Original patch by Kaelyn Uhrain, but modified for style and correctness by accounting for more than just the textual spelling. This still is a bit of a WIP hack to make this deterministic. Kaelyn (and myself) are working on a more principled solution going forward. llvm-svn: 134038
* Fix an invalid use of ::back() on an newly emptied vector. Also tightenChandler Carruth2011-06-281-2/+4
| | | | | | | | | | up several places where we never expect to have NULL pointers to assert early. This fixes a valgrind error within CorrectTypo, but not the non-determinism. llvm-svn: 134032
* Dynamically allocate the StringMaps used in typo correction so that weDouglas Gregor2011-06-281-12/+26
| | | | | | don't rely on the existence of a copy constructor. llvm-svn: 134009
* Add support for C++ namespace-aware typo correction, e.g., correctingDouglas Gregor2011-06-281-314/+537
| | | | | | | | | | | | | | | vector<int> to std::vector<int> Patch by Kaelyn Uhrain, with minor tweaks + PCH support from me. Fixes PR5776/<rdar://problem/8652971>. Thanks Kaelyn! llvm-svn: 134007
* Fix unused label warning.Jay Foad2011-06-241-2/+0
| | | | llvm-svn: 133790
* This patch started as an attempt to fix up the horrid namingAlexis Hunt2011-06-241-24/+36
| | | | | | | | | | | | conventions. I then discovered a typo in the using declaration bit in LookupSpecialMember. This led to discovering [namespace.udecl]p15, which clang implements incorrectly. Thus I've added a comment and implemented the code consistently with the rest of clang - that is incorrectly. And because I don't want to include tests of something incorrect, I've ripped the test out. llvm-svn: 133784
* Clean up the heart of the caching code and miss fewer edge cases.Alexis Hunt2011-06-231-8/+22
| | | | llvm-svn: 133671
* Fix a think-o that amazingly didn't show up until I started writingAlexis Hunt2011-06-221-1/+1
| | | | | | implicit move tests. llvm-svn: 133655
* Actually, you know, fix the problem.Alexis Hunt2011-06-221-1/+2
| | | | llvm-svn: 133604
* Avoid making assumption that this is either a CXXMethodDecl or aAlexis Hunt2011-06-221-2/+1
| | | | | | | | | FunctionTemplateDecl. I'm not quite sure what else it could be, though, and would appreciate some insight. This ought to fix the broken builds llvm-svn: 133600
* Attempt to reapply this patch for caching copy assignment operatorAlexis Hunt2011-06-211-5/+27
| | | | | | | lookup. Previously, it was breaking self-host, but it's been a week and a half and I can't reproduce, so I need to see if it's still failing. llvm-svn: 133581
* This change is breaking selfhost. Revert it until I have more timeAlexis Hunt2011-06-101-27/+5
| | | | | | to study it. llvm-svn: 132843
* Implement caching of copy assignment operator lookup.Alexis Hunt2011-06-101-5/+27
| | | | | | | | | | | | | I believe, upon, careful review, that this code causes us to incorrectly handle exception specifications of copy assignment operators in C++03 mode. However, we currently do not seem to properly implement the subtle distinction between copying of members and bases made by implicit copy constructors and assignment operators in C++03 - namely that they are limited in their overload selection - in all cases. As such, I feel that committing this code is correct pending a careful review of our implementation of these semantics. llvm-svn: 132841
* Implement caching for copy constructors in similar situations.Alexis Hunt2011-06-101-1/+17
| | | | llvm-svn: 132835
* Implement caching of default constructors on the resolution table. ThisAlexis Hunt2011-06-101-2/+123
| | | | | | | | isn't yet used for the less controlled environments of initialization. Also a few random text fixups. llvm-svn: 132833
* Catch the memory leak in a bucketAlexis Hunt2011-06-071-1/+2
| | | | llvm-svn: 132700
* Reimplement r132572 on top of a FoldingSet, thus hopefully solving bothAlexis Hunt2011-06-041-6/+55
| | | | | | the self-host failures and Chandler's concerns. llvm-svn: 132622
* Revert r132572 to figure out why it broke selfhost and clean it up asAlexis Hunt2011-06-031-50/+8
| | | | | | suggested by Chandler. llvm-svn: 132593
* Begin implementing a cache of special member lookups. Currently onlyAlexis Hunt2011-06-031-8/+50
| | | | | | | destructors are implemented but other special members are on the way, which is where the real benefits of this will be visible. llvm-svn: 132572
* Implement implicit deletion of default constructors.Alexis Hunt2011-05-111-3/+3
| | | | | | | | Yes, I'm aware that the diagnostics are awful. Tests to follow. llvm-svn: 131203
* Clean up trivial default constructors now.Alexis Hunt2011-05-091-3/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | hasTrivialDefaultConstructor() really really means it now. Also implement a fun standards bug regarding aggregates. Doug, if you'd like, I can un-implement that bug if you think it is truly a defect. The bug is that non-special-member constructors are never considered user-provided, so the following is an aggregate: struct foo { foo(int); }; It's kind of bad, but the solution isn't obvious - should struct foo { foo (int) = delete; }; be an aggregate or not? Lastly, add a missing initialization to FunctionDecl. llvm-svn: 131101
* Don't abuse reinterpret cast to do something the API of PointerUnionChandler Carruth2011-05-021-2/+2
| | | | | | | | | | | | provides proper support for. This was caught by -Wundefined-reinterpret-cast, and I think a reasonable case for it to warn on. Also use is<...> instead of dyn_cast<...> when the result isn't needed. This whole thing should probably switch to using UsuallyTinyPtrVector. llvm-svn: 130707
* Like the coding standards say, do not use "using namespace std".Jay Foad2011-04-231-3/+2
| | | | llvm-svn: 130054
* Add support for C++0x's range-based for loops, as specified by the C++11 ↵Richard Smith2011-04-141-1/+4
| | | | | | draft standard (N3291). llvm-svn: 129541
* From Vassil Vassilev: Give external source's last resort lookup a chance, ↵Axel Naumann2011-04-131-2/+2
| | | | | | even if an identifier could resolve to a builtin. llvm-svn: 129438
* Objective-C++: The global namespace is an associated namespace of anDouglas Gregor2011-04-121-1/+4
| | | | | | Objective-C pointer type. Fixes <rdar://problem/9142559>. llvm-svn: 129339
* Reinstate r127112, "Propagate new-style exception spec information to ↵Sebastian Redl2011-03-061-2/+1
| | | | | | ExtProtoInfo.", this time with the missing header. llvm-svn: 127118
* Revert r127112, "Propagate new-style exception spec information to ↵NAKAMURA Takumi2011-03-061-1/+2
| | | | | | | | ExtProtoInfo." It seems missing "clang/Basic/ExceptionSpecificationType.h". llvm-svn: 127115
* Propagate new-style exception spec information to ExtProtoInfo.Sebastian Redl2011-03-051-2/+1
| | | | llvm-svn: 127112
* Fixed LabelDecl source range and cleaned creation code.Abramo Bagnara2011-03-051-14/+19
| | | | llvm-svn: 127094
OpenPOWER on IntegriCloud