summaryrefslogtreecommitdiffstats
path: root/clang/lib
Commit message (Collapse)AuthorAgeFilesLines
...
* Fixed instantiation of DependentScopeDeclRefExpr.Abramo Bagnara2012-02-066-25/+27
| | | | llvm-svn: 149868
* Move instantiateTemplateAttribute into the sema namespace, make helpers static.Benjamin Kramer2012-02-065-7/+12
| | | | llvm-svn: 149864
* Fix vector splat casts to cast element to the appropriate vector element ↵Craig Topper2012-02-061-0/+2
| | | | | | before inserting into the vector. Fixes PR11930. llvm-svn: 149855
* Implement name mangling for scalar value initialization. Reported on IRC by Xeo.Richard Smith2012-02-061-1/+6
| | | | llvm-svn: 149854
* Invalid O levels on the command line no longer have a confusing error.Aaron Ballman2012-02-061-4/+5
| | | | llvm-svn: 149852
* Move operator overload out of line. Calling operator<< on a forward declared ↵Benjamin Kramer2012-02-051-0/+6
| | | | | | type doesn't seem to work on MSVC. llvm-svn: 149819
* constexpr: Implement DR1358: An instantiation of a constexpr function whichRichard Smith2012-02-052-3/+4
| | | | | | | can't produce a constant expression is not ill-formed (so long as some instantiation of that function can produce a constant expression). llvm-svn: 149802
* reapply the patches reverted in r149477, which enable ConstantDataArray.Chris Lattner2012-02-055-37/+39
| | | | llvm-svn: 149801
* Basic: import SmallString<> into clang namespaceDylan Noblesmith2012-02-05102-233/+233
| | | | | | | (I was going to fix the TODO about DenseMap too, but that would break self-host right now. See PR11922.) llvm-svn: 149799
* Basic: import OwningPtr<> into clang namespaceDylan Noblesmith2012-02-0572-159/+159
| | | | llvm-svn: 149798
* constexpr: Fix implementation of DR1311: check for volatile qualifiers inRichard Smith2012-02-051-2/+5
| | | | | | | lvalue-to-rvalue conversions on the source type of the conversion, not the target type (which has them removed for non-class types). llvm-svn: 149796
* Preserve alignment for Neon vld1_lane/dup and vst1_lane intrinsics.Bob Wilson2012-02-041-7/+17
| | | | | | | | We had been generating load/store instructions with the default alignment for the vector element type, even when the pointer argument had less alignment. <rdar://problem/10538555> llvm-svn: 149794
* A useful approximation of initializer list constructors.Sebastian Redl2012-02-042-21/+43
| | | | llvm-svn: 149792
* Factor out the actual overload resolution from TryConstructorInitialization, ↵Sebastian Redl2012-02-041-53/+70
| | | | | | since it needs to be used again for list constructor resolution. llvm-svn: 149791
* Don't unwrap initializer lists before calling TryConstructorInitialization, ↵Sebastian Redl2012-02-041-19/+30
| | | | | | instead doing a little more work inside. This should make finding initializer list constructors easier, as well as fix one place where the ({}) vs {} issue was probably poorly handled. llvm-svn: 149790
* Move a method from IdentifierTable.h out of line and remove the SmallString ↵Benjamin Kramer2012-02-0448-14/+64
| | | | | | | | include. Fix all the transitive include users. llvm-svn: 149783
* Remove Diagnostic.h include from Preprocessor.h.Benjamin Kramer2012-02-046-3/+22
| | | | | | | - Move the offending methods out of line and fix transitive includers. - This required changing an enum in the PPCallback API into an unsigned. llvm-svn: 149782
* Move various diagnostic operator<< overloads out of line and remove includes ↵Benjamin Kramer2012-02-0426-1/+75
| | | | | | | | | of Diagnostic.h. Fix all the files that depended on transitive includes of Diagnostic.h. With this patch in place changing a diagnostic no longer requires a full rebuild of the StaticAnalyzer. llvm-svn: 149781
* Move Storage and StorageAllocator out of the PartialDiagnostic class so we ↵Benjamin Kramer2012-02-042-2/+8
| | | | | | | | | can forward declare them. Let ASTContext allocate the storage in its BumpPtrAllocator. This will help us remove ASTContext's depedency on PartialDiagnostic.h soon. llvm-svn: 149780
* In C++11 mode, when an integral constant expression is desired and we have aRichard Smith2012-02-0411-141/+202
| | | | | | | | | | | | | | | | | | value of class type, look for a unique conversion operator converting to integral or unscoped enumeration type and use that. Implements [expr.const]p5. Sema::VerifyIntegerConstantExpression now performs the conversion and returns the converted result. Some important callers of Expr::isIntegralConstantExpr have been switched over to using it (including all of those required for C++11 conformance); this switch brings a side-benefit of improved diagnostics and, in several cases, simpler code. However, some language extensions and attributes have not been moved across and will not perform implicit conversions on constant expressions of literal class type where an ICE is required. In passing, fix static_assert to perform a contextual conversion to bool on its argument. llvm-svn: 149776
* Don't allow a value of a scoped enumeration to be used as the first bound for anRichard Smith2012-02-043-11/+29
| | | | | | | array new expression. This lays some groundwork for the implicit conversion to integral or unscoped enumeration which C++11 ICEs undergo. llvm-svn: 149772
* [analyzer] Make sure Containers OutOfBounds checker does not crash on ↵Anna Zaks2012-02-041-20/+14
| | | | | | undefined arguments, when CF functions are called with wrong number of arguments. llvm-svn: 149771
* Disallow constexpr main.Richard Smith2012-02-041-2/+7
| | | | llvm-svn: 149770
* Fix a rejects-valid in C++11: array new of a negative size, or overflowing arrayRichard Smith2012-02-041-16/+32
| | | | | | | | | | | | | | | | | new, is well-formed with defined semantics of throwing (a type which can be caught by a handler for) std::bad_array_new_length, unlike in C++98 where it is somewhere nebulous between undefined behavior and ill-formed. If the array size is an integral constant expression and satisfies one of these criteria, we would previous the array new expression, but now in C++11 mode, we merely issue a warning (the code is still rejected in C++98 mode, naturally). We don't yet implement new C++11 semantics correctly (see PR11644), but we do implement the overflow checking, and (for the default operator new) convert such expressions to an exception, so accepting such code now does not seem especially unsafe. llvm-svn: 149767
* ArrayRef goodness in MultiplexConsumer, no functionality change.Argyrios Kyrtzidis2012-02-041-2/+3
| | | | llvm-svn: 149764
* Don't warn on use of default allocator with an over-aligned type when theNick Lewycky2012-02-041-1/+1
| | | | | | allocator is given the pointer to allocate into. llvm-svn: 149760
* Fix ASTMerge tests that I broke in my previous commit.Argyrios Kyrtzidis2012-02-041-1/+1
| | | | llvm-svn: 149759
* [analyzer] Turn on by default two checkers:Anna Zaks2012-02-041-11/+12
| | | | | | | - osx.coreFoundation.containers.IndexOutOfBounds - osx.cocoa.SelfInit llvm-svn: 149747
* [analyzer] Minor cleanups to the ObjCSelfInitChecker.Anna Zaks2012-02-043-17/+7
| | | | | | (Also renames in other ObjC checkers to create one category of checks.) llvm-svn: 149745
* Comment mystery code.Nick Lewycky2012-02-041-0/+2
| | | | llvm-svn: 149742
* Use variable in place of multiple CI.getFrontendOpts() calls and use a bitArgyrios Kyrtzidis2012-02-042-10/+11
| | | | | | of ArrayRef goodness. No functionality change. llvm-svn: 149739
* Clang has existing support for debuggers thatSean Callanan2012-02-042-1/+4
| | | | | | | | | | | | | | | | | | | | want to provide "po"-like functionality which treats the result of an expression implicitly as "id" (if it is not otherwise known) and prints it as an Objective-C object. This has in the past been gated by the "DebuggerSupport" language option, but that is too general. Debuggers also provide other commands like "print" that do not make any assumptions about whether the object is an Objective-C object. This patch makes the assumption conditional on a new language option: DebuggerCastResultToId. I have also made corresponding modifications to the testsuite. llvm-svn: 149735
* Create new tag for the property. This is a work in progress.Devang Patel2012-02-041-1/+7
| | | | llvm-svn: 149734
* Suppress the used-but-not-defined warning for static data members while I ↵Eli Friedman2012-02-041-1/+3
| | | | | | look into a rather nasty bug in the new odr-use marking code. llvm-svn: 149731
* constexpr:Richard Smith2012-02-042-4/+20
| | | | | | | | | | The recent support for potential constant expressions exposed a bug in the implementation of libstdc++4.6, where numeric_limits<int>::min() is defined as (int)1 << 31, which isn't a constant expression. Disable the 'constexpr function never produces a constant expression' error inside system headers to compensate. llvm-svn: 149729
* Make _mm_cmpgt_epi8 immute to -funsigned-char.Nick Lewycky2012-02-031-1/+2
| | | | llvm-svn: 149725
* Make explicit captures which cause implicit captures work correctly.Eli Friedman2012-02-032-15/+12
| | | | llvm-svn: 149719
* Implement implicit capture for lambda expressions.Eli Friedman2012-02-033-66/+114
| | | | | | Still left: explicit captures in lambdas need to cause implicit capture, and I need to take a look at the diagnostics for some cases. llvm-svn: 149718
* Make sure that the layout-override parser grabs the size, not the dataDouglas Gregor2012-02-031-3/+3
| | | | | | size. Otherwise, we can end up with bogus layouts. llvm-svn: 149703
* When a pack expansion occurs in the template argument list of an aliasDouglas Gregor2012-02-033-27/+36
| | | | | | | | template without a corresponding parameter pack, don't immediately substitute the alias template. This is under discussion in the C++ committee, and may become ill-formed, but for now we match GCC. llvm-svn: 149697
* Don't warn about anonymous struct/union in C11.Hans Wennborg2012-02-031-5/+7
| | | | | | Also, in C, call this a C11 extension rather than a GNU extension. llvm-svn: 149695
* Implement support for a pack expansion into a fixed-lengthDouglas Gregor2012-02-031-45/+101
| | | | | | | | | template. Such pack expansions can easily fail at template instantiation time, if the expanded parameter packs are of the wrong length. Fixes <rdar://problem/10040867>, PR9021, and the example that came up today at Going Native. llvm-svn: 149685
* Fix -ftrap-function fallout from llvm r145714. <rdar://problem/10799325>Bob Wilson2012-02-033-6/+3
| | | | | | | | | That llvm change removed the -trap-func backend option, so that using -ftrap-function with clang would cause the backend to complain. Fix it by adding the trap function name to the CodeGenOptions and passing it through to the TargetOptions. llvm-svn: 149679
* Change Lexer::makeFileCharRange() to have it accept a CharSourceRangeArgyrios Kyrtzidis2012-02-031-24/+35
| | | | | | | instead of a SourceRange, and handle the case where the range is a char (not token) range. llvm-svn: 149677
* Change the fixed array of FixitHints to a SmallVector to lift offArgyrios Kyrtzidis2012-02-032-8/+4
| | | | | | the limit on the number of fixits. llvm-svn: 149676
* Move isSentinelNullExpr() from Sema to ASTContext to make it more widelyArgyrios Kyrtzidis2012-02-032-19/+19
| | | | | | available. llvm-svn: 149675
* Thread safety analysis:Richard Smith2012-02-032-44/+126
| | | | | | | | | | | | * When we detect that a CFG block has inconsistent lock sets, point the diagnostic at the location where we found the inconsistency, and point a note at somewhere the inconsistently-locked mutex was locked. * Fix the wording of the normal (non-loop, non-end-of-function) case of this diagnostic to not suggest that the mutex is going out of scope. * Fix the diagnostic emission code to keep a warning and its note together when sorting the diagnostics into source location order. llvm-svn: 149669
* Thread safety analysis: at a CFG join point between a block terminating in aRichard Smith2012-02-031-0/+39
| | | | | | | 'continue' and another block, prefer the lockset from the other block, and diagnose the 'continue' block as being the end of a loop. llvm-svn: 149666
* C++ 5.2.10p2 has a note that mentions that, subject to all other restrictions,Chad Rosier2012-02-031-12/+21
| | | | | | | | a cast to the same type is allowed so long as it does not cast away constness. Fix for PR11747. Patch by Aaron Ballman. Reviewed by Eli. llvm-svn: 149664
* Refactor capture in blocks to use new-style capture hooks. Start adding a ↵Eli Friedman2012-02-031-256/+195
| | | | | | bit of the code for lambdas. The only visible changes are that we use the C++11 odr-used rules to figure out when a variable is captured, and type-checking in lambdas is slightly more accurate. llvm-svn: 149663
OpenPOWER on IntegriCloud