bcm5719-llvm - Project Ortega BCM5719 LLVM

	Commit message (Collapse)	Author	Age	Files	Lines
*	Switch RegionStore over to using <BaseRegion+raw offset> to store	Ted Kremenek	2010-01-11	1	-15/+13
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	value bindings. Along with a small change to OSAtomicChecker, this resolves <rdar://problem/7527292> and resolves some long-standing issues with how values can be bound to the same physical address by not have the same "key". This change is only a beginning; logically RegionStore needs to better handle loads from addresses where the stored value is larger/smaller/different type than the loaded value. We handle these cases in an approximate fashion now (via CastRetrievedVal and help in SimpleSValuator), but it could be made much smarter. llvm-svn: 93137
*	Teach OSAtomicChecker that a FunctionDecl's name isn't always a simple ↵	Ted Kremenek	2009-12-16	1	-3/+7
\| \| \| \| \| \|	IdentifierInfo*. llvm-svn: 91511
*	Fix null dereference in OSAtomicChecker and special case SymbolicRegions. ↵	Ted Kremenek	2009-12-09	1	-4/+13
\| \| \| \| \| \|	We still aren't handling them correctly; I've added to failing test cases to test/Analysis/NSString-failed-cases.m that should pass and then be merged in to test/Analysis/NSString.m. llvm-svn: 90993
*	Refactor OSAtomic evaluation logic into OSAtomicChecker.	Zhongxing Xu	2009-12-09	1	-0/+187
	llvm-svn: 90968