summaryrefslogtreecommitdiffstats
path: root/clang/lib
Commit message (Collapse)AuthorAgeFilesLines
...
* Enhance the unused ivar checker to not consider an ivar to be accidentally ↵Ted Kremenek2010-02-252-16/+15
| | | | | | | | unused when it is explicitly marked as unused via __attribute__((unused)). llvm-svn: 97104
* Allow __attribute__((unused)) to be applied to ObjC ivars.Ted Kremenek2010-02-251-1/+1
| | | | llvm-svn: 97103
* Add TextDiagnosticPrinter::setPrefix, for adding a string to prefix diagnosticDaniel Dunbar2010-02-251-1/+4
| | | | | | messages with. llvm-svn: 97101
* Remove some oogly code made dead by the pseudo-destructorDouglas Gregor2010-02-251-44/+0
| | | | | | instantiation changes. llvm-svn: 97095
* Use CXXPseudoDestructorExpr as the stored representation for dependentDouglas Gregor2010-02-255-210/+135
| | | | | | | | | | | | | | | | expressions that look like pseudo-destructors, e.g., p->T::~T() where p has dependent type. At template instantiate time, we determine whether we actually have a pseudo-destructor or a member access, and funnel down to the appropriate routine in Sema. Fixes PR6380. llvm-svn: 97092
* Catch more uses of uninitialized implicit conversion sequences.John McCall2010-02-254-50/+89
| | | | | | | When diagnosing bad conversions, skip the conversion for ignored object arguments. Fixes PR 6398. llvm-svn: 97090
* Add UnixAPIChecker, a meta checker to include various precondition checks ↵Ted Kremenek2010-02-254-0/+154
| | | | | | | | | | | for calls to various unix/posix functions, e.g. 'open()'. As a first check, check that when 'open()' is passed 'O_CREAT' that it has a third argument. llvm-svn: 97086
* Remove stray #include.Ted Kremenek2010-02-251-1/+0
| | | | llvm-svn: 97085
* Remove #include.Ted Kremenek2010-02-251-1/+0
| | | | llvm-svn: 97084
* Divide list of registration functions in API and foundational checks. Also ↵Ted Kremenek2010-02-251-2/+6
| | | | | | trim whitespace. llvm-svn: 97083
* Sort list of checker registration functions.Ted Kremenek2010-02-251-12/+12
| | | | llvm-svn: 97082
* Keep track of the location of the '~' in a pseudo-destructor expression.Douglas Gregor2010-02-244-3/+10
| | | | llvm-svn: 97080
* Retain complete source information for the type after the '~' in aDouglas Gregor2010-02-244-44/+87
| | | | | | | | | | | CXXPseudoDestructorExpr. Update template instantiation for pseudo-destructor expressions to use this source information and to make use of Sema::BuildPseudoDestructorExpr when the base expression is dependent or refers to a scalar type. llvm-svn: 97079
* Make sure that we finish the DeclSpec when parsing a C++Douglas Gregor2010-02-241-0/+1
| | | | | | | | type-specifier-seq. Fixes some conditional-jump-on-unitialized-value errors in valgrind. Also counts as attempt #2 at making the MSVC buildbot happy. llvm-svn: 97077
* Make sure that we have type source information for the scope type of aDouglas Gregor2010-02-241-1/+6
| | | | | | pseudo-destructor expression. Attempt #1 at fixing the MSVC buildbot. llvm-svn: 97076
* Implement nasty rewriting of nested blocks when innerFariborz Jahanian2010-02-241-4/+76
| | | | | | | blocks use variables not used in any of the outer blocks. (Fixes radar 7682149). llvm-svn: 97073
* Split ActOnPseudoDestructorExpr into the part that interprets theDouglas Gregor2010-02-242-86/+158
| | | | | | | | parser's data structures and the part that performs semantic analysis and AST building, in preparation for improved template instantiation of pseudo-destructor expressions. llvm-svn: 97070
* Get rid of 'this' adjustments from the FinalOverriders class since they can ↵Anders Carlsson2010-02-241-34/+0
| | | | | | be different for the same overrider in different parts of the vtable. llvm-svn: 97068
* Improve this adjustment pointer calculation.Anders Carlsson2010-02-241-5/+16
| | | | llvm-svn: 97067
* Make ComputeThisAdjustmentBaseOffset public for now.Anders Carlsson2010-02-241-7/+8
| | | | llvm-svn: 97066
* Retain source information for the "type-name ::" in aDouglas Gregor2010-02-242-3/+7
| | | | | | | | pseudo-destructor expression such as p->T::~T() llvm-svn: 97060
* ActOnPseudoDestructorExpr now performs all semantic analysis forDouglas Gregor2010-02-245-60/+286
| | | | | | | | | | | | | | | | pseudo-destructor expressions, and builds the CXXPseudoDestructorExpr node directly. Currently, this only affects pseudo-destructor expressions when they are parsed, but not after template instantiation. That's coming next... Improve parsing of pseudo-destructor-names. When parsing the nested-name-specifier and we hit the sequence of tokens X :: ~, query the actual module to determine whether X is a type-name (in which case the X :: is part of the pseudo-destructor-name but not the nested-name-specifier) or not (in which case the X :: is part of the nested-name-specifier). llvm-svn: 97058
* Fix an iterator-invalidation bug that was causing selfhost errorsJohn McCall2010-02-241-10/+6
| | | | | | | on non-darwin platforms. Fixes PR6411. Test case doesn't reduce, unfortunately. llvm-svn: 97055
* Rework parsing of pseudo-destructor expressions and explicitDouglas Gregor2010-02-245-24/+308
| | | | | | | | | | | | | | | | | | | | | | | | | | | | destructor calls, e.g., p->T::~T We now detect when the member access that we've parsed, e.g., p-> or x. may be a pseudo-destructor expression, either because the type of p or x is a scalar or because it is dependent (and, therefore, may become a scalar at template instantiation time). We then parse the pseudo-destructor grammar specifically: ::[opt] nested-name-specifier[opt] type-name :: ∼ type-name and hand those results to a new action, ActOnPseudoDestructorExpr, which will cope with both dependent member accesses of destructors and with pseudo-destructor expressions. This commit affects the parsing of pseudo-destructors, only; the semantic actions still go through the semantic actions for member access expressions. That will change soon. llvm-svn: 97045
* Generate correct vcall offsets when we have a primary virtual base that is ↵Anders Carlsson2010-02-241-7/+29
| | | | | | not a primary base in the complete class hierarchy. llvm-svn: 97039
* References to const int parameters with ICE default arguments are not ICEs.John McCall2010-02-241-2/+9
| | | | | | Fixes PR6373. llvm-svn: 97037
* Canonicalize parameter and return types before computing ABI info. EliminatesJohn McCall2010-02-244-71/+78
| | | | | | | | | | | a common source of oddities and, in theory, removes some redundant ABI computations. Also fixes a miscompile I introduced yesterday by refactoring some code and causing a slightly different code path to be taken that didn't perform *parameter* type canonicalization, just normal type canonicalization; this in turn caused a bit of ABI code to misfire because it was looking for 'double' or 'float' but received 'const float'. llvm-svn: 97030
* When we encounter a function-specific attribute in a declaration specifier,Charles Davis2010-02-241-5/+9
| | | | | | | apply it only to the function itself, and never to the return type. Fixes part of PR6408. llvm-svn: 97015
* Always add CallExpr as block-level expression. Inline-based interproceduralZhongxing Xu2010-02-241-1/+1
| | | | | | analysis needs this. llvm-svn: 97014
* Fix rewriting of a method when return type isFariborz Jahanian2010-02-241-0/+4
| | | | | | a block pointer type. Fixes radar 7682149. llvm-svn: 97008
* Add support for '%C' and '%S' printf conversion specifiers.Ted Kremenek2010-02-241-22/+35
| | | | llvm-svn: 97005
* More Sema check for ivars in class continuation.Fariborz Jahanian2010-02-233-15/+32
| | | | llvm-svn: 97002
* Emit debug info for VectorType.Devang Patel2010-02-232-2/+26
| | | | llvm-svn: 96999
* Add support for the weakref attribute. We still produce "alias weak" as ↵Rafael Espindola2010-02-236-13/+98
| | | | | | llvm-gcc does, but are more strict on what uses of weakref we accept. llvm-svn: 96992
* Unconditionally support block introspection data in a new field at the endBlaine Garst2010-02-234-56/+46
| | | | | | | | | | | | | | | of the block descriptor field. This field is the ObjC style @encode signature of the implementation function, and was to this point conditionally provided in the block literal data structure. That provisional support is removed. Additionally, eliminate unused enumerations for the block literal flags field. The first shipping ABI unconditionally set (1<<29) but this bit is unused by the runtime, so the second ABI will unconditionally have (1<<30) set so that the runtime can in fact distinguish whether the additional data is present or not. llvm-svn: 96989
* Fixes a rewriting of qualified-id type which exposed a biggerFariborz Jahanian2010-02-231-5/+0
| | | | | | rewriting problem. Fixes radar 7680953. llvm-svn: 96987
* Dead emit dead store warnings when assigning nil to an ObjC objectTed Kremenek2010-02-231-1/+2
| | | | | | | pointer (for defensive programming). This matches the behavior with assigning NULL to a regular pointer. Fixes <rdar://problem/7631278>. llvm-svn: 96985
* Fix another crash on invalid code. In this case, handle ObjC categories ↵Ted Kremenek2010-02-231-10/+19
| | | | | | | | (with no names) that refer to an undefined class. llvm-svn: 96976
* Don't assert on compound assignment operators that operate in FP types whenJohn McCall2010-02-231-3/+15
| | | | | | the result is integral. Fixes <rdar://problem/7676608>. llvm-svn: 96970
* Make previous fix handle a few more edge cases.Eli Friedman2010-02-231-3/+3
| | | | llvm-svn: 96962
* PR6400: Handle an extreme edge case in mangling correctly.Eli Friedman2010-02-231-0/+3
| | | | llvm-svn: 96961
* PR6386: Fix a recent regression in IRGen of cast-to-union constructs.Eli Friedman2010-02-231-1/+1
| | | | llvm-svn: 96958
* Retain attributes for K&R style parameter declarations.Richard Pennington2010-02-231-4/+5
| | | | llvm-svn: 96941
* Implement IsOverriderUsed. This can't be tested yet due to some other bugs :)Anders Carlsson2010-02-231-1/+46
| | | | llvm-svn: 96897
* When comparing two calling conventions after redeclaring a function, compareCharles Davis2010-02-231-1/+2
| | | | | | | the canonical calling conventions instead of comparing the raw calling conventions directly. Fixes PR6361. llvm-svn: 96895
* Move the rest of the unreachable code analysis from libSemaTed Kremenek2010-02-232-210/+249
| | | | | | to libAnalysis (with only the error reporting in libSema). llvm-svn: 96893
* Simplify check for basic block with a CXXTryStmt terminator.Ted Kremenek2010-02-231-3/+2
| | | | llvm-svn: 96892
* When a reference to a field of a struct/union/class is passed to theCharles Davis2010-02-231-0/+6
| | | | | | | __alignof__ operator, make sure to take into account the packed alignment of the struct/union/class itself. Matches GCC's behavior and fixes PR6362. llvm-svn: 96884
* Stub out IsOverriderUsed.Anders Carlsson2010-02-231-4/+50
| | | | llvm-svn: 96883
* More fixes. Don't try to emit a virtual base vtable if the virtual base in ↵Anders Carlsson2010-02-231-10/+43
| | | | | | question is a primary virtual base of some other base. llvm-svn: 96881
OpenPOWER on IntegriCloud