summaryrefslogtreecommitdiffstats
path: root/clang
Commit message (Collapse)AuthorAgeFilesLines
* [analyzer] Add a test case for OS X 10.8's NSMakeCollectable under non-GC.Jordan Rose2012-08-071-0/+13
| | | | | | | This is an additional test for r161349 (ignoring 10.8's annotations for NSMakeCollectable). llvm-svn: 161380
* If we don't have a complete type for the array type yet either thenEric Christopher2012-08-072-1/+18
| | | | | | | | just let the alignment be zero. PR13531 llvm-svn: 161379
* Remove two fall through diagnostics from the IgnoredAttributes group, since ↵Ted Kremenek2012-08-071-4/+2
| | | | | | | | | | | they are errors, not warnings. Only warnings should be in warning groups. This was causing an assertion failure in code using pragmas to map -Wignored-attributes to ignored, but this kind of diagnostic mapping is disallowed for builtin errors. We should just wire up tablegen to reject errors being in diagnostic groups. llvm-svn: 161376
* [ms-inline asm] Stmt destructors are never called, so allocate the AsmToks usingChad Rosier2012-08-076-13/+20
| | | | | | the ASTContext BumpPtr. Also use the preferred llvm::ArrayRef interface. llvm-svn: 161373
* Specify a triple on this to make it easier to test.Eric Christopher2012-08-071-1/+1
| | | | llvm-svn: 161372
* Remove some unintended changes from my last patch.Eric Christopher2012-08-071-3/+2
| | | | llvm-svn: 161369
* Make sure when we get the replacement type for a template argumentEric Christopher2012-08-072-5/+37
| | | | | | | | that we attach the lost qualifiers. Fixes rdar://11882155 llvm-svn: 161368
* Handle null suffixes in GetTemporaryPath (PCH files don't have suffixes).Ted Kremenek2012-08-071-1/+2
| | | | llvm-svn: 161367
* [analyzer] DynTypes: Add a test for improper cast performed by user.Anna Zaks2012-08-061-0/+37
| | | | | | | Dynamic type inference does the right thing in this case. However, as Jordan suggested, it would be nice to add a warning here as well. llvm-svn: 161365
* objective-c: Implement gcc's -Wdirect-ivar-access option.Fariborz Jahanian2012-08-064-1/+41
| | | | | | // rdar://6505197 llvm-svn: 161362
* Comment parsing: fix crash on \tparam followed immediately by another blockDmitri Gribenko2012-08-062-9/+60
| | | | | | command, for example: \tparam\brief. llvm-svn: 161361
* [analyzer] Dynamic type info - propagate through implicit casts.Anna Zaks2012-08-062-6/+86
| | | | | | | | I currently have a bit of redundancy with the cast kind switch statement inside the ImplicitCast callback, but I might be adding more casts going forward. llvm-svn: 161358
* [analyzer] Add a checker to manage dynamic type propagation.Anna Zaks2012-08-0610-14/+223
| | | | | | | | | | | | Instead of sprinkling dynamic type info propagation throughout ExprEngine, the added checker would add the more precise type information on known APIs (Ex: ObjC alloc, new) and propagate the type info in other cases (ex: ObjC init method, casts (the second is not implemented yet)). Add handling of ObjC alloc, new and init to the checker. llvm-svn: 161357
* Refactor checks for unevaluated contexts into a common utility function.David Blaikie2012-08-064-6/+13
| | | | | | | | | The one caller that's surrounded by nearby code manipulating the underlying evaluation context list is left unmodified for readability. Review by Sean Silva and Richard Smith. llvm-svn: 161355
* Comment AST: DeclInfo: collapse a bunch of boolean flags into an enum.Dmitri Gribenko2012-08-064-26/+27
| | | | llvm-svn: 161352
* [analyzer] Add plist output checks for all four "path notes" tests.Jordan Rose2012-08-064-1/+7625
| | | | | | | | | No functionality change, but from now on, any new path notes should be tested both with plain-text output (for ease of human auditing) and with plist output (to ensure control flow and events are being correctly represented in Xcode). llvm-svn: 161351
* [analyzer] Improve arrow locations for PseudoObjectExprs.Jordan Rose2012-08-062-199/+409
| | | | llvm-svn: 161350
* [analyzer] Ignore OS X 10.8's annotations for NSMakeCollectable.Jordan Rose2012-08-061-1/+6
| | | | | | | | | | The frameworks correctly use the 'cf_consumed' and 'ns_returns_retained' attributes for NSMakeCollectable, but we can model the behavior under garbage collection more precisely than that. No functionality change. llvm-svn: 161349
* For global record types, the self reference checker was called twice, resultingRichard Trieu2012-08-062-1/+27
| | | | | | | in duplicate -Wuninitialized warnings. Change so that only the check in TryConstructorInitialization() will be used and a single warning be emitted. llvm-svn: 161345
* scan-build: factor out setting of environment variables.Ted Kremenek2012-08-061-34/+59
| | | | llvm-svn: 161343
* [ms-inline asm] Pass Tokens to Sema and store them in the AST. No functionalChad Rosier2012-08-066-11/+21
| | | | | | change intended. No test case as there's no real way to test at this time. llvm-svn: 161342
* Fix MIPS DSP Rev1 intrinsics memory properties.Simon Atanasyan2012-08-062-61/+157
| | | | | | The patch reviewed by Akira Hatanaka. llvm-svn: 161333
* Comment parser and sema: remove useless return valuesDmitri Gribenko2012-08-064-149/+130
| | | | llvm-svn: 161331
* Pull 'xcodebuild' wrapper logic into a separate function.Ted Kremenek2012-08-061-26/+38
| | | | llvm-svn: 161330
* Comment diagnostics: warn on duplicate \brief and \return commands.Dmitri Gribenko2012-08-065-67/+183
| | | | | | | | | | Doxygen manual claims that multiple \brief or \returns commands will be merged together, but actual behavior is different (second \brief command becomes a part of a discussion, second \returns becomes a "Returns: blah" paragraph on its own). Anyway, it seems to be a bad idea to use multiple \brief or \returns commands in a single command. llvm-svn: 161325
* Comment diagnostics: \return in void function: specialize diagnostic text forDmitri Gribenko2012-08-066-14/+32
| | | | | | ObjC methods. llvm-svn: 161324
* Re-enable pcmpistri/pcmpestri builtins in clang now that llvm supports them ↵Craig Topper2012-08-062-11/+80
| | | | | | properly. llvm-svn: 161319
* PR13529: Don't crash if the driver sees an unused input file when running asRichard Smith2012-08-064-9/+27
| | | | | | | | | | 'clang-cpp'. For now, the test uses "REQUIRES: shell" to determine if the host system supports "ln -s", which it uses to create a 'clang-cpp' symlink. This is a bit hacky and should likely be directly supported by lit.cfg. llvm-svn: 161317
* PR13499: Don't try to check whether 'override' has been validly applied untilRichard Smith2012-08-063-38/+91
| | | | | | | we know whether the function is virtual. But check it as soon as we do know; in some cases we don't need to wait for an instantiation. llvm-svn: 161316
* PR13527: don't assert if a function is explicitly defaulted when it's alreadyRichard Smith2012-08-063-1/+35
| | | | | | been defined. llvm-svn: 161315
* Add __builtin_readcyclecounter() to produce the @llvm.readcyclecounter() ↵Hal Finkel2012-08-054-0/+48
| | | | | | intrinsic. llvm-svn: 161310
* Simplify code, no functionality change.Benjamin Kramer2012-08-042-8/+3
| | | | llvm-svn: 161303
* [analyzer] Malloc: remove assert since is not valid as of r161248Anna Zaks2012-08-042-5/+12
| | | | | | | We can be in the situation where we did not track the symbol before realloc was called on it. llvm-svn: 161294
* objective-C string literal has no side-effect,Fariborz Jahanian2012-08-042-0/+3
| | | | | | | resulting in issuance of unused static variable warning now. // rdar://10777111 llvm-svn: 161291
* [analyzer] Use a more robust check for null in CallAndMessageChecker.Jordan Rose2012-08-042-6/+16
| | | | | | This should fix the failing test on the buildbot as well. llvm-svn: 161290
* [analyzer] Don't assume values bound to references are automatically non-null.Jordan Rose2012-08-042-4/+32
| | | | | | | | | | | While there is no such thing as a "null reference" in the C++ standard, many implementations of references (including Clang's) do not actually check that the location bound to them is non-null. Thus unlike a regular null dereference, this will not cause a problem at runtime until the reference is actually used. In order to catch these cases, we need to not prune out paths on which the input pointer is null. llvm-svn: 161288
* Fix the name of this variable.Eric Christopher2012-08-041-4/+4
| | | | llvm-svn: 161287
* Update comment to accurately reflect what should happen.Eric Christopher2012-08-041-1/+1
| | | | llvm-svn: 161286
* [analyzer] Update initializer assertion for delegating constructors.Jordan Rose2012-08-033-3/+25
| | | | | | | | | | Like base constructors, delegating constructors require no further processing in the CFGInitializer node. Also, add PrettyStackTraceLoc to the initializer and destructor logic so we can get better stack traces in the future. llvm-svn: 161283
* [analyzer] When a symbol is null, we should track its constraints.Jordan Rose2012-08-0318-59/+92
| | | | | | | | Because of this, we would previously emit NO path notes when a parameter is constrained to null (because there are no stores). Now we show where we made the assumption, which is much more useful. llvm-svn: 161280
* [analyzer] Flatten path diagnostics for text output like we do for HTML.Jordan Rose2012-08-036-37/+74
| | | | llvm-svn: 161279
* [analyzer] Track null/uninitialized C++ objects used in method calls.Jordan Rose2012-08-036-57/+64
| | | | llvm-svn: 161278
* [analyzer] Provide useful PathDiagnosticLocations for CallEnter/Exit events.Jordan Rose2012-08-031-37/+51
| | | | llvm-svn: 161277
* [analyzer] FindLastStoreBRVisitor was not actually finding stores.Jordan Rose2012-08-031-11/+11
| | | | | | | | | | | The visitor walks back through the ExplodedGraph as expected, but it wasn't actually keeping track of when a value was assigned. This meant that it only worked when the value was assigned when the variable was defined. Tests in the next commit (dependent on another change). llvm-svn: 161276
* Enhance getImplicitObjectArgument to look through ->*.Jordan Rose2012-08-032-2/+12
| | | | | | | This only applies in the case where ->* is not overloaded, since it specifically looks for BinaryOperator and not CXXOperatorCallExpr. llvm-svn: 161275
* [analyzer] Add a test for copy-constructor inlining.Jordan Rose2012-08-031-1/+31
| | | | llvm-svn: 161274
* Make property synthesis the default on Windows.Fariborz Jahanian2012-08-031-0/+4
| | | | llvm-svn: 161266
* [analyzer] Fixup: remove the extra whitespaceAnna Zaks2012-08-031-26/+0
| | | | llvm-svn: 161265
* [analyzer] ObjC Inlining: Start tracking dynamic type info in the GDMAnna Zaks2012-08-034-5/+75
| | | | | | | | | | | In the following code, find the type of the symbolic receiver by following it and updating the dynamic type info in the state when we cast the symbol from id to MyClass *. MyClass *a = [[self alloc] init]; return 5/[a testSelf]; llvm-svn: 161264
* Comment diagnostics: warn if \returns is used in a non-function comment or ifDmitri Gribenko2012-08-036-7/+148
| | | | | | the function returns void. llvm-svn: 161261
OpenPOWER on IntegriCloud