summaryrefslogtreecommitdiffstats
path: root/clang
Commit message (Collapse)AuthorAgeFilesLines
* clang/test/Sema/format-strings-scanf.c: Relax a couple of expressions with ↵NAKAMURA Takumi2012-09-081-2/+2
| | | | | | | | | expected-warning-re to let matched for Win32 targets. - format specifies type 'wchar_t **' (aka 'int **') but the argument has type 'float *' - format specifies type 'wchar_t **' (aka 'unsigned short **') but the argument has type 'float *' llvm-svn: 163468
* Add some ARM EABI preprocessor builtins testsAnton Korobeynikov2012-09-081-0/+209
| | | | llvm-svn: 163467
* Do not construct StringRef from NULL argument.Anton Korobeynikov2012-09-081-1/+1
| | | | llvm-svn: 163465
* Provide some ACLE C defines. This should fix PR13796Anton Korobeynikov2012-09-081-4/+19
| | | | llvm-svn: 163464
* Try disabling the FileCheck part of the retain-release.m test to see if it ↵Ted Kremenek2012-09-081-2/+4
| | | | | | fixes the buildbots. llvm-svn: 163462
* Fix bug in BugReporter::RemoveUneededCalls() where "prunable"Ted Kremenek2012-09-086-6/+901
| | | | | | | PathDiagnosticEventPieces were *always* pruned. Instead, they are suppose to only be pruned if the entire call gets pruned. llvm-svn: 163460
* When a bad UTF-8 encoding or bogus escape sequence is encountered in aRichard Smith2012-09-088-80/+167
| | | | | | | string literal, produce a diagnostic pointing at the erroneous character range, not at the start of the literal. llvm-svn: 163459
* This test does not require --exact-match from FileCheck.Ted Kremenek2012-09-081-1/+1
| | | | llvm-svn: 163456
* Attempt (again) to stabilize the order of the emission of diagnosticsTed Kremenek2012-09-0810-12595/+35618
| | | | | | | of the analyzer by using the FullProfile() of a PathDiagnostic for ordering them. llvm-svn: 163455
* Format strings: suggest %lld instead of %qd and %Ld with -Wformat-non-iso.Jordan Rose2012-09-085-60/+60
| | | | | | | As a corollary to the previous commit, even when an extension is available, we can still offer a fixit to the standard modifier. llvm-svn: 163453
* Format strings: %Ld isn't available on Darwin or Windows.Jordan Rose2012-09-0810-60/+151
| | | | | | | | | This seems to be a GNU libc extension; we offer a fixit to %lld on these platforms. <rdar://problem/11518237> llvm-svn: 163452
* -fcatch-undefined-behavior: Factor emission of the creation of, and branch to,Richard Smith2012-09-087-121/+84
| | | | | | | | | the trap BB out of the individual checks and into a common function, to prepare for making this code call into a runtime library. Rename the existing EmitCheck to EmitTypeCheck to clarify it and to move it out of the way of the new EmitCheck. llvm-svn: 163451
* [analyzer] ObjCSelfInitChecker should always clean up in postCall checks.Jordan Rose2012-09-083-68/+7
| | | | | | | | | | | | | | | | | | | | ObjCSelfInitChecker stashes information in the GDM to persist it across function calls; it is stored in pre-call checks and retrieved post-call. The post-call check is supposed to clear out the stored state, but was failing to do so in cases where the call did not have a symbolic return value. This was actually causing the inappropriate cache-out from r163361. Per discussion with Anna, we should never actually cache out when assuming the receiver of an Objective-C message is non-nil, because we guarded that node generation by checking that the state has changed. Therefore, the only states that could reach this exact ExplodedNode are ones that should have merged /before/ making this assumption. r163361 has been reverted and the test case removed, since it won't actually test anything interesting now. llvm-svn: 163449
* [analyzer] Add debug output for ObjCSelfInitChecker's state.Jordan Rose2012-09-081-0/+48
| | | | | | No functionality change. llvm-svn: 163448
* Revert "Add plist output for retain-release.m in addition to -verify checking."Ted Kremenek2012-09-081-21887/+2
| | | | llvm-svn: 163447
* Revert "Attempt to make the PathDiagnostic emission order more deterministic by"Ted Kremenek2012-09-082-95/+60
| | | | llvm-svn: 163446
* Revert "Further tweaks to hopefully make the PathDiagnostic emission more ↵Ted Kremenek2012-09-081-8/+18
| | | | | | deterministic." llvm-svn: 163445
* [analyzer] Remove constraints on dead symbols as part of removeDeadBindings.Jordan Rose2012-09-083-9/+29
| | | | | | | | | | | | | Previously, we'd just keep constraints around forever, which means we'd never be able to merge paths that differed only in constraints on dead symbols. Because we now allow constraints on symbolic expressions, not just single symbols, this requires changing SymExpr::symbol_iterator to include intermediate symbol nodes in its traversal, not just the SymbolData leaf nodes. llvm-svn: 163444
* [analyzer] Symbolic regions are live if any subregions are live.Jordan Rose2012-09-081-21/+9
| | | | | | | | | | RegionStoreManager was only treating a SymbolicRegion's symbel as live if there was a binding referring to the region itself. No test case because constraints are currently not being cleaned out of the constraint manager at all (even if the symbol is legitimately dead). llvm-svn: 163443
* [analyzer] Cast the result of a placement new-expression to the correct type.Jordan Rose2012-09-082-1/+29
| | | | | | | | | | | This is necessary because further analysis will assume that the SVal's type matches the AST type. This caused a crash when trying to perform a derived-to-base cast on a C++ object that had been new'd to be another object type. Yet another crash in PR13763. llvm-svn: 163442
* [analyzer] Address John's code review for r163407.Anna Zaks2012-09-082-13/+18
| | | | | | | Teach malloc sizeof checker to find type inconsistencies in multi- dimensional arrays. llvm-svn: 163438
* objective-C: introduce __attribute((objc_requires_super)) on methodFariborz Jahanian2012-09-079-8/+94
| | | | | | | | in classes. Use it to flag those method implementations which don't contain call to 'super' if they have 'super' class and it has the method with this attribute set. This is wip. // rdar://6386358 llvm-svn: 163434
* In ARC, if we're emitting assembly markers for calls toJohn McCall2012-09-072-6/+34
| | | | | | | | | objc_retainAutoreleasedReturnValue, we need to also be killing them during return peepholing. Make sure we recognize an intervening bitcast, but more importantly, assert if we can't find the asm marker at all. rdar://problem/12133032 llvm-svn: 163431
* Further tweaks to hopefully make the PathDiagnostic emission more deterministic.Ted Kremenek2012-09-071-18/+8
| | | | llvm-svn: 163430
* Fixed http://llvm.org/bugs/show_bug.cgi?id=13777Alexander Kornienko2012-09-071-2/+4
| | | | llvm-svn: 163429
* Remove ProgramState::getSymVal(). It was being misused by Checkers,Ted Kremenek2012-09-0710-41/+129
| | | | | | | | | | | | | | | | | | | | with at least one subtle bug in MacOSXKeyChainAPIChecker where the calling the method was a substitute for assuming a symbolic value was null (which is not the case). We still keep ConstraintManager::getSymVal(), but we use that as an optimization in SValBuilder and ProgramState::getSVal() to constant-fold SVals. This is only if the ConstraintManager can provide us with that information, which is no longer a requirement. As part of this, introduce a default implementation of ConstraintManager::getSymVal() which returns null. For Checkers, introduce ConstraintManager::isNull(), which queries the state to see if the symbolic value is constrained to be a null value. It does this without assuming it has been implicitly constant folded. llvm-svn: 163428
* Attempt to make the PathDiagnostic emission order more deterministic byTed Kremenek2012-09-072-60/+95
| | | | | | looking at PathPieces. llvm-svn: 163427
* Add default implementation of ConstraintManager::getSymVal() and a doxygen ↵Ted Kremenek2012-09-071-1/+8
| | | | | | comment. llvm-svn: 163426
* Remove ConstraintManager:isEqual(). It is no longer used.Ted Kremenek2012-09-072-10/+0
| | | | llvm-svn: 163425
* Add plist output for retain-release.m in addition to -verify checking.Ted Kremenek2012-09-071-2/+21887
| | | | llvm-svn: 163418
* Ampersand goes with identifier.Chad Rosier2012-09-071-2/+2
| | | | llvm-svn: 163410
* [analyzer] Use cast<> instead of getAs<> for a CFGElement known to be a CFGStmt.Jordan Rose2012-09-071-4/+3
| | | | | | | | | | | | When adding the next statement to the CoreEngine's work list, we take care of all the special cases first. We certainly shouldn't be building PostStmts with null statements (the diagnostics machinery assumes such StmtPoints do not exist), and we should find out sooner if we're missing a special case. A refinement of r163402 that should help prevent further issues like PR13760. llvm-svn: 163409
* Moved back getCharAndSizeNoWarn to public area.Abramo Bagnara2012-09-071-15/+15
| | | | llvm-svn: 163408
* [analyzer] Fix a false positive in sizeof malloc checker.Anna Zaks2012-09-072-33/+63
| | | | | | | Don't warn when the sizeof argument is an array with the same element type as the pointee of the return type. llvm-svn: 163407
* Add test case for <rdar://problem/12075238>, which recently got fixed by ↵Ted Kremenek2012-09-071-0/+18
| | | | | | changes to RegionStore. llvm-svn: 163406
* Whitespace.Chad Rosier2012-09-071-4/+0
| | | | llvm-svn: 163404
* Bring buildbots back. Fix scoping issue and coding style from r163397.Chad Rosier2012-09-071-6/+8
| | | | llvm-svn: 163403
* [analyzer] Don't use the address of a temporary CFGElement.Jordan Rose2012-09-071-1/+2
| | | | | | | | | | | | | | | | | GCC destroys temporary objects more aggressively than clang, so this results in incorrect behavior when compiling GCC Release builds. We could avoid this issue under C++11 by preventing getAs from being called when 'this' is an rvalue: template<class ElemTy> const ElemTy *getAs() const & { ... } template<class ElemTy> const ElemTy *getAs() const && = delete; Unfortunately, we do not have compatibility macros for this behavior yet. This will hopefully fix PR13760 and PR13762. llvm-svn: 163402
* Thread-safety analysis: Add support for selectively turning off warningsDeLesley Hutchins2012-09-073-75/+180
| | | | | | within part of a particular method. llvm-svn: 163397
* [analyzer] Explain why we need condition 8.Anna Zaks2012-09-071-1/+4
| | | | llvm-svn: 163394
* Attempt to pacify Windows buildbots.Roman Divacky2012-09-071-1/+1
| | | | llvm-svn: 163389
* Link to crtend.S when PIE in the FreeBSD driver. Patch by Brooks Davis!Roman Divacky2012-09-072-3/+17
| | | | llvm-svn: 163388
* Adds a first iteration of the basic AST matcher documentation landing page.Manuel Klimek2012-09-071-0/+130
| | | | llvm-svn: 163387
* Introduces anchors into LibASTMatchersReference.html.Manuel Klimek2012-09-072-159/+184
| | | | | | | | This allows linking to LibASTMatchersRefernce.html#<matcher><N>Anchor to link to the N'the declaration of a matcher and automatically expand its documentation. llvm-svn: 163386
* Change the behavior of the isDerivedFrom-matcher to not match on theDaniel Jasper2012-09-073-13/+31
| | | | | | | | | | | | class itself. This caused some confusion (intuitively, a class is not derived from itself) and makes it hard to write certain matchers, e.g. "match and bind any pair of base and subclass". The original behavior can be achieved with a new isA-matcher. Similar to all other matchers, this matcher has the same behavior and name as the corresponding AST-entity - in this case the isa<>() function. llvm-svn: 163385
* Implements hasAncestor.Manuel Klimek2012-09-074-15/+245
| | | | | | | | | | | | | | | | | | | | | | Implements the hasAncestor matcher. This builds on the previous patch that introduced DynTypedNode to build up a parent map for an additional degree of freedom in the AST traversal. The map is only built once we hit an hasAncestor matcher, in order to not slow down matching for cases where this is not needed. We could implement some speed-ups for special cases, like building up the parent map as we go and only building up the full map if we break out of the already visited part of the tree, but that is probably not going to be worth it, and would make the code significantly more complex. Major TODOs are: - implement hasParent - implement type traversal - implement memoization in hasAncestor llvm-svn: 163382
* Revert "Rework the retain-release.m test to use FileCheck and the "text" output"Ted Kremenek2012-09-071-1348/+180
| | | | | | Apparently the output of this test is not deterministic. Needs investigation. llvm-svn: 163377
* Fix off-by-one bug in diagnostic prose of ObjCContainersASTChecker.Ted Kremenek2012-09-072-8/+10
| | | | | | | | | While the check itself should count 0-based for the parameter index, the diagnostic should be 1-based (first, second, third, not start at 0). Fixes <rdar://problem/12249569>. llvm-svn: 163375
* ExplodedGraph::shouldCollectNode() should not collect nodes for non-Expr StmtsTed Kremenek2012-09-071-3/+3
| | | | | | | | (as this previously was the case before this was refactored). We also shouldn't need to specially handle BinaryOperators since the eagerly-assume heuristic tags such nodes. llvm-svn: 163374
* Rework the retain-release.m test to use FileCheck and the "text" outputTed Kremenek2012-09-071-180/+1348
| | | | | | | | | | of the analyzer, as the RetainReleaseChecker has many fine-grain path diagnostic events that were not being checked. This uncovered an inconsistency between the path diagnostics between Objective-C and Objective-C++ code in ConditionBRVisitor that was fixed in a recent patch. llvm-svn: 163373
OpenPOWER on IntegriCloud