summaryrefslogtreecommitdiffstats
path: root/clang
Commit message (Collapse)AuthorAgeFilesLines
...
* Remove recusive expression visitation in ↵Ted Kremenek2012-02-141-75/+70
| | | | | | ExprEngine::VisitIncrementDecrementOperator(). llvm-svn: 150511
* Pending clear answer from WG21 on whether core issue 903 is intended to apply toRichard Smith2012-02-144-4/+31
| | | | | | | C++11 or just C++17, restrict the set of null pointer constants in C++11 mode back to those which were considered null in C++98. llvm-svn: 150510
* Remove recursive visitation in ExprEngine for UO_Not, UO_Minus, UO_LNot.Ted Kremenek2012-02-141-50/+39
| | | | llvm-svn: 150509
* Remove recursive visitation in ExprEngine for UO_Deref, UO_AddrOf, and ↵Ted Kremenek2012-02-141-12/+7
| | | | | | UO_Extension. llvm-svn: 150506
* Remove ExprEngine recursive visitation of unary UO_Imag operation.Ted Kremenek2012-02-141-18/+10
| | | | llvm-svn: 150505
* Further remove some recursive visitiation in ExprEngine that is no longer ↵Ted Kremenek2012-02-141-16/+10
| | | | | | needed because the CFG is fully linearized. llvm-svn: 150504
* Check the return type of lambda expressions.Douglas Gregor2012-02-144-42/+74
| | | | llvm-svn: 150503
* PR11650: Implement resolution of core issue 1301. Value initialization can't beRichard Smith2012-02-143-15/+107
| | | | | | | used to construct an object of union type with a deleted default constructor (plus fixes for some related value-initialization corner cases). llvm-svn: 150502
* Warn about non-int main() results in GNU C mode instead of erroring.John McCall2012-02-145-12/+28
| | | | | | Based on a patch by Vasiliy Korchagin! llvm-svn: 150500
* more objective-c translator for modern abi.Fariborz Jahanian2012-02-141-1/+19
| | | | | | | metadata for protocol definitions used on class qualifiers. llvm-svn: 150498
* Implement support for lambda capture pack expansions, e.g.,Douglas Gregor2012-02-149-26/+158
| | | | | | [&values...] { print(values...); } llvm-svn: 150497
* Use several weighted factors to determine typo candidate viablity.Kaelyn Uhrain2012-02-143-58/+139
| | | | | | | | | | | Replace the simple Levenshtein edit distance for typo correction candidates--and the hacky way adding namespace qualifiers would affect the edit distance--with a synthetic "edit distance" comprised of several factors and their relative weights. This also allows the typo correction callback object to convey more information about the viability of a correction candidate than simply viable or not viable. llvm-svn: 150495
* Simplify and robustify lambda PCH testDouglas Gregor2012-02-141-3/+1
| | | | llvm-svn: 150493
* Implement AST (de-)serialization for lambda expressions.Douglas Gregor2012-02-148-7/+183
| | | | llvm-svn: 150491
* more modern objc translator. Focusing on metadata for methods.Fariborz Jahanian2012-02-141-17/+61
| | | | llvm-svn: 150490
* include clang's config.h unconditionally (v2)Dylan Noblesmith2012-02-144-15/+5
| | | | | | | | | | And remove HAVE_CLANG_CONFIG_H, now that the header is generated in the autoconf build, too. Reverts r149571/restores r149504, now that config.h is generated correctly by LLVM's configure in all build configurations. llvm-svn: 150487
* Use a simpler (and more efficient) pattern to pad vectors.Benjamin Kramer2012-02-145-25/+14
| | | | llvm-svn: 150475
* Fix crash-on-invalid for 'operator int[]()' in C++11.David Blaikie2012-02-142-3/+7
| | | | | | Signed off by Richard Smith. llvm-svn: 150464
* Fix use-after-free introduced by me being an idiot.Ted Kremenek2012-02-141-6/+4
| | | | llvm-svn: 150461
* Remove useless if statement.Eli Friedman2012-02-141-19/+14
| | | | llvm-svn: 150459
* Add a coverage test for lambda expression IRGen.Eli Friedman2012-02-141-0/+54
| | | | llvm-svn: 150458
* Implement new DiagnosticsRenderer that packages notes retrieved by ↵Ted Kremenek2012-02-143-10/+126
| | | | | | | | | clang_getDiagnosticSetFromTU() as child diagnostics of primary diagnostics. By using the DiagnosticRenderer, these Diagnostics now match with those generated for serialized diagnostics. llvm-svn: 150456
* Refactor DiagnosticRenderer and SDiagsRenderer to have some functionalityTed Kremenek2012-02-145-42/+72
| | | | | | | | | pulled into DiagnosticNoteRenderer, and common DiagnosticRenderer that assumes that all custom diagnostic messages are notes. Also extend DiagnosticRenderer to work with StoredDiagnostics in preparation for subsequent changes. llvm-svn: 150455
* Add helper methods to StoredDiagnostic.Ted Kremenek2012-02-141-0/+9
| | | | llvm-svn: 150454
* Fix another issue introduced by the proposed wording for core issue 1358: sinceRichard Smith2012-02-142-4/+21
| | | | | | | | | | the instantiation of a constexpr function temploid is now always constexpr, a defaulted constexpr function temploid is often ill-formed by the rule in [dcl.fct.def.default]p2 that an explicitly-defaulted constexpr function must have a constexpr implicit definition. To avoid making loads of completely reasonable code ill-formed, do not apply that rule to templates. llvm-svn: 150453
* Implement IRGen of lambda expressions which capture arrays.Eli Friedman2012-02-143-63/+29
| | | | llvm-svn: 150452
* Refactor out new function EmitInitializerForField from ↵Eli Friedman2012-02-142-50/+74
| | | | | | EmitMemberInitializer. The new function will be used to initialize the fields of lambda expressions. llvm-svn: 150451
* [analyzer] Malloc Checker: realloc: add dependency between the symbolsAnna Zaks2012-02-142-9/+47
| | | | | | | | | | | | | in realloc map. If there is no dependency, the reallocated ptr will get garbage collected before we know that realloc failed, which would lead us to missing a memory leak warning. Also added new test cases, which we can handle now. Plus minor cleanups. llvm-svn: 150446
* Simple test ensuring that we perform direct initialization when ↵Douglas Gregor2012-02-141-0/+9
| | | | | | copy-capturing in lambdas llvm-svn: 150442
* Link together the call operator produced from transforming a lambdaDouglas Gregor2012-02-143-24/+99
| | | | | | | | expression with the original call operator, so that we don't try to separately instantiate the call operator. Test and tweak a few more bits for template instantiation of lambda expressions. llvm-svn: 150440
* Mark the cxa_guard_{abort,acquire,release} functions nounwind.Nick Lewycky2012-02-131-3/+6
| | | | llvm-svn: 150435
* Deal with a horrible C++11 special case. If a non-literal type has a constexprRichard Smith2012-02-1313-46/+179
| | | | | | | | | | | constructor, and that constructor is used to initialize an object of static storage duration such that all members and bases are initialized by constant expressions, constant initialization is performed. In this case, the object can still have a non-trivial destructor, and if it does, we must emit a dynamic initializer which performs no initialization and instead simply registers that destructor. llvm-svn: 150419
* Add a subgroup of -Wreturn-type, -Wreturn-type-c-linkage.Matt Beaumont-Gay2012-02-132-2/+3
| | | | llvm-svn: 150418
* Introduce support for template instantiation of lambdaDouglas Gregor2012-02-1311-100/+376
| | | | | | | | | | | | | | | | | | expressions. This is mostly a simple refact, splitting the main "start a lambda expression" function into smaller chunks that are driven either from the parser (Sema::ActOnLambdaExpr) or during AST transformation (TreeTransform::TransformLambdaExpr). A few minor interesting points: - Added new entry points for TreeTransform, so that we can explicitly establish the link between the lambda closure type in the template and the lambda closure type in the instantiation. - Added a bit into LambdaExpr specifying whether it had an explicit result type or not. We should have had this anyway. This code is 'lightly' tested. llvm-svn: 150417
* modern objc translator. More ivar rewrite work.Fariborz Jahanian2012-02-131-14/+17
| | | | llvm-svn: 150415
* objc modern translator. ivar offset symbols.Fariborz Jahanian2012-02-131-2/+40
| | | | llvm-svn: 150413
* [analyzer] Malloc Checker: realloc: correct the way we are handing theAnna Zaks2012-02-132-8/+60
| | | | | | case when size is 0. llvm-svn: 150412
* Add a script that produces a list of all diagnostics that are defined inDmitri Gribenko2012-02-131-0/+19
| | | | | | Diagnostic*.td files but not used in sources. llvm-svn: 150410
* Remove unused diagnostics from include/clang/Basic/Diagnostic*.td files.Dmitri Gribenko2012-02-139-188/+3
| | | | llvm-svn: 150409
* Don't route explicit construction via list-initialization through the ↵Sebastian Redl2012-02-134-21/+56
| | | | | | functional cast code path. It sometimes does the wrong thing, produces horrible error messages, and is just unnecessary. llvm-svn: 150408
* Sink variable into assertMatt Beaumont-Gay2012-02-131-2/+2
| | | | llvm-svn: 150407
* objective-c translator: more rewriting of ivar typesFariborz Jahanian2012-02-131-8/+29
| | | | | | into a c-type which closely matches the objective-c type. llvm-svn: 150406
* When generating diagnostic information due to a clang failure, allow multipleChad Rosier2012-02-131-9/+10
| | | | | | | | | -arch options if the're all the same. Patch by Jeremy Huddleston. rdar://10849701 llvm-svn: 150403
* [analyzer] Malloc checker: rework realloc handling:Anna Zaks2012-02-133-47/+107
| | | | | | | | | | | | | | | | | | | 1) Support the case when realloc fails to reduce False Positives. (We essentially need to restore the state of the pointer being reallocated.) 2) Realloc behaves differently under special conditions (from pointer is null, size is 0). When detecting these cases, we should consider under-constrained states (size might or might not be 0). The old version handled this in a very hacky way. The code did not differentiate between definite and possible (no consideration for under-constrained states). Further, after processing each special case, the realloc processing function did not return but chained to the next special case processing. So you could end up in an execution in which you first see the states in which size is 0 and realloc ~ free(), followed by the states corresponding to size is not 0 followed by the evaluation of the regular realloc behavior. llvm-svn: 150402
* Split the storage of lambda information between the LambdaExpr and theDouglas Gregor2012-02-134-131/+95
| | | | | | | | | | | | CXXRecordDecl in a way that actually makes some sense: - LambdaExpr contains all of the information for initializing the lambda object, including the capture initializers and associated array index variables. - CXXRecordDecl's LambdaDefinitionData contains the captures, which are needed to understand the captured variable references in the body of the lambda. llvm-svn: 150401
* Keep track of the set of array index variables we use when weDouglas Gregor2012-02-137-15/+92
| | | | | | | synthesize a by-copy captured array in a lambda. This information will be needed by IR generation. llvm-svn: 150396
* Don't allocate unused storage for captures/capture initializers in lambda ↵Douglas Gregor2012-02-131-6/+3
| | | | | | expressions llvm-svn: 150394
* Move the storage of lambda captures and capture initializers fromDouglas Gregor2012-02-137-90/+157
| | | | | | | | LambdaExpr over to the CXXRecordDecl. This allows us to eliminate the back-link from the closure type to the LambdaExpr, which will simplify and lazify AST deserialization. llvm-svn: 150393
* Add back in the code to create forward decls using temporary mdnodes.Eric Christopher2012-02-131-13/+14
| | | | llvm-svn: 150390
* Testcase for previous commit.Eric Christopher2012-02-131-0/+13
| | | | | | PR11970. llvm-svn: 150389
OpenPOWER on IntegriCloud