summaryrefslogtreecommitdiffstats
path: root/clang/lib/Sema
Commit message (Collapse)AuthorAgeFilesLines
* Reinstate my CodeModificationHint -> FixItHint renaming patch, withoutDouglas Gregor2010-03-3112-116/+93
| | | | | | the C-only "optimization". llvm-svn: 100022
* Rename TypenameType to DependentNameType in anticipation of someDouglas Gregor2010-03-315-28/+28
| | | | | | refactoring work in this area. llvm-svn: 100019
* Revert r100008, which inexplicably breaks the clang-i686-darwin10 builderDouglas Gregor2010-03-3112-93/+116
| | | | llvm-svn: 100018
* Rename CodeModificationHint to FixItHint, since we've been using theDouglas Gregor2010-03-3112-116/+93
| | | | | | | term "fix-it" everywhere and even *I* get tired of long names sometimes. No functionality change. llvm-svn: 100008
* Support __attribute__((unused)) on types. This suddenly started firingJohn McCall2010-03-312-3/+20
| | | | | | a lot for me on selfhosts, I dunno why. llvm-svn: 99981
* Fix PR6327: restore invariants when there's a parse error in an initializer.John McCall2010-03-312-0/+36
| | | | llvm-svn: 99980
* Regularize support for naming conversion functions in using decls.John McCall2010-03-314-19/+37
| | | | llvm-svn: 99979
* Remove silly temporary comment.John McCall2010-03-301-2/+0
| | | | llvm-svn: 99964
* Introduce a new kind of derived-to-base cast which bypasses the need forJohn McCall2010-03-301-4/+4
| | | | | | | null checks, and make sure we elide null checks when accessing base class members. llvm-svn: 99963
* Recognize __attribute__((NSObject)) directly appliedFariborz Jahanian2010-03-302-7/+11
| | | | | | on retain properties. (radar 7809468). llvm-svn: 99951
* Fix an oversight with access control for address-of-function.John McCall2010-03-301-0/+1
| | | | llvm-svn: 99942
* Remember the regparm attribute in FunctionType::ExtInfo.Rafael Espindola2010-03-302-2/+27
| | | | | | Fixes PR3782. llvm-svn: 99940
* Propagate the "found declaration" (i.e. the using declaration instead ofJohn McCall2010-03-3013-104/+267
| | | | | | | | | | | | | the underlying/instantiated decl) through a lot of API, including "intermediate" MemberExprs required for (e.g.) template instantiation. This is necessary because of the access semantics of member accesses to using declarations: only the base class *containing the using decl* need be accessible from the naming class. This allows us to complete an access-controlled selfhost, if there are no recent regressions. llvm-svn: 99936
* Improve diagnostics when printing a template instantiation backtraceDouglas Gregor2010-03-301-2/+14
| | | | | | | | | | involving substitution of deduced template arguments into a class template partial specialization or function template, or when substituting explicitly-specific template arguments into a function template. We now print the actual deduced argument bindings so the user can see what got deduced. llvm-svn: 99923
* the big refactoring bits of PR3782.Rafael Espindola2010-03-309-49/+49
| | | | | | | | This introduces FunctionType::ExtInfo to hold the calling convention and the noreturn attribute. The next patch will extend it to include the regparm attribute and fix the bug. llvm-svn: 99920
* Add Support for 'warn_unused_result" attribute onFariborz Jahanian2010-03-302-6/+18
| | | | | | objective-c methods. (radar 7418262). llvm-svn: 99903
* Fix a bug where we would incorrectly report an error about initializing two ↵Anders Carlsson2010-03-301-11/+14
| | | | | | fields in an anonymous struct. llvm-svn: 99891
* Reduce nesting.Anders Carlsson2010-03-301-15/+15
| | | | llvm-svn: 99889
* Optimize PartialDiagnostic's memory-allocation behavior by placing aDouglas Gregor2010-03-2910-64/+92
| | | | | | | | | | | | | | cache of PartialDiagnostic::Storage objects into an allocator within the ASTContext. This eliminates a significant amount of malloc traffic, for a 10% performance improvement in -fsyntax-only wall-clock time with 403.gcc's combine.c. Also, eliminate the RequireNonAbstractType hack I put in earlier, which was but a symptom of this larger problem. Fixes <rdar://problem/7806091>. llvm-svn: 99849
* Exit early from the simple form of Sema::RequireNonAbstractType(), forDouglas Gregor2010-03-291-0/+3
| | | | | | a 2.47% speedup in 403.gcc. llvm-svn: 99830
* Support __attribute__((packed)) (along with other attributes) at theDouglas Gregor2010-03-292-3/+5
| | | | | | end of a struct/class/union in C++, from Justin Bogner! llvm-svn: 99811
* Be a bit more consistent in using operator->Rafael Espindola2010-03-291-1/+1
| | | | | | | This patch moves some methods from QualType to Type and changes the users to use -> instead of . llvm-svn: 99805
* After performing template argument deduction for a function template,Douglas Gregor2010-03-286-137/+365
| | | | | | | | | | | | | | | | | | | | check deduced non-type template arguments and template template arguments against the template parameters for which they were deduced, performing conversions as appropriate so that deduced template arguments get the same treatment as explicitly-specified template arguments. This is the bulk of PR6723. Also keep track of whether deduction of a non-type template argument came from an array bound (vs. anywhere else). With this information, we enforce C++ [temp.deduct.type]p17, which requires exact type matches when deduction deduces a non-type template argument from something that is not an array bound. Finally, when in a SFINAE context, translate the "zero sized arrays are an extension" extension diagnostic into a hard error (for better standard conformance), which was a minor part of PR6723. llvm-svn: 99734
* Further improvement to point to categoryFariborz Jahanian2010-03-272-4/+11
| | | | | | whose protocolls methods needs implementation. llvm-svn: 99730
* Improve diagnostics on incomplete implementationFariborz Jahanian2010-03-271-3/+10
| | | | | | | | of objc classes; including which methods need be implemented and where they come from. WIP. llvm-svn: 99724
* Accumulate all functions and classes that the effective context isJohn McCall2010-03-271-35/+51
| | | | | | | | nested within, and suddenly local classes start working. Wouldn't be necessary if I hadn't used local classes in Clang in the first place. Or, well, wouldn't be necessary yet. :) llvm-svn: 99709
* Implement method friends in class templates and fix a few related problems.John McCall2010-03-272-31/+79
| | | | llvm-svn: 99708
* Remove unused static functionDouglas Gregor2010-03-261-17/+0
| | | | llvm-svn: 99666
* Put function templates instantiated from friend declarations in the correctJohn McCall2010-03-261-6/+15
| | | | | | lexical context. This is required for ADL to work properly; fixes PR6716. llvm-svn: 99665
* Compare namespaces properly when looking for redeclarations ofDouglas Gregor2010-03-261-1/+3
| | | | | | namespace aliases. Fixes PR6341. llvm-svn: 99664
* Add comment indicating that we intentionally don't add the noreturnTed Kremenek2010-03-261-0/+3
| | | | | | attribute to a FunctionDecl. llvm-svn: 99662
* When adding initializers to a constructor, be sure that we are lookingDouglas Gregor2010-03-261-1/+5
| | | | | | | | through the bases and fields of the definition of the class in which the constructor is declared, rather than some other declaration of that class. llvm-svn: 99661
* When trying to determine whether one operand of a conditionalDouglas Gregor2010-03-261-7/+9
| | | | | | | | | expression can be converted to the type of another, only apply the lvalue-to-rvalue conversion to the type of the expression we're converting, *not* the array-to-pointer or function-to-pointer conversions. Fixes PR6595. llvm-svn: 99652
* Eliminate the non-InitializedEntity PerformCopyInitialization() andDouglas Gregor2010-03-263-44/+8
| | | | | | | | re-route its only caller to the newer PerformCopyInitialization(). We're down to one remaining caller of Sema::CheckReferenceInit. llvm-svn: 99650
* Switch semantic analysis of the conditional operator from usingDouglas Gregor2010-03-263-88/+112
| | | | | | CheckReferenceInit to using the new initialization sequence code. llvm-svn: 99647
* Do not mark the destructor of a function parameter's type. Fixes PR6709.Douglas Gregor2010-03-261-4/+0
| | | | llvm-svn: 99615
* When deducing an integral template argument for a non-type templateDouglas Gregor2010-03-261-32/+35
| | | | | | | | | | parameter, keep the integral value exactly as it was in the source code rather than trying to convert it to the type of the non-type template parameter (which may still be dependent!). The value will then be converted to the appropriate type once we check the resulting template arguments. Fixes PR6707. llvm-svn: 99611
* Reapply r99596 with a fix: link an instantiated friend function to itsJohn McCall2010-03-262-15/+41
| | | | | | pattern if it has a body. llvm-svn: 99610
* Apparently that didn't work. Reverting for now.John McCall2010-03-262-30/+15
| | | | llvm-svn: 99601
* Reinstate change to non-type template arguments of integral type, soDouglas Gregor2010-03-261-19/+20
| | | | | | | | | that we extend/truncate then correct the sign to convert the non-type template argument to the template parameter's type. Previously, we reported an error when the non-type template argument was out of range; now we just warn. llvm-svn: 99600
* Properly instantiate and link in friend function templates.John McCall2010-03-262-15/+30
| | | | llvm-svn: 99596
* Revert attempted fix for integral template arguments. It seems to have ↵Douglas Gregor2010-03-261-20/+19
| | | | | | broken tramp3d-v4. llvm-svn: 99583
* Mark virtual methods that are used in tables included in VTTs as used.Rafael Espindola2010-03-262-2/+19
| | | | | | Fixes PR6706. llvm-svn: 99582
* Warn when the conversion of an integral non-type template argument toDouglas Gregor2010-03-251-19/+20
| | | | | | | | | | | | | | | | | | the type of its corresponding non-type template parameter changes the value. Previously, we were diagnosing this as an error, which was wrong. We give reasonably nice warnings like: test/SemaTemplate/temp_arg_nontype.cpp:100:10: warning: non-type template argument value '256' truncated to '0' for template parameter of type 'unsigned char' Overflow<256> *overflow3; // expected-warning{{non-type template ... ^~~ test/SemaTemplate/temp_arg_nontype.cpp:96:24: note: template parameter is declared here template<unsigned char C> struct Overflow; ^ llvm-svn: 99561
* Teach the diagnostic engine to provide more detailed information aboutDouglas Gregor2010-03-252-13/+25
| | | | | | | | | how to handle a diagnostic during template argument deduction, which may be "substitution failure", "suppress", or "report". This keeps us from, e.g., emitting warnings while performing template argument deduction. llvm-svn: 99560
* When finishing a function definition, leave the function definition *after*John McCall2010-03-251-2/+3
| | | | | | | doing all the cleanup tasks and checks. This gives us the proper context for checking access to base and member destructors. llvm-svn: 99559
* Fix a very minor oversight in privileges-elevation: we were only consideringJohn McCall2010-03-251-1/+1
| | | | | | | friendship for a derived class if the base class specifier was non-public, and thus not considering friendship for non-public members of public bases. llvm-svn: 99554
* Handle simple friend-class decls in class templates better by ensuring thatJohn McCall2010-03-252-61/+85
| | | | | | | we look for shadow friend decls in the appropriate scope before injecting a new declaration. llvm-svn: 99552
* Preserve type-source information in friend declarations.John McCall2010-03-254-12/+21
| | | | llvm-svn: 99525
* Remove support for nand atomic builtins. They are inconsistently implemented inDaniel Dunbar2010-03-251-15/+9
| | | | | | | gcc, and the common expectation seems to be that they are unused. If and when someone cares we can add them back with well documented demantics. llvm-svn: 99522
OpenPOWER on IntegriCloud