bcm5719-llvm - Project Ortega BCM5719 LLVM

	Commit message (Collapse)	Author	Age	Files	Lines
*	[analyzer] Rename ConditionTruthVal::isTrue to isConstrainedTrue.	Jordan Rose	2012-11-01	1	-4/+7
\| \| \| \| \| \| \| \|	(and the same for isFalse) No functionality change. llvm-svn: 167186
*	[analyzer] Fix a bug in SimpleStreamChecker - return after sink.	Anna Zaks	2012-10-31	1	-1/+3
\| \| \| \| \| \|	Thanks Ted. llvm-svn: 167176
*	[analyzer] SimpleStreamChecker - remove evalAssume and other refinements	Anna Zaks	2012-10-31	1	-56/+30
\| \| \| \|	llvm-svn: 167099
*	[analyzer]SimpleStreamChecker: add a TODO for better leak report.	Anna Zaks	2012-10-30	1	-0/+2
\| \| \| \|	llvm-svn: 167001
*	[analyzer] Fix a bug in REGISTER_MAP_WITH_PROGRAMSTATE	Anna Zaks	2012-10-30	1	-7/+5
\| \| \| \| \| \| \| \| \| \| \|	The ImmutableMap should not be the key into the GDM map as there could be several entries with the same map type. Thanks, Jordan. This complicates the usage of the macro a bit. When we want to retrieve the whole map, we need to use another name. Currently, I set it to be Name ## Ty as in "type of the map we are storing in the ProgramState". llvm-svn: 167000
*	[analyzer] Rename REGISTER_MAP_WITH_GDM ->REGISTER_MAP_WITH_PROGRAMSTATE	Anna Zaks	2012-10-30	1	-2/+2
\| \| \| \|	llvm-svn: 166999
*	[analyzer] Add SimpleStreamChecker.	Anna Zaks	2012-10-29	1	-0/+229
	This is an example checker for catching fopen fclose API misuses. llvm-svn: 166976