Ted Kremenek 7b31a61d10 Relax assertion in CFG builder when processing ForStmts. This fixes an assertion failure ... on code containing GNU statement expressions reported in PR 8141. llvm-svn: 113953		2010-09-15 07:01:20 +00:00
..
CFDateGC.m	…
CFNumber.c	…
CFRetainRelease_NSAssertionHandler.m	…
CGColorSpace.c	…
CheckNSError.m	…
MissingDealloc.m	…
NSPanel.m	…
NSString.m	…
NSWindow.m	…
NoReturn.m	…
ObjCProperties.m	…
ObjCRetSigs.m	…
PR2599.m	…
PR2978.m	…
PR3991.m	Improve diagnostics on incomplete implementation	2010-03-27 19:02:17 +00:00
PR7218.c	After conversations with Zhongxing Xu and Jordy Rose, refine the logic in	2010-05-31 01:22:04 +00:00
additive-folding-range-constraints.c	Don't depend on system headers in clang -cc1 tests.	2010-06-24 11:06:12 +00:00
additive-folding.c	Put the tautological-comparison-of-unsigned-against-zero warnings in	2010-09-08 02:01:27 +00:00
analyze_display_progress.c	Fix -analyze-display-progress (once again), this time with an additional regression test.	2010-06-25 20:59:24 +00:00
analyzer-stats.c	Added AnalyzerStatsChecker, a path sensitive check that reports visitation statistics about analysis. Running clang with the -analyzer-stats flag will emit warnings containing the information. We can then run a postanalysis script to take this data and give useful information about how much the analyzer missed in a project.	2010-09-10 00:44:44 +00:00
array-struct-region.c	Handle nested compound values in BindArray for multidimensional arrays. Fixes PR7945.	2010-08-20 01:05:59 +00:00
array-struct.c	Move new test (that requires RegionStore) into its own file.	2010-07-29 07:11:59 +00:00
blocks.m	…
bstring.c	Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes:	2010-08-16 07:51:42 +00:00
casts.c	…
casts.m	…
cfref_PR2519.c	…
cfref_rdar6080742.c	…
complex.c	tests: Use -ffreestanding when including stdint.h, to avoid platform dependencies.	2010-09-07 22:54:28 +00:00
concrete-address.c	…
conditional-op-missing-lhs.c	…
constant-folding.c	Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker.	2010-08-18 21:17:24 +00:00
dead-stores.c	Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().	2010-09-09 07:13:00 +00:00
dead-stores.cpp	Add dead stores C++ test case that was previously asserting due to an	2010-06-25 22:48:52 +00:00
dead-stores.m	…
delegates.m	…
elementtype.c	…
exercise-ps.c	make clang print types as "const int *" instead of "int const*",	2010-09-05 00:04:01 +00:00
fields.c	…
flat-store.c	Improve flat store: MemRegion::getAsOffset() computes a region's offset within	2010-08-02 04:56:14 +00:00
free.c	Catch free()s on non-regions and regions known to be not from malloc(), by checking the symbol type and memory space.	2010-06-07 19:32:37 +00:00
func.c	Adjusted the semantics of assign checking in IdempotentOperationChecker	2010-08-30 19:25:43 +00:00
idempotent-operations.c	Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals can be used as	2010-09-15 03:13:30 +00:00
idempotent-operations.cpp	Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis	2010-08-24 21:09:07 +00:00
inline.c	Turn -analyzer-inline-call on for C functions. This also fixed a bug that	2010-05-06 03:38:27 +00:00
inline2.c	Turn -analyzer-inline-call on for C functions. This also fixed a bug that	2010-05-06 03:38:27 +00:00
inline3.c	Turn -analyzer-inline-call on for C functions. This also fixed a bug that	2010-05-06 03:38:27 +00:00
inline4.c	Turn -analyzer-inline-call on for C functions. This also fixed a bug that	2010-05-06 03:38:27 +00:00
malloc.c	After a lengthy design discussion, add support for "ownership attributes" for malloc/free checking. Patch by Andrew McGregor!	2010-07-31 01:52:11 +00:00
method-call.cpp	Make -analyzer-inline-call not a separate analysis. Instead it's a boolean	2010-05-06 02:59:29 +00:00
misc-ps-64.m	…
misc-ps-basic-store.m	…
misc-ps-eager-assume.m	…
misc-ps-flat-store.c	…
misc-ps-ranges.m	…
misc-ps-region-store-i386.m	…
misc-ps-region-store-x86_64.m	…
misc-ps-region-store.cpp	Explicitly handle CXXOperatorCallExpr when building CFGs. We should treat it the same as CallExprs.	2010-08-31 18:47:34 +00:00
misc-ps-region-store.m	Don't divide-by-zero in RegionStoreManager::getSizeInElements() when getting the size of a VLA. We don't track VLA extents yet,	2010-09-14 23:08:34 +00:00
misc-ps-region-store.mm	…
misc-ps.m	Relax assertion in CFG builder when processing ForStmts. This fixes an assertion failure	2010-09-15 07:01:20 +00:00
new.cpp	The second check point in the old test case was invalid.	2010-04-21 02:22:25 +00:00
nil-receiver-undefined-larger-than-voidptr-ret.m	Refactor the AnalysisConsumer to analyze functions after the whole	2010-04-30 04:14:20 +00:00
no-exit-cfg.c	…
no-outofbounds.c	Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals.	2010-07-04 00:00:41 +00:00
null-deref-ps-region.c	…
null-deref-ps.c	Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call.	2010-09-09 22:51:55 +00:00
outofbound.c	- Allow making ElementRegions with complex offsets (expressions or symbols) for the purpose of bounds-checking.	2010-08-16 01:15:17 +00:00
override-werror.c	Improve diagnostics when we fail to convert from a source type to a	2010-04-09 00:35:39 +00:00
plist-output-alternate.m	Use FindReportInEquivalenceClass to identify all the nodes used for the trimmed graph (in BugReporter). This fixes a problem where a leak that happened to occur on both an exit() path and a non-exit() path was getting reported with the exit() path (which users don't care about).	2010-09-09 19:05:34 +00:00
plist-output.m	Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().	2010-09-09 07:13:00 +00:00
pr4209.m	Improve diagnostics on incomplete implementation	2010-03-27 19:02:17 +00:00
pr_2542_rdar_6793404.m	…
pr_4164.c	…
ptr-arith.c	Pointers casted as integers still count as locations to SimpleSValuator, so don't crash if we do a funny thing like ((int)ptr)&1. Fixes PR7527.	2010-06-30 01:35:20 +00:00
rdar-6442306-1.m	Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals.	2010-07-04 00:00:41 +00:00
rdar-6540084.m	…
rdar-6541136-region.c	Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis	2010-08-24 21:09:07 +00:00
rdar-6541136.c	Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis	2010-08-24 21:09:07 +00:00
rdar-6562655.m	…
rdar-6582778-basic-store.c	…
rdar-6600344-nil-receiver-undefined-struct-ret.m	…
rdar-7168531.m	A bug I've introduced in STDIN handling surfaced a few broken tests, fix them.	2010-06-25 12:48:07 +00:00
refcnt_naming.m	…
reference.cpp	Assignments to reference variables shouldn't kill the variable.	2010-06-04 01:14:56 +00:00
region-1.m	…
retain-release-basic-store.m	…
retain-release-gc-only.m	…
retain-release-region-store.m	Fix idempotent operations false positive caused by ivars not being invalidated in function	2010-08-02 21:59:12 +00:00
retain-release.m	Correctly handle 'Class<...>' when examining Cocoa conventions in the static analyzer. Fixes a crash reported in <rdar://problem/8272168>. Patch by Henry Mason!	2010-08-05 00:19:24 +00:00
security-syntax-checks-no-emit.c	…
security-syntax-checks.m	…
sizeofpointer.c	…
stack-addr-ps.c	Tweak stack address checker to report multiple cases where globals may reference stack memory.	2010-06-17 04:21:37 +00:00
stack-addr-ps.cpp	Teach SemaChecking::CheckReturnStackAddr about ImplicitCastExprs that convert values to an lvalue. This allows us to warn (again) about returning references to stack variables. (fixes PR 7812).	2010-08-04 20:01:07 +00:00
stackaddrleak.c	Tweak stack address checker to report multiple cases where globals may reference stack memory.	2010-06-17 04:21:37 +00:00
stream.c	Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) and simplify surrounding checking logic.	2010-09-07 20:45:26 +00:00
string.c	Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes:	2010-08-16 07:51:42 +00:00
undef-buffers.c	Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my	2010-06-01 03:01:33 +00:00
uninit-msg-expr.m	Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call.	2010-09-09 22:51:55 +00:00
uninit-ps-rdar6145427.m	Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call.	2010-09-09 22:51:55 +00:00
uninit-vals-ps-region.m	Removed IdempotentOperationChecker from default analysis and returned back to a flag (-analyzer-check-idempotent-operations)	2010-08-06 22:23:07 +00:00
uninit-vals-ps.c	Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call.	2010-09-09 22:51:55 +00:00
uninit-vals.c	make clang print types as "const int *" instead of "int const*",	2010-09-05 00:04:01 +00:00
uninit-vals.m	…
unions-region.m	…
unix-fns.c	Add static analyzer check for calls to 'pthread_once()' where the control-flow has	2010-04-08 19:53:31 +00:00
unreachable-code-path.c	Fixed logic error in UnreachableCodeChecker's marking algorithm that would sometimes allow for multiple sequential statements to be flagged.	2010-08-05 17:53:44 +00:00
unused-ivars.m	…