bcm5719-llvm - Project Ortega BCM5719 LLVM

	Commit message (Expand)	Author	Age	Files	Lines
*	Add a new symbol type, SymbolExtent, to represent the extents of memory regio...	Jordy Rose	2010-07-04	1	-0/+22
*	Pointers casted as integers still count as locations to SimpleSValuator, so d...	Jordy Rose	2010-06-30	1	-1/+6
*	Pointer comparisons (and pointer-pointer subtraction). Basically filling in S...	Jordy Rose	2010-06-28	1	-54/+305
*	When folding additive operations, convert the values to the same type. When a...	Jordy Rose	2010-06-21	1	-6/+13
*	Add braces to avoid an ambiguous else, fixing a GCC warning.	Benjamin Kramer	2010-06-20	1	-3/+3
*	Adds analyzer support for idempotent and tautological binary operations such ...	Jordy Rose	2010-06-20	1	-9/+108
*	Fold additive constants, and support comparsions of the form $sym+const1 <> c...	Jordy Rose	2010-06-18	1	-50/+75
*	Static analyzer: Don't crash when casting a symbolic region address to a floa...	Ted Kremenek	2010-04-16	1	-8/+14
*	Remove unused parameter.	Zhongxing Xu	2010-02-05	1	-1/+1
*	Split libAnalysis into two libraries: libAnalysis and libChecker.	Ted Kremenek	2010-01-25	1	-0/+428