summaryrefslogtreecommitdiffstats
path: root/clang/lib/Sema/SemaInit.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Don't try to set the "array filler" in a InitListExpr twice.Argyrios Kyrtzidis2011-10-211-2/+3
| | | | llvm-svn: 142695
* -Wc++98-compat: diagnose if a reference is bound to a prvalue which does notRichard Smith2011-10-191-66/+138
| | | | | | have an unambiguous accessible copying constructor; this is ill-formed in C++98. llvm-svn: 142533
* -Wc++98-compat and -Wc++98-compat-pedantic warnings for Sema, part 2.Richard Smith2011-10-181-6/+7
| | | | llvm-svn: 142426
* Teach the ARC compiler to not require __bridge casts whenJohn McCall2011-10-171-0/+23
| | | | | | | passing/receiving CF objects at +0 to/from Objective-C methods or audited C functions. llvm-svn: 142219
* Diagnose when omitting braces in direct list-initialization in C++0x.Sebastian Redl2011-10-161-10/+25
| | | | | | This also applies to C99-style aggregate literals, should they be used in C++11, since they are effectively identical to constructor call list-initialization syntax. llvm-svn: 142147
* In the verify-only pass, check that items that don't have an initializer in ↵Sebastian Redl2011-10-161-17/+62
| | | | | | an init list can be value-initialized, at least when designated initializers are not involved. No test case yet, since early failures cannot be distinguished from late failures until overload resolution works. llvm-svn: 142146
* Change operator<< for raw_ostream and NamedDecl to take a reference instead ↵Benjamin Kramer2011-10-141-2/+2
| | | | | | | | of a pointer. Passing a pointer was a bad idea as it collides with the overload for void*. llvm-svn: 141971
* Constant expression evaluation refactoring:Richard Smith2011-10-101-3/+3
| | | | | | | | | | | - Remodel Expr::EvaluateAsInt to behave like the other EvaluateAs* functions, and add Expr::EvaluateKnownConstInt to capture the current fold-or-assert behaviour. - Factor out evaluation of bitfield bit widths. - Fix a few places which would evaluate an expression twice: once to determine whether it is a constant expression, then again to get the value. llvm-svn: 141561
* Per C++ [class.bit]p2, unnamed bit-fields are not members. Fixes PR10289.Douglas Gregor2011-10-101-1/+1
| | | | llvm-svn: 141549
* Initialize the HadMultipleCandidates flag.Benjamin Kramer2011-10-091-0/+3
| | | | | | Found by valgrind. llvm-svn: 141510
* Added a flag to identify resolved overloaded function references.Abramo Bagnara2011-10-051-1/+11
| | | | llvm-svn: 141171
* Remove a nonsensical bit of code from ↵Eli Friedman2011-10-041-3/+0
| | | | | | | | InitListChecker::getStructuredSubobjectInit which was increasing the reserved size for an init list past its maximum possible size. Fixes PR11056, a case where we were reserving a bunch of memory for arrays that was never actually used. (No testcase because I don't think we have any way to actually write a testcase for this; the chosen value of NumElements has no effects on anything other than performance and memory usage.) llvm-svn: 141106
* Get rid of useless helper Sema::CastCategory.Eli Friedman2011-09-271-1/+1
| | | | llvm-svn: 140642
* PR11009: Fix a FIXME which was leading to an assertion failure with rvalue ↵Eli Friedman2011-09-271-4/+1
| | | | | | references. llvm-svn: 140594
* CheckStringInit has side effects; make sure we don't run it in VerifyOnly ↵Eli Friedman2011-09-261-3/+5
| | | | | | | | mode, at least for the moment. <rdar://problem/10185490>. Sebastian, please take a look at this; I'm not entirely sure it is the right thing to do. llvm-svn: 140552
* Fix a typo in the new VerifyOnly handling in SemaInit. No visible ↵Eli Friedman2011-09-261-1/+1
| | | | | | difference at the moment, as far as I can tell. llvm-svn: 140546
* Add a missing increment to avoid infinite looping in the regression test.Benjamin Kramer2011-09-251-1/+4
| | | | | | Also make sure we set the error flag when correcting a typo. llvm-svn: 140466
* Treat list-initialization of scalars as a first-class citizen in C++11.Sebastian Redl2011-09-241-5/+6
| | | | | | | | | Allow empty initializer lists for scalars, which mean value-initialization. Constant evaluation for single-element and empty initializer lists for scalars. Codegen for empty initializer lists for scalars. Test case comes in next commit. llvm-svn: 140459
* Give InitListChecker a verification-only mode, where it neither emits ↵Sebastian Redl2011-09-241-217/+320
| | | | | | | | | | | diagnostics nor builds a semantic (structured) initializer list, just reports on whether it can match the given list to the target type. Use this mode for doing init list checking in the initial step of initialization, which will eventually allow us to do overload resolution based on the outcome. llvm-svn: 140457
* In Initialization, add step kind SK_ListConstructorCall (list-initializationSebastian Redl2011-09-241-5/+21
| | | | | | | resolves to a constructor call in C++11) and failure kind FK_ListInitializationFailed (early InitListChecker run failed). llvm-svn: 140456
* Inline Sema::CheckInitList into its only user.Sebastian Redl2011-09-241-11/+4
| | | | llvm-svn: 140455
* Fix typos and non-doxygen-ness in a few comments.Sebastian Redl2011-09-241-4/+2
| | | | llvm-svn: 140454
* Switch assert(0/false) llvm_unreachable.David Blaikie2011-09-231-2/+2
| | | | llvm-svn: 140367
* Add list initialization for complex numbers in C. Essentially, this allows ↵Eli Friedman2011-09-191-5/+67
| | | | | | | | "_Complex float x = {1.0f, 2.0f};". See changes to docs/LanguageExtensions.html for a longer description. <rdar://problem/9397672>. llvm-svn: 140090
* Rename LangOptions::Microsoft to LangOptions::MicrosoftExt to make it clear ↵Francois Pichet2011-09-171-3/+3
| | | | | | | | that this flag must be used only for Microsoft extensions and not emulation; to avoid confusion with the new LangOptions::MicrosoftMode flag. Many of the code now under LangOptions::MicrosoftExt will eventually be moved under the LangOptions::MicrosoftMode flag. llvm-svn: 139987
* Rename the ARC cast kinds to start with "ARC".John McCall2011-09-101-1/+1
| | | | llvm-svn: 139466
* Extend the self-reference warning to catch when a constructor references ↵Richard Trieu2011-09-011-0/+8
| | | | | | | | | itself upon initialization, such as using itself within its own copy constructor. struct S {}; S s(s); llvm-svn: 138969
* Fix PR10694: Boolean conversions can be from pointers, and those conversionsJeffrey Yasskin2011-08-301-0/+5
| | | | | | aren't considered narrowing conversions. llvm-svn: 138838
* Print 'int' instead of 'const int' in the narrowing conversion error, since theJeffrey Yasskin2011-08-291-3/+3
| | | | | | | | | qualification of a type doesn't affect whether a conversion is a narrowing conversion. This doesn't work in template cases because SubstTemplateTypeParmType gets in the way. llvm-svn: 138735
* Refactor and fix checking for initialization of flexible array members. The ↵Eli Friedman2011-08-231-24/+45
| | | | | | | | old version had the checks scattered across the code, missed some checks, and had a couple nasty bugs in existing checks. Fixes PR10648 and another similar accepts-invalid bug. llvm-svn: 138398
* Remove function parameter which always used the default value.Eli Friedman2011-08-231-6/+3
| | | | llvm-svn: 138368
* Downgrade "err_init_list_variable_narrowing" into a warning in Microsoft ↵Francois Pichet2011-08-181-2/+2
| | | | | | mode even if c++0x is enabled. This necessary to parse MSVC code in C++0x mode. llvm-svn: 137904
* Conversions to bool count as integer conversions for the purposes ofJeffrey Yasskin2011-08-121-0/+1
| | | | | | the C++0x narrowing error. llvm-svn: 137512
* Add support for C++0x unicode string and character literals, from Craig Topper!Douglas Gregor2011-07-271-11/+21
| | | | llvm-svn: 136210
* This patch implements as much of the narrowing conversion error specified byJeffrey Yasskin2011-07-261-5/+216
| | | | | | | | | | | | | | | [dcl.init.list] as is possible without generalized initializer lists or full constant expression support, and adds a c++0x-compat warning in C++98 mode. The FixIt currently uses a typedef's basename without qualification, which is likely to be incorrect on some code. If it's incorrect on too much code, we should write a function to get the string that refers to a type from a particular context. The warning is currently off by default. I'll fix LLVM and clang before turning it on. llvm-svn: 136181
* remove unneeded llvm:: namespace qualifiers on some core types now that ↵Chris Lattner2011-07-231-5/+5
| | | | | | | | LLVM.h imports them into the clang namespace. llvm-svn: 135852
* This handles the missing cases of opencl vector literals.Tanya Lattner2011-07-151-1/+2
| | | | | | Test cases provided by Anton Lokhmot. llvm-svn: 135322
* Revert 135177 to fix PR10363.Rafael Espindola2011-07-141-225/+80
| | | | | | | | Revert "For C++11, do more checking of initializer lists up-front, enabling some subset of the final functionality. C just leaves the function early. C++98 runs through the same code path, but has no changed functionality either." This reverts commit ac420c5053d6aa41d59f782caad9e46e5baaf2c2. llvm-svn: 135210
* For C++11, do more checking of initializer lists up-front, enabling some ↵Sebastian Redl2011-07-141-80/+225
| | | | | | | | | | subset of the final functionality. C just leaves the function early. C++98 runs through the same code path, but has no changed functionality either. This is a first baby step towards supporting generalized initializer lists. This also removes an aggregate test case that was just plain wrong, assuming that non-aggregates couldn't be initialized with initializer lists in C++11 mode. llvm-svn: 135177
* Remove InitializationSequence::ReferenceBinding, the last redundant sequence ↵Sebastian Redl2011-07-141-9/+7
| | | | | | kind. llvm-svn: 135175
* Check for deprecated/unavailable/etc attributes on fields that areDouglas Gregor2011-06-291-0/+15
| | | | | | initialized via initializer lists. Fixes <rdar://problem/9694686>. llvm-svn: 134099
* Add support for C++ namespace-aware typo correction, e.g., correctingDouglas Gregor2011-06-281-8/+12
| | | | | | | | | | | | | | | 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
* ARC writeback isn't supposed to apply to local indirect pointers,John McCall2011-06-271-12/+21
| | | | | | only to pointers to locals. But it should work inside blocks, too. llvm-svn: 133969
* Changes ParenListExpr to always require a type.Manuel Klimek2011-06-221-13/+3
| | | | | | | Removes dead code found in the process. Adds a test to verify that ParenListExprs do not have NULL types. llvm-svn: 133637
* When binding a reference to an Automatic Reference Counting temporary,Douglas Gregor2011-06-221-0/+7
| | | | | | | | | retain/release the temporary object appropriately. Previously, we would only perform the retain/release operations when the reference would extend the lifetime of the temporary, but this does the wrong thing across calls. llvm-svn: 133620
* Give MaterializeTemporaryExpr the exact type of the lvalue it bindsDouglas Gregor2011-06-221-1/+3
| | | | | | to, including cv-qualifications. llvm-svn: 133618
* Introduce a new AST node describing reference binding to temporaries.Douglas Gregor2011-06-211-2/+3
| | | | | | | | | | | | | | | | | | | | | | | | | MaterializeTemporaryExpr captures a reference binding to a temporary value, making explicit that the temporary value (a prvalue) needs to be materialized into memory so that its address can be used. The intended AST invariant here is that a reference will always bind to a glvalue, and MaterializeTemporaryExpr will be used to convert prvalues into glvalues for that binding to happen. For example, given const int& r = 1.0; The initializer of "r" will be a MaterializeTemporaryExpr whose subexpression is an implicit conversion from the double literal "1.0" to an integer value. IR generation benefits most from this new node, since it was previously guessing (badly) when to materialize temporaries for the purposes of reference binding. There are likely more refactoring and cleanups we could perform there, but the introduction of MaterializeTemporaryExpr fixes PR9565, a case where IR generation would effectively bind a const reference directly to a bitfield in a struct. Addresses <rdar://problem/9552231>. llvm-svn: 133521
* Be sure to try a final ARC-production even in Objective-C++.John McCall2011-06-161-0/+2
| | | | llvm-svn: 133215
* Automatic Reference Counting.John McCall2011-06-151-27/+288
| | | | | | | | | | Language-design credit goes to a lot of people, but I particularly want to single out Blaine Garst and Patrick Beard for their contributions. Compiler implementation credit goes to Argyrios, Doug, Fariborz, and myself, in no particular order. llvm-svn: 133103
* Implement Objective-C Related Result Type semantics.Douglas Gregor2011-06-111-0/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Related result types apply Cocoa conventions to the type of message sends and property accesses to Objective-C methods that are known to always return objects whose type is the same as the type of the receiving class (or a subclass thereof), such as +alloc and -init. This tightens up static type safety for Objective-C, so that we now diagnose mistakes like this: t.m:4:10: warning: incompatible pointer types initializing 'NSSet *' with an expression of type 'NSArray *' [-Wincompatible-pointer-types] NSSet *array = [[NSArray alloc] init]; ^ ~~~~~~~~~~~~~~~~~~~~~~ /System/Library/Frameworks/Foundation.framework/Headers/NSObject.h:72:1: note: instance method 'init' is assumed to return an instance of its receiver type ('NSArray *') - (id)init; ^ It also means that we get decent type inference when writing code in Objective-C++0x: auto array = [[NSMutableArray alloc] initWithObjects:@"one", @"two",nil]; // ^ now infers NSMutableArray* rather than id llvm-svn: 132868
OpenPOWER on IntegriCloud