llvm-project

Commit Graph

Author	SHA1	Message	Date
Ted Kremenek	722398f1d4	Fix analyzer tests. llvm-svn: 162588	2012-08-24 20:39:55 +00:00
Ted Kremenek	b9ff6b2302	Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. llvm-svn: 148533	2012-01-20 06:00:17 +00:00
Ted Kremenek	8f89f7c893	Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn't know how to handle a specific Expr type. llvm-svn: 128761	2011-04-02 02:56:23 +00:00
Ted Kremenek	a4a57c10da	Re-enable the IdempotentOperations checker for --analyze, and put it and the DeadStores checker into the "deadcode" group. llvm-svn: 127531	2011-03-12 06:14:28 +00:00
Argyrios Kyrtzidis	9eb02dfa89	[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. llvm-svn: 126676	2011-02-28 19:49:42 +00:00
Argyrios Kyrtzidis	b2400924d9	[analyzer] Use the new registration mechanism on the IdempotentOperationChecker. llvm-svn: 125611	2011-02-15 22:55:14 +00:00
Tom Care	a460311710	Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis - Added wasReferenced function to PseudoConstantAnalysis to determine if a variable was ever referenced in a function (outside of a self-assignment) - BlockDeclRefExpr referenced variables are now explicitly added to the non-constant list - Remove unnecessary ignore of implicit casts - Generalized parameter self-assign detection to detect deliberate self-assigns of variables to avoid unused variable warnings - Updated test cases with deliberate self-assignments - Fixed bug with C++ references and pseudoconstants - Added test case for C++ references and pseudoconstants llvm-svn: 111965	2010-08-24 21:09:07 +00:00

7 Commits