llvm-project/clang/test/Analysis
Jordan Rose 8e785e214b [analyzer] When binding to a ParenExpr, bind to its inner expression instead.
This actually looks through several kinds of expression, such as
OpaqueValueExpr and ExprWithCleanups. The idea is that binding and lookup
should be consistent, and so if the environment needs to be modified later,
the code doing the modification will not have to manually look through these
"transparent" expressions to find the real binding to change.

This is necessary for proper updating of struct rvalues as described in
the previous commit.

llvm-svn: 166121
2012-10-17 19:35:44 +00:00
..
Inputs clang/test/Analysis: Fix the declaration of strlen() for 32 bit targets. 2012-09-20 11:03:56 +00:00
diagnostics [analyzer] Teach UndefOrNullArgVisitor to track parent regions. 2012-09-12 22:57:30 +00:00
engine [analyzer] Fix a spurious undef value warning. 2012-06-01 23:48:44 +00:00
inlining Revert "InlineObjCInstanceMethod.m: Remove lines introduced in r165079." 2012-10-03 16:00:32 +00:00
CFContainers-invalid.c [analyzer] ObjCContainersASTChecker: minor cleanup and an extra test case. 2012-10-16 00:47:25 +00:00
CFContainers.mm Implement GCC's -Wint-to-pointer-cast. 2012-10-16 18:53:14 +00:00
CFDateGC.m Remove BasicConstraintManager. It hasn't been in active service for a while. 2012-08-22 19:47:13 +00:00
CFNumber.c Remove BasicConstraintManager. It hasn't been in active service for a while. 2012-08-22 19:47:13 +00:00
CFRetainRelease_NSAssertionHandler.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
CGColorSpace.c Remove BasicConstraintManager. It hasn't been in active service for a while. 2012-08-22 19:47:13 +00:00
CheckNSError.m Remove BasicConstraintManager. It hasn't been in active service for a while. 2012-08-22 19:47:13 +00:00
MissingDealloc.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
NSPanel.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
NSString.m Remove OSAtomicChecker. 2012-10-11 20:58:21 +00:00
NSWindow.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
NoReturn.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
OSAtomic_mac.cpp Allow 'Environment::getSVal()' to allow an optional way for checkers to do a direct lookup to values bound to expressions, without 2011-04-27 05:34:09 +00:00
ObjCProperties.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
ObjCRetSigs.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
PR2599.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
PR2978.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
PR3991.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
PR7218.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
PR9741.cpp Update all tests other than Driver/std.cpp to use -std=c++11 rather than 2011-10-13 22:29:44 +00:00
PR12905.c Analyzer: Fix PR12905, a crash when encountering a call to a function named "C". 2012-05-21 19:40:38 +00:00
additive-folding-range-constraints.c [analyzer] Convert many existing tests to use clang_analyzer_eval. 2012-05-16 16:01:10 +00:00
additive-folding.cpp Improvements to my patch in r164143 per 2012-09-20 19:36:41 +00:00
analyzeOneFunction.m [analyzer] Test for -analyze-function on ObjectiveC to accompany r139439. 2011-09-12 17:48:08 +00:00
analyze_display_progress.c
analyzer-config.c Tweak AnalyzerOptions::getOptionAsInteger() to populate the string 2012-10-02 20:31:56 +00:00
analyzer-config.cpp Tweak AnalyzerOptions::getOptionAsInteger() to populate the string 2012-10-02 20:31:56 +00:00
analyzer-stats.c Re-enable the IdempotentOperations checker for --analyze, and put it and the DeadStores checker into the "deadcode" group. 2011-03-12 06:14:28 +00:00
array-struct-region.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
array-struct-region.cpp [analyzer] When binding to a ParenExpr, bind to its inner expression instead. 2012-10-17 19:35:44 +00:00
array-struct.c [analyzer] Add a test for PR13927 "offsetof replacement flagged as null deref" 2012-10-01 19:07:19 +00:00
auto-obj-dtors-cfg-output.cpp [analyzer] Always include destructors in the analysis CFG. 2012-09-05 22:55:23 +00:00
base-init.cpp [analyzer] Though C++ inlining is enabled, don't inline ctors and dtors. 2012-08-31 17:06:49 +00:00
bitwise-ops.c [analyzer] Add tests for symbolic expression liveness. 2012-09-25 19:03:09 +00:00
blocks-no-inline.c [analyzer] Add a new abstraction over all types of calls: CallEvent 2012-07-02 19:27:35 +00:00
blocks.m [analyzer] Make BlockDataRegions typed, so that they have DynamicTypeInfo. 2012-08-17 20:16:34 +00:00
bool-assignment.cpp Fix analyzer tests. 2012-08-24 20:39:55 +00:00
bool-assignment2.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
bstring.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
casts.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
casts.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
cfref_PR2519.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
cfref_rdar6080742.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
check-deserialization.cpp [analyzer] PCH deserialization optimization. 2012-04-12 22:36:48 +00:00
chroot.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
comparison-implicit-casts.cpp Remove BasicConstraintManager. It hasn't been in active service for a while. 2012-08-22 19:47:13 +00:00
complex-init-list.cpp [analyzer] Fix a crash PR13762. 2012-09-05 22:31:58 +00:00
complex.c Remove BasicConstraintManager. It hasn't been in active service for a while. 2012-08-22 19:47:13 +00:00
concrete-address.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
conditional-operator-path-notes.c ParentMap: Restore the ability to update an existing map. 2012-10-06 01:19:36 +00:00
constant-folding.c [analyzer] Convert many existing tests to use clang_analyzer_eval. 2012-05-16 16:01:10 +00:00
coverage.c Adjust some analyzer tests to place widely shared inputs inside of an 2012-09-12 01:11:10 +00:00
cstring-syntax-cxx.cpp [analyzer] Turn on by default the Malloc Checker and a couple of CString 2012-02-20 21:10:37 +00:00
cstring-syntax.c Turn on strncat-size warning implemented a while ago. 2012-08-07 18:36:58 +00:00
ctor-inlining.mm Reapply "[analyzer] Handle inlined constructors for rvalue temporaries correctly." 2012-10-01 17:51:35 +00:00
cxx-crashes.cpp clang/test: [PR8833] Introduce the feature "LP64" to suppress LLP64-incompatible tests. 2012-09-12 10:45:40 +00:00
cxx-for-range-cfg.cpp Teach CFG construction about destructors resulting from references to array types. Fixes crash in <rdar://problem/11671507>. 2012-07-18 04:57:57 +00:00
cxx-method-names.cpp Fix analyzer tests. 2012-08-24 20:39:55 +00:00
cxx11-crashes.cpp [analyzer] Don't crash on LValBitCast 2012-05-25 16:02:16 +00:00
dead-stores.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
dead-stores.cpp Tweak DeadStoresChecker to not warn about dead stores to variables that 2012-09-06 22:32:48 +00:00
dead-stores.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
debug-CallGraph.c Add a basic CallGraph to Analysis. 2012-03-08 00:42:23 +00:00
default-analyze.m Add test case for <rdar://problem/8808566>, which is now fixed by inlining support. 2012-03-16 04:59:57 +00:00
default-diagnostic-visitors.c Add a test for checking that custom diagnostic visitors are working. 2011-08-18 19:02:46 +00:00
delegates.m Turn -Wobjc-root-class on by default. <rdar://problem/11203649>. 2012-07-25 07:26:32 +00:00
derived-to-base.cpp [analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests. 2012-08-21 21:44:07 +00:00
div-zero.cpp Address PR10616. The crash has already been fixed by Ted in r140725, so just refactor to use existing API + test case. 2011-10-01 06:35:19 +00:00
domtest.c Refine CFG so that '&&' and '||' don't lead to extra confluence points when used in a branch, but 2012-07-14 05:04:10 +00:00
dtor.cpp [analyzer] Member function calls that use qualified names are non-virtual. 2012-09-11 00:31:02 +00:00
dtors-in-dtor-cfg-output.cpp [analyzer] Always include destructors in the analysis CFG. 2012-09-05 22:55:23 +00:00
dynamic-cast.cpp [analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts. 2012-08-13 22:11:34 +00:00
elementtype.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
exceptions.mm [analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests. 2012-08-21 21:44:07 +00:00
exercise-ps.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
fields.c [analyzer] Create a temporary region when accessing a struct rvalue. 2012-10-17 19:35:37 +00:00
free.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
func.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
global-region-invalidation.c Adjust some analyzer tests to place widely shared inputs inside of an 2012-09-12 01:11:10 +00:00
html-diags-multifile.c [analyzer diagnostics] Change CompactPathDiagnostic to recursively compact diagnostics in calls into macro pieces. 2012-03-02 01:27:31 +00:00
html-diags-multifile.h [analyzer diagnostics] Change CompactPathDiagnostic to recursively compact diagnostics in calls into macro pieces. 2012-03-02 01:27:31 +00:00
html-diags.c Fix test so that it doesn't keep failing forever when it's failed once. 2012-08-17 04:05:25 +00:00
idempotent-operations-limited-loops.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
idempotent-operations.c Implement GCC's -Wint-to-pointer-cast. 2012-10-16 18:53:14 +00:00
idempotent-operations.cpp Fix analyzer tests. 2012-08-24 20:39:55 +00:00
idempotent-operations.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
initializer.cpp [analyzer] Though C++ inlining is enabled, don't inline ctors and dtors. 2012-08-31 17:06:49 +00:00
initializers-cfg-output.cpp [analyzer] Turn -cfg-add-initializers on by default, and remove the flag. 2012-07-31 18:04:59 +00:00
inline-not-supported.c [analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests. 2012-08-21 21:44:07 +00:00
inline-plist.c [analyzer] Suppress bugs whose paths go through the return of a null pointer. 2012-09-22 01:25:06 +00:00
inline-unique-reports.c [analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests. 2012-08-21 21:44:07 +00:00
inline.c [analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests. 2012-08-21 21:44:07 +00:00
inline.cpp [analyzer] Adjust the return type of an inlined devirtualized method call. 2012-10-03 01:08:35 +00:00
inline2.c [analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests. 2012-08-21 21:44:07 +00:00
inline3.c [analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests. 2012-08-21 21:44:07 +00:00
inline4.c [analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests. 2012-08-21 21:44:07 +00:00
ivars.m [analyzer] Allow ObjC ivar lvalues where the base is nil. 2012-10-01 19:07:22 +00:00
keychainAPI-diagnostic-visitor.m [analyzer] MacOSKeychainAPIChecker: Provide reacher diagnostic trace by pointing to the allocation site when reporting a leak. 2011-08-24 20:52:46 +00:00
keychainAPI.m [analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests. 2012-08-21 21:44:07 +00:00
lambdas.cpp Include lambda capture init expressions in CFG. 2012-04-12 20:34:52 +00:00
logical-ops.c [analyzer] The result of && or || is always a 1 or 0. 2012-08-20 17:04:45 +00:00
lvalue.cpp [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
malloc-annotations.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
malloc-interprocedural.c clang/test/Analysis: Fix the declaration of strlen() for 32 bit targets. 2012-09-20 11:03:56 +00:00
malloc-overflow.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
malloc-overflow.cpp Fix analyzer tests. 2012-08-24 20:39:55 +00:00
malloc-plist.c Fix bug in BugReporter::RemoveUneededCalls() where "prunable" 2012-09-08 07:18:18 +00:00
malloc-sizeof.c [analyzer] Address John's code review for r163407. 2012-09-08 00:09:02 +00:00
malloc.c [analyzer] Fix another false positive in malloc realloc logic. 2012-09-12 22:57:34 +00:00
malloc.cpp [analyzer] Always include destructors in the analysis CFG. 2012-09-05 22:55:23 +00:00
malloc.m Adjust some analyzer tests to place widely shared inputs inside of an 2012-09-12 01:11:10 +00:00
malloc.mm Adjust some analyzer tests to place widely shared inputs inside of an 2012-09-12 01:11:10 +00:00
method-arg-decay.m After numerous requests, have Objective-C 'method declared here' notes mention the actual method. This looks better within an IDE, where text isn't always regurgitated in the presentation of a warning. Fixes radar 10914035. 2012-02-27 22:55:11 +00:00
method-call-intra-p.cpp [analyzer] Do not invalidate arguments when the parameter's 2011-12-20 22:35:30 +00:00
method-call-path-notes.cpp Attempt (again) to stabilize the order of the emission of diagnostics 2012-09-08 04:26:37 +00:00
method-call.cpp [analyzer] Though C++ inlining is enabled, don't inline ctors and dtors. 2012-08-31 17:06:49 +00:00
misc-ps-64.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
misc-ps-arm.m Having RegionStore lower field bindings to raw offsets, just like ElementRegions. This is a bit 2012-05-08 21:49:54 +00:00
misc-ps-cxx0x.cpp [analyzer] Track null/uninitialized C++ objects used in method calls. 2012-08-03 23:08:49 +00:00
misc-ps-eager-assume.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
misc-ps-ranges.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
misc-ps-region-store-i386.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
misc-ps-region-store-x86_64.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
misc-ps-region-store.cpp Fix analyzer tests. 2012-08-24 20:39:55 +00:00
misc-ps-region-store.m Implement GCC's -Wint-to-pointer-cast. 2012-10-16 18:53:14 +00:00
misc-ps-region-store.mm Fix analyzer tests. 2012-08-24 20:39:55 +00:00
misc-ps.c Add test case for <rdar://problem/12075238>, which recently got fixed by changes to RegionStore. 2012-09-07 19:09:51 +00:00
misc-ps.m Remove OSAtomicChecker. 2012-10-11 20:58:21 +00:00
new.cpp [analyzer] Inline constructors for any object with a trivial destructor. 2012-08-27 17:50:07 +00:00
nil-receiver-undefined-larger-than-voidptr-ret-region.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
nil-receiver-undefined-larger-than-voidptr-ret.m Attempt (again) to stabilize the order of the emission of diagnostics 2012-09-08 04:26:37 +00:00
no-exit-cfg.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
no-outofbounds.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
nonnull.m [analyzer] Convert existing checkers to use check::preCall and check::postCall. 2012-07-02 19:28:21 +00:00
null-deref-path-notes.m [analyzer] Allow ObjC ivar lvalues where the base is nil. 2012-10-01 19:07:22 +00:00
null-deref-ps-region.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
null-deref-ps.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
nullptr.cpp Revert "[analyzer] Check that a member expr is valid even when the result is an lvalue." 2012-10-01 19:07:15 +00:00
objc-arc.m "Teach" RetainCountChecker about dispatch_set_context, which can indirectly free its argument later. Fixes <rdar://problem/11059275>. 2012-03-22 06:29:41 +00:00
objc-bool.m Fix tests that weren't actually verifying anything. 2012-04-15 22:09:44 +00:00
objc-boxing.m [analyzer] Test objC boxing. 2012-05-11 23:15:16 +00:00
objc-for.m Fix two more tests that didn't do anything. 2012-09-26 09:09:17 +00:00
objc-method-coverage.m [analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests. 2012-08-21 21:44:07 +00:00
objc-properties.m [analyzer] Do not warn on direct ivar assignments within copy methods. 2012-10-15 22:48:14 +00:00
objc-subscript.m [analyzer] Combine all ObjC message CallEvents into ObjCMethodCall. 2012-07-18 21:59:51 +00:00
objc_invalidation.m [analyzer] Ivar Invalidation: track ivars in continuations and 2012-10-16 19:36:37 +00:00
operator-calls.cpp Fix analyzer tests. 2012-08-24 20:39:55 +00:00
out-of-bounds.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
outofbound-notwork.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
outofbound.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
override-werror.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
plist-html-macros.c [analyzer] Ensure that PathDiagnostics profile the same regardless of path. 2012-08-31 00:36:26 +00:00
plist-output-alternate.m [analyzer] Track a null value back through FindLastStoreBRVisitor. 2012-09-22 01:25:00 +00:00
plist-output.m [analyzer] Tweak test to run the retain-count checker even on non-Darwin. 2012-10-06 02:06:17 +00:00
pointer-to-member.cpp [analyzer] For now, treat pointers-to-members as non-null void * symbols. 2012-08-23 23:01:43 +00:00
pr4209.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
pr_2542_rdar_6793404.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
pr_4164.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
properties.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
pthreadlock.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
ptr-arith.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
rdar-6442306-1.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
rdar-6540084.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
rdar-6541136-region.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
rdar-6562655.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
rdar-6600344-nil-receiver-undefined-struct-ret.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
rdar-7168531.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
redefined_system.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
refcnt_naming.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
reference.cpp [analyzer] Create a temporary region when accessing a struct rvalue. 2012-10-17 19:35:37 +00:00
region-1.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
region-store.c [analyzer] We currently do not fully support CompoundLiterals in 2012-05-08 23:40:38 +00:00
reinterpret-cast.cpp [analyzer] Only adjust the type of 'this' when we devirtualize a method call. 2012-08-15 17:33:34 +00:00
retain-release-gc-only.m [analyzer] More tests for "release and stop tracking". 2012-08-20 22:15:44 +00:00
retain-release-inline.m [analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests. 2012-08-21 21:44:07 +00:00
retain-release-path-notes-gc.m Attempt (again) to stabilize the order of the emission of diagnostics 2012-09-08 04:26:37 +00:00
retain-release-path-notes.m [analyzer] Add plist output checks for all four "path notes" tests. 2012-08-06 21:28:14 +00:00
retain-release-region-store.m Change RetainCountChecker to eagerly "escape" retained objects when they are 2012-03-27 01:12:45 +00:00
retain-release.m Fix up more "$t"s in this test that should be "%t"s. 2012-09-12 01:11:05 +00:00
retain-release.mm [analyzer] RetainCountChecker: don't assume all functions have names. 2012-08-31 18:19:18 +00:00
security-syntax-checks-no-emit.c Turn 'SecuritySyntaxChecker' into a "meta" security checker for insecure APIs. Now 2012-01-20 01:44:29 +00:00
security-syntax-checks.m Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the same time. 2012-08-16 17:45:23 +00:00
self-init.m [analyzer] Handle inlining of instance calls to super. 2012-07-30 23:48:36 +00:00
sizeofpointer.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
stack-addr-ps.c Teach analyzer that blocks with no captures are globals. Fixes <rdar://problem/10348049>. 2012-02-18 22:41:01 +00:00
stack-addr-ps.cpp Better wording for reference self-initialization warning. 2012-08-20 08:52:22 +00:00
stack-block-returned.cpp Handle CXXTempObjectRegion in StackAddrEscapeChecker. 2011-08-26 00:41:31 +00:00
stackaddrleak.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
static_local.m [analyzer] Teach the analyzer about implicit initialization of statics 2012-09-17 19:13:56 +00:00
stats.c [analyzer] Record the basic blocks covered by the analyzes run. 2012-04-03 02:05:47 +00:00
stream.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
string-fail.c [analyzer] Convert many existing tests to use clang_analyzer_eval. 2012-05-16 16:01:10 +00:00
string.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
svalbuilder-logic.c [analyzer] Fix an assertion failure triggered by the analyzer buildbot. 2012-05-02 00:05:23 +00:00
taint-generic.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
taint-tester.c Implement GCC's -Wint-to-pointer-cast. 2012-10-16 18:53:14 +00:00
taint-tester.cpp Fix analyzer tests. 2012-08-24 20:39:55 +00:00
taint-tester.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
temp-obj-dtors-cfg-output.cpp [analyzer] For now, don't inline C++ standard library functions. 2012-09-10 21:27:35 +00:00
templates.cpp [analyzer] For now, don't inline C++ standard library functions. 2012-09-10 21:27:35 +00:00
temporaries.cpp [analyzer] C++ objects returned on the stack may be wrapped in ExprWithCleanups. 2012-08-29 01:11:59 +00:00
test-objc-non-nil-return-value-checker.m [analyzer] Add osx.cocoa.NonNilReturnValue checker. 2012-08-22 21:19:56 +00:00
test-variably-modified-types.c [analyzer] Test variable modified types. 2012-05-11 23:34:14 +00:00
traversal-algorithm.mm Make this test invariant to future changes of the max loop unrolling count. 2012-07-02 21:02:22 +00:00
traversal-path-unification.c [analyzer] Add tests for symbolic expression liveness. 2012-09-25 19:03:09 +00:00
undef-buffers.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
uninit-msg-expr.m Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
uninit-ps-rdar6145427.m Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
uninit-sometimes.cpp PR13360: When deciding the earliest point which inevitably leads to an 2012-07-13 23:33:44 +00:00
uninit-vals-ps-region.m Fix analyzer tests. 2012-08-24 20:39:55 +00:00
uninit-vals-ps.c [analyzer] Do not report use of undef on "return foo();" when the return type is void. 2012-09-12 22:57:40 +00:00
uninit-vals.m Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
unions-region.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
unions.cpp Reapply "[analyzer] Treat fields of unions as having symbolic offsets." 2012-10-10 23:23:21 +00:00
unix-fns.c Add faux-body support for dispatch_once(). 2012-09-21 00:52:24 +00:00
unreachable-code-path.c Fix analyzer tests. 2012-08-24 20:39:55 +00:00
unused-ivars.m [analyzer] Fix a regression in ObjCUnusedIVars checker. 2012-05-15 22:31:56 +00:00
variadic-method-types.m Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the same time. 2012-08-16 17:45:23 +00:00
virtualcall.cpp [analyzer] Don't run non-path-sensitive checks on system headers... 2012-10-10 17:55:40 +00:00
virtualcall.h [analyzer] Don't run non-path-sensitive checks on system headers... 2012-10-10 17:55:40 +00:00