summaryrefslogtreecommitdiffstats
path: root/clang
Commit message (Collapse)AuthorAgeFilesLines
* objective-C++ IRGen: property reference as an Fariborz Jahanian2010-06-172-1/+28
| | | | | | | | lvalue when performing a derived-to-base conversion. Fixes radar 7501812. Added an executable test to llvm-test suite. llvm-svn: 106247
* Bug 7394 - Fixed toString representation of Precisions in format strings.Tom Care2010-06-172-2/+10
| | | | | | | M include/clang/Analysis/Analyses/PrintfFormatString.h M lib/Analysis/PrintfFormatString.cpp llvm-svn: 106245
* Do not treat @selector as lvalue (unlike g++).Fariborz Jahanian2010-06-174-3/+18
| | | | | | Patch by Nico Weber (pr7390). llvm-svn: 106242
* Improves RecursiveASTVisitor:Zhanyong Wan2010-06-171-19/+58
| | | | | | | | | | | | | | | * refactors code in DEF_TRAVERSE_DECL() into TraverseDeclContextHelper() to reduce code bloat and facilitate reuse. * makes the order of traversing a FunctionDecl (including its subclasses)'s children more natural: before the function parameters are visited after the function body; now they are visited after the function type and before the function body. * fixes a double count for function return type and arguments. Reviewed by chandlerc and csilvers. llvm-svn: 106236
* Objective-c++ IRGen. Support for @selector expression asFariborz Jahanian2010-06-177-13/+52
| | | | | | an lvalue. Fixes PR7390. llvm-svn: 106235
* Bug 7377: Fixed several bad printf format string bugs.Tom Care2010-06-175-78/+481
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - Added warning for undefined behavior when using field specifier - Added warning for undefined behavior when using length modifier - Fixed warnings for invalid flags - Added warning for ignored flags - Added fixits for the above warnings - Fixed accuracy of detecting several undefined behavior conditions - Receive normal warnings in addition to security warnings when using %n - Fix bug where '+' flag would remain on unsigned conversion suggestions Summary of changes: - Added expanded tests - Added/expanded warnings - Added position info to OptionalAmounts for fixits - Extracted optional flags to a wrapper class with position info for fixits - Added several methods to validate a FormatSpecifier by component, each checking for undefined behavior - Fixed conversion specifier checking to conform to C99 standard - Added hooks to detect the invalid states in CheckPrintfHandler::HandleFormatSpecifier Note: warnings involving the ' ' (space) flag are temporarily disabled until whitespace highlighting no longer triggers assertions. I will make a post about this on cfe-dev shortly. M test/Sema/format-strings.c M include/clang/Basic/DiagnosticSemaKinds.td M include/clang/Analysis/Analyses/PrintfFormatString.h M lib/Analysis/PrintfFormatString.cpp M lib/Sema/SemaChecking.cpp llvm-svn: 106233
* When pushing a copy of the TypeLoc information for a dependentDouglas Gregor2010-06-172-1/+18
| | | | | | | template specialization type, copy the location information but use the new type. Fixes PR7385. llvm-svn: 106224
* Use UnaryOperator as the representation of dependent expressions whenDouglas Gregor2010-06-171-0/+6
| | | | | | | no overloaded operators were found in scope, mirroring what we already do for BinaryOperator. llvm-svn: 106222
* Update CMake build system for ARM NEON generation.Douglas Gregor2010-06-175-6/+12
| | | | llvm-svn: 106220
* Some fixes to type-visiting -- a few places where the type-name wasCraig Silverstein2010-06-171-19/+34
| | | | | | | | | | | | | | explicitly typed in the source, but we weren't recursing on it. One is new <type>, the other is <type>() (eg int()). I also fixed the initializer parsing to parse on the syntactic initializer list, not the semantic. Usually they'll be identical, so this won't affect much in practice, but keeps the AST as a syntax-tree visitor. Reviewed by chandlerc. llvm-svn: 106218
* Fix typo (test commit)Peter Collingbourne2010-06-171-1/+1
| | | | llvm-svn: 106217
* fix some more gcc3.4 constness warningsGabor Greif2010-06-173-3/+4
| | | | llvm-svn: 106216
* use typedef to make hack more transparent and also appease gcc3.4 constness ↵Gabor Greif2010-06-171-2/+4
| | | | | | warning llvm-svn: 106215
* Make sure the caching mechanism in Parser::ParseLexedMethodDefs is robust ↵Argyrios Kyrtzidis2010-06-171-4/+16
| | | | | | against the parser reading too few tokens. llvm-svn: 106214
* Make sure parens/braces/brackets are correctly balanced.Argyrios Kyrtzidis2010-06-175-1/+34
| | | | | | | | | | | In a line like: (; the semicolon leaves Parser:ParenCount unbalanced (it's 1 even though we stopped looking for a right paren). This may affect later parsing and result in bad recovery for parsing errors. llvm-svn: 106213
* Don't ast-print the builtin __[u]int128_t.Argyrios Kyrtzidis2010-06-171-4/+9
| | | | llvm-svn: 106212
* Mangle operator names in the Microsoft C++ Mangler.Charles Davis2010-06-172-1/+135
| | | | llvm-svn: 106211
* Tweak stack address checker to report multiple cases where globals may ↵Ted Kremenek2010-06-173-53/+78
| | | | | | | | reference stack memory. Also refactor the diagnostics so that we print out the kind of stack memory returned. llvm-svn: 106210
* Include the bug description in the report hash so that we can emit multiple ↵Ted Kremenek2010-06-171-0/+1
| | | | | | | | bugs of the same type at the same location. llvm-svn: 106209
* Generate arm_neon.inc in include/clang/Basic, which provides:Nate Begeman2010-06-176-493/+17
| | | | | | | | | 1. builtins definitions for BuiltinsARM.def 2. intrinsic validation code for SemaChecking Unsure as to whether this is the best way to handle the make dependencies or not. llvm-svn: 106208
* Remove last of the bool shifts for MS VC++, patch by dimitry andricNate Begeman2010-06-172-13/+13
| | | | llvm-svn: 106206
* Comment Attr.td so people have a better understanding of what goes on.Alexis Hunt2010-06-171-2/+17
| | | | | | Also removed the unused Aliases member. llvm-svn: 106202
* Fix format string checking of '%c' by treating it as an integer conversion. ↵Ted Kremenek2010-06-173-1/+5
| | | | | | Fixes PR 7391. llvm-svn: 106196
* Per conversation with Doug, remove two assertions in ParseLexedMethodDefs() thatTed Kremenek2010-06-171-5/+3
| | | | | | didn't indicate violated invariants but that we weren't recovering well. llvm-svn: 106195
* Fix yet another CMake typo. I'm not quite sure how this succeeded locally now.Alexis Hunt2010-06-171-1/+1
| | | | llvm-svn: 106193
* Fix a typo in the previous commit I thought I'd fixed, but apparently didn't.Alexis Hunt2010-06-171-1/+1
| | | | llvm-svn: 106189
* Update CMake build for new attribute changes.Alexis Hunt2010-06-1711-8/+30
| | | | llvm-svn: 106188
* Rework StackAddrLeakChecker to find stores of stack memory addresses to ↵Ted Kremenek2010-06-172-39/+64
| | | | | | | | | | | | | | | | global variables by inspecting the Store bindings instead of iterating over all the global variables in a translation unit. By looking at the store directly, we avoid cases where we cannot directly load from the global variable, such as an array (which can result in an assertion failure) and it also catches cases where we store stack addresses to non-scalar globals. Also, but not iterating over all the globals in the translation unit, we maintain cache locality, and the complexity of the checker becomes restricted to the complexity of the analyzed function, and doesn't scale with the size of the translation unit. This fixes PR 7383. llvm-svn: 106184
* Implement RegionStoreManager::iterBindings(). This implementation only ↵Ted Kremenek2010-06-171-6/+11
| | | | | | | | | | returns the base region in the binding key instead of the region + offset. It isn't clear if this is the best semantics, but most clients will likely only care about simple bindings, or bindings to a particular variable. We can refine later if necessary. llvm-svn: 106183
* Correctly return early from BasicStoreManager::iterBindings() when the ↵Ted Kremenek2010-06-171-1/+2
| | | | | | BindingsHandler returns false. llvm-svn: 106182
* When parsing cached C++ method declarations/definitions, save theDouglas Gregor2010-06-162-0/+8
| | | | | | | | "previous token" location at the end of the class definition. This eliminates a badly-placed error + Fix-It when the ';' following a class definition is missing. Fixes <rdar://problem/8066414>. llvm-svn: 106175
* Implement first TD-based usage of attributes.Alexis Hunt2010-06-1611-206/+543
| | | | | | | | | | | | | | | | | Currently, there are two effective changes: - Attr::Kind has been changed to attr::Kind, in a separate namespace rather than the Attr class. This is because the enumerator needs to be visible to parse. - The class definitions for the C++0x attributes other than aligned are generated by TableGen. The specific classes generated by TableGen are controlled by an array in TableGen (see the accompanying commit to the LLVM repository). I will be expanding the amount of code generated as I develop the new attributes system while initially keeping it confined to these attributes. llvm-svn: 106172
* Make the "extra ';' inside a struct or union" diagnostic moreDouglas Gregor2010-06-165-3/+7
| | | | | | precise. Fixes PR7336. llvm-svn: 106170
* When we see a 'template' disambiguator that marks the next identifierDouglas Gregor2010-06-167-82/+99
| | | | | | | | | | | (or operator-function-id) as a template, but the context is actually non-dependent or the current instantiation, allow us to use knowledge of what kind of template it is, e.g., type template vs. function template, for further syntactic disambiguation. This allows us to parse properly in the presence of stray "template" keywords, which is necessary in C++0x and it's good recovery in C++98/03. llvm-svn: 106167
* Fix the recently-added warning about 'typename' and 'template'Douglas Gregor2010-06-1614-70/+84
| | | | | | | | | disambiguation keywords outside of templates in C++98/03. Previously, the warning would fire when the associated nested-name-specifier was not dependent, but that was a misreading of the C++98/03 standard: now, we complain only when we're outside of any template. llvm-svn: 106161
* Extend format string type-checking to include '%p'. Fixes remaining cases ↵Ted Kremenek2010-06-165-78/+104
| | | | | | PR 4468. llvm-svn: 106151
* Canonicalize template template parameters when canonicalizing aDouglas Gregor2010-06-163-3/+135
| | | | | | | template name that refers to such a parameter. It's amazing that this problem didn't surface earlier. Fixes PR7387. llvm-svn: 106147
* tests: Update Frontend config to actually run ir-support tests.Daniel Dunbar2010-06-161-0/+1
| | | | llvm-svn: 106144
* C return types must be complete as well.Fariborz Jahanian2010-06-161-5/+6
| | | | | | | Moved check before we build the ObjCMessageExpr node. (PR7386 related). llvm-svn: 106139
* Change the test for which ABI/CC to use on ARM to be base on the environmentRafael Espindola2010-06-164-17/+11
| | | | | | (the last argument of the triple). llvm-svn: 106131
* Make sure result type of objc++ message expression isFariborz Jahanian2010-06-164-0/+44
| | | | | | | complete before attempting to bind it to a temporary. Fixes PR7386. llvm-svn: 106130
* A a new test for my previous patch.Rafael Espindola2010-06-161-0/+18
| | | | llvm-svn: 106120
* Fix tests that I missed from my previous commit.Rafael Espindola2010-06-165-40/+39
| | | | llvm-svn: 106118
* Test commit by adding a blank comment line.Zhanyong Wan2010-06-161-0/+1
| | | | llvm-svn: 106114
* Frontend: Allow passing -cc1 level arguments to plugins. Patch by Troy ↵Daniel Dunbar2010-06-168-16/+57
| | | | | | Straszheim! llvm-svn: 106113
* Driver: Ignore -ffast-math and -f[no-]finite-math-only.Daniel Dunbar2010-06-161-0/+3
| | | | llvm-svn: 106112
* Don't poke at an undefined class type of a field. Fixes PR7355.Douglas Gregor2010-06-162-34/+44
| | | | llvm-svn: 106111
* Downgrade the error when using a typedef in the nested-name-specifierDouglas Gregor2010-06-163-10/+9
| | | | | | | of an explicit instantiation to an ExtWarn, since nobody else seems to diagnose this problem. llvm-svn: 106109
* Add Cygwin C++ header search path.Douglas Gregor2010-06-161-0/+2
| | | | llvm-svn: 106108
* Fixed conflict between objc_memmove_collectable builtin Fariborz Jahanian2010-06-163-5/+6
| | | | | | decl. and one ddefined in darwin header file. llvm-svn: 106107
OpenPOWER on IntegriCloud