5 Commits

Author	SHA1	Message	Date
Tom Care	9a68bccd0c	Add missing null checks in PseudoConstantAnalysis ... llvm-svn: 112100	2010-08-25 22:46:03 +00:00
Tom Care	82b2a1dada	Improved the handling of blocks and block variables in PseudoConstantAnalysis ... - Removed the assumption that __block vars are all non-constant - Simplified some repetitive code in RunAnalysis - Added block walking support - Code/comments cleanup - Separated out test for block pseudoconstants llvm-svn: 112098	2010-08-25 22:37:26 +00:00
John McCall	e302792b61	GCC didn't care for my attempt at API compatibility, so brute-force everything ... to the new constants. llvm-svn: 112047	2010-08-25 11:45:40 +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
Tom Care	e332c3b762	Several small changes to PseudoConstantAnalysis and the way IdempotentOperationChecker uses it. ... - Psuedo -> Pseudo (doh...) - C++ reference support - Added pseudoconstant test case for __block vars - Separated out static local checking from pseudoconstant analysis and generalized to non-local checking - Added missing test cases for storage false positives llvm-svn: 111832	2010-08-23 19:51:57 +00:00