summaryrefslogtreecommitdiffstats
path: root/clang/lib
Commit message (Collapse)AuthorAgeFilesLines
...
* Fix template instantiation for __builtin_offfsetof expressions that refer to ↵Douglas Gregor2010-04-281-0/+3
| | | | | | members of anonymous structs/unions llvm-svn: 102551
* A bit more neon work, adds work (but the ABI is wrong), types mostly stamped ↵Nate Begeman2010-04-281-1/+102
| | | | | | out. llvm-svn: 102549
* Diagnose __builtin_offsetof expressions that refer to bit-fieldsDouglas Gregor2010-04-281-3/+25
| | | | llvm-svn: 102548
* Support for construct/destruct of ivar arrayFariborz Jahanian2010-04-281-7/+18
| | | | | | | of c++ objects (NeXt runtime). radar 7900343. llvm-svn: 102546
* Completely reimplement __builtin_offsetof, based on a patch by RobertoDouglas Gregor2010-04-2813-49/+560
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Amadini. This change introduces a new expression node type, OffsetOfExpr, that describes __builtin_offsetof. Previously, __builtin_offsetof was implemented using a unary operator whose subexpression involved various synthesized array-subscript and member-reference expressions, which was ugly and made it very hard to instantiate as a template. OffsetOfExpr represents the AST more faithfully, with proper type source information and a more compact representation. OffsetOfExpr also has support for dependent __builtin_offsetof expressions; it can be value-dependent, but will never be type-dependent (like sizeof or alignof). This commit introduces template instantiation for __builtin_offsetof as well. There are two major caveats to this patch: 1) CodeGen cannot handle the case where __builtin_offsetof is not a constant expression, so it produces an error. So, to avoid regressing in C, we retain the old UnaryOperator-based __builtin_offsetof implementation in C while using the shiny new OffsetOfExpr implementation in C++. The old implementation can go away once we have proper CodeGen support for this case, which we expect won't cause much trouble in C++. 2) __builtin_offsetof doesn't work well with non-POD class types, particularly when the designated field is found within a base class. I will address this in a subsequent patch. Fixes PR5880 and a bunch of assertions when building Boost.Python tests. llvm-svn: 102542
* IRGen for initialization/destruction ofFariborz Jahanian2010-04-285-0/+92
| | | | | | | ivar class objects (NeXt runtime). (radar 7900343). llvm-svn: 102533
* add regex support for -verify mode. You can now do things likeChris Lattner2010-04-281-144/+319
| | | | | | | | expected-error-re {{someregex}} Patch by mike-m! llvm-svn: 102516
* Changed signature of GenerateMessageSend() function to pass the ↵David Chisnall2010-04-284-17/+31
| | | | | | | | ObjCInterfaceDecl for class messages and removed the boolean IsClassMessage argument, which wasn't used anywhere. Emitted some metadata on message sends to allow a later pass to do some speculative inlining of class methods (GNU runtime). Speculative inlining of instance methods requires type feedback to be useful (work in progress), but for class methods it works quite nicely. llvm-svn: 102514
* Stub out NEON support, more to come.Nate Begeman2010-04-282-0/+241
| | | | llvm-svn: 102512
* Revert "Fix for PR6953: per gcc, regparm and noreturn affect the ↵Daniel Dunbar2010-04-281-8/+13
| | | | | | compatibility of", it is breaking the builds of quite a few projects (emacs, dovecot, gnutar, bison). llvm-svn: 102501
* More of Sema to implement initialization ofFariborz Jahanian2010-04-285-27/+71
| | | | | | ivar of c++ object types. llvm-svn: 102500
* Remove unused function.Benjamin Kramer2010-04-281-4/+0
| | | | llvm-svn: 102499
* Reduce string trashing in getQualifiedNameAsString.Benjamin Kramer2010-04-281-48/+38
| | | | llvm-svn: 102498
* Emit the correct symbol name for the class (GNU runtime).David Chisnall2010-04-281-5/+7
| | | | llvm-svn: 102497
* Written storage class for declarations inside linkage specifications without ↵Abramo Bagnara2010-04-281-9/+29
| | | | | | braces is none. llvm-svn: 102496
* When the qualifier of a id-expression is non-dependent but notDouglas Gregor2010-04-281-3/+4
| | | | | | | | | complete, return an error rather than falling back to building a dependent declaration reference, since we might not be in a dependent context. Fixes a fiendish crash-on-invalid in Boost.FunctionTypes that I wasn't able to reduce to anything useful. llvm-svn: 102491
* Improve name mangling for dependent template names (e.g., typenameDouglas Gregor2010-04-281-15/+77
| | | | | | | | T::template apply<U>), handling a few cases where we previously failed and performing substitutions on such dependent names. Fixes a crash in Boost.PropertyTree. llvm-svn: 102490
* When instantiating a function template specialization followingDouglas Gregor2010-04-281-2/+4
| | | | | | | | template argument deduction, use the lexical declaration context as the owner for friend function templates. Fixes 2 failures in Boost.Graph. llvm-svn: 102489
* Properly pass the address of a lazily-generated function declaration withJohn McCall2010-04-281-5/+16
| | | | | | incomplete type. Fixes PR6911. llvm-svn: 102473
* It's okay to refer to non-type template parameters anywhere they areDouglas Gregor2010-04-271-1/+4
| | | | | | visible. Fixes the remaining two failures in Boost.ScopeExit. llvm-svn: 102466
* Removed spaces at end of line. (Test commit.)Abramo Bagnara2010-04-271-1/+1
| | | | llvm-svn: 102465
* Fix for PR6953: per gcc, regparm and noreturn affect the compatibility ofEli Friedman2010-04-271-13/+8
| | | | | | | | | function types. This could potentially have unexpected side-effects, so look here if there are new regressions. llvm-svn: 102464
* When explicitly building a temporary object (CXXTemporaryObjectExpr),Douglas Gregor2010-04-272-3/+5
| | | | | | | | | | | keep track of whether we need to zero-initialize storage prior to calling its constructor. Previously, we were only tracking this when implicitly constructing the object (a CXXConstructExpr). Fixes Boost's value-initialization tests, which means that the Boost.Config library now passes all of its tests. llvm-svn: 102461
* Fixed message send to void (broken by my last commit - GNU runtime).David Chisnall2010-04-271-1/+2
| | | | llvm-svn: 102459
* Diagnose the use of abstract types as array element types. Previously,Douglas Gregor2010-04-271-10/+19
| | | | | | | | | | we were relying on checking for abstract class types when an array type was actually used to declare a variable, parameter, etc. However, we need to check when the construct the array for, e.g., SFINAE purposes (see DR337). Fixes problems with Boost's is_abstract type trait. llvm-svn: 102452
* During template instantiation, set the naming class ofDouglas Gregor2010-04-274-35/+52
| | | | | | | | | | | | | | | | | | | UnresolvedLookupExpr and UnresolvedMemberExpr by substituting the naming class we computed when building the expression in the template... ... which we didn't always do correctly. Teach UnresolvedMemberExpr::getNamingClass() all about the new representation of injected-class-names in templates, so that it can return a naming class that is the current instantiation. Also, when decomposing a template-id into its template name and its arguments, be sure to set the naming class on the LookupResult structure. Fixes PR6947 the right way. llvm-svn: 102448
* More simplifications.Benjamin Kramer2010-04-271-17/+7
| | | | llvm-svn: 102447
* Move CollectIvarsToConstructOrDestruct to SemaFariborz Jahanian2010-04-273-49/+58
| | | | | | | from AST, consider ivar array of objects (per Doug's comment). llvm-svn: 102446
* Simplify some code. No change in functionality.Benjamin Kramer2010-04-271-18/+9
| | | | llvm-svn: 102445
* When checking the redeclaration context of a typedef that refers to aDouglas Gregor2010-04-271-1/+2
| | | | | | | tag of the same name, compare the lookup contexts rather than the actual contexts. Fixes PR6923. llvm-svn: 102437
* Don't look into incomplete types when trying to warn about unusedDouglas Gregor2010-04-271-0/+5
| | | | | | variables. Fixes PR6948. llvm-svn: 102436
* When instantiating UnresolvedLookupExpr and UnresolvedMemberExprDouglas Gregor2010-04-271-0/+40
| | | | | | | expressions, be sure to set the naming class of the LookupResult structure. Fixes PR6947. llvm-svn: 102434
* Simplify.Daniel Dunbar2010-04-271-4/+2
| | | | llvm-svn: 102432
* Add Driver support for -fno-constant-cfstrings.Daniel Dunbar2010-04-271-0/+8
| | | | llvm-svn: 102431
* Ensure return from a message to nil is always 0 (GNU runtime).David Chisnall2010-04-271-1/+67
| | | | | | | | | This works around stack corruption / crashes resulting from PR6944, and also works around people who expect 'what works on my machine' to work everywhere (GCC crashes in a number of cases on SPARC that should now work correctly with clang). llvm-svn: 102430
* Fix comments.Daniel Dunbar2010-04-271-3/+3
| | | | llvm-svn: 102429
* Wrap a couple of long lines. (Test commit.)Enea Zaffanella2010-04-271-2/+4
| | | | llvm-svn: 102420
* Improve the diagnostic you get when making a qualified member accessJohn McCall2010-04-272-6/+3
| | | | | | with a qualifier referencing a different type. llvm-svn: 102409
* Make the InjectedClassNameType the canonical type of the current instantiationJohn McCall2010-04-2715-115/+135
| | | | | | | | | | | | | | | | of a class template or class template partial specialization. That is to say, in template <class T> class A { ... }; or template <class T> class B<const T*> { ... }; make 'A<T>' and 'B<const T*>' sugar for the corresponding InjectedClassNameType when written inside the appropriate context. This allows us to track the current instantiation appropriately even inside AST routines. It also allows us to compute a DeclContext for a type much more efficiently, at some extra cost every time we write a template specialization (which can be optimized, but I've left it simple in this patch). llvm-svn: 102407
* New method to construct/destruct ivars that have non-trivial default Fariborz Jahanian2010-04-261-0/+49
| | | | | | constructors or destructors, not used yet. llvm-svn: 102403
* Enable debug info for local variables at -O1+. Devang Patel2010-04-261-12/+1
| | | | llvm-svn: 102398
* Improve source-location information in a C++ typeid (type) expressionDouglas Gregor2010-04-264-94/+123
| | | | | | | | | | | | | | | | | by using TypeSourceInfo, cleaning up the representation somewhat. Teach getTypeOperand() to strip references and cv-qualifiers, providing the semantic view of the type without requiring any extra storage (the unmodified type remains within the TypeSourceInfo). This fixes a bug found by Boost's call_traits test. Finally, clean up semantic analysis, by splitting the ActOnCXXTypeid routine into ActOnCXXTypeId (the parser action) and two BuildCXXTypeId functions, which perform the semantic analysis for typeid(type) and typeid(expression), respectively. We now perform less work at template instantiation time (we don't look for std::type_info again) and can give better diagnostics. llvm-svn: 102393
* fix PR6936: don't generate line marker directives when preprocessingChris Lattner2010-04-261-3/+9
| | | | | | | | .S files. "# 123" is passed through as-is, not treated as a line marker in this mode. No testcase, because it would be nasty and isn't worth it. llvm-svn: 102391
* Diagnose declaration of reference typed ivars.Fariborz Jahanian2010-04-261-2/+5
| | | | llvm-svn: 102390
* Introduce Type::isStructureOrClassType(), which does the obviousDouglas Gregor2010-04-269-17/+20
| | | | | | | | thing. Audit all uses of Type::isStructure(), changing those calls to isStructureOrClassType() as needed (which is alsmost everywhere). Fixes the remaining failure in Boost.Utility/Swap. llvm-svn: 102386
* Cleanup error recovery for a missing '-'|'+'Fariborz Jahanian2010-04-261-32/+24
| | | | | | on a method declaration (radar 7822196). llvm-svn: 102383
* Implement template instantiation for implicit property references inDouglas Gregor2010-04-261-3/+44
| | | | | | | Objective-C++. This is the last bit of (non-blocks-related) template instantiation logic for Objective-C++. Yay! llvm-svn: 102382
* Implement template instantiation for ObjCPropertyRefExpr.Douglas Gregor2010-04-261-4/+45
| | | | llvm-svn: 102379
* emit dtors with the right calling convention in -fno-use-cxa-atexitChris Lattner2010-04-261-3/+8
| | | | | | mode. llvm-svn: 102377
* Implement template instantiation for value-dependent Objective-C ivarDouglas Gregor2010-04-261-6/+83
| | | | | | | | references and isa expressions. Also, test template instantiation of unresolved member references to Objective-C ivar references and isa expressions. llvm-svn: 102374
OpenPOWER on IntegriCloud