Ted Kremenek 244e1d7d0f Remove ProgramState::getSymVal(). It was being misused by Checkers, ... 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		2012-09-07 22:31:01 +00:00
..
clang	Remove ProgramState::getSymVal(). It was being misused by Checkers,	2012-09-07 22:31:01 +00:00
clang-c	Revert r163099 per chandlerc's request.	2012-09-04 17:33:09 +00:00
CMakeLists.txt	…
Makefile	Makefile: Switch Clang Makefiles to always include the top-level Clang Makefile.	2010-06-08 20:34:18 +00:00