bcm5719-llvm - Project Ortega BCM5719 LLVM

	Commit message (Collapse)	Author	Age	Files	Lines
*	Make a major restructuring of the clang tree: introduce a top-level	Chris Lattner	2008-03-15	1	-796/+0
\| \| \| \| \| \| \| \| \| \|	lib dir and move all the libraries into it. This follows the main llvm tree, and allows the libraries to be built in parallel. The top level now enforces that all the libs are built before Driver, but we don't care what order the libs are built in. This speeds up parallel builds, particularly incremental ones. llvm-svn: 48402
*	Path-sensitive analyses no longer take a FunctionDecl, but any Decl representing	Ted Kremenek	2008-03-14	1	-2/+2
\| \| \| \| \| \| \| \| \|	a block of "code". Patched various ASTConsumers (such as ASTDumper) to have more support for processing ObjCMethodDecl. CFGVisitor now builds CFGs for ObjCMethodDecls. llvm-svn: 48363
*	Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be ↵	Ted Kremenek	2008-03-12	1	-3/+3
\| \| \| \| \| \| \| \| \|	created for any expression, not just CallExprs. Added experimental support for conjuring symbols during assingments where the RHS is "unknown". This allows more value tracking for path-sensitivity. Fixed bug in "assumption" logic when processing symbolic constraints; we would improperly mark constraints we didn't support as infeasible. llvm-svn: 48306
*	Added generation of symbolic values for the return values of functions that have	Ted Kremenek	2008-03-12	1	-12/+26
\| \| \| \| \| \|	no summaries (useful for false-path pruning). llvm-svn: 48301
*	Prototype (pre-alpha) implementation of CFRef checker.	Ted Kremenek	2008-03-12	1	-40/+323
\| \| \| \|	llvm-svn: 48272
*	Added pretty-printing support for checker-specific state for the CFRefCount ↵	Ted Kremenek	2008-03-11	1	-1/+66
\| \| \| \| \| \|	checker. llvm-svn: 48242
*	Added bookkeeping of error nodes.	Ted Kremenek	2008-03-11	1	-10/+34
\| \| \| \|	llvm-svn: 48234
*	Added main logic for typestate tracking for the CFRetain checker.	Ted Kremenek	2008-03-11	1	-11/+117
\| \| \| \|	llvm-svn: 48231
*	Added main skeleton for CFRetain transfer function logic.	Ted Kremenek	2008-03-11	1	-20/+259
\| \| \| \|	llvm-svn: 48214
*	Renamed ValueManager to BasicValueFactory.	Ted Kremenek	2008-03-07	1	-1/+1
\| \| \| \|	llvm-svn: 48025
*	fix typos	Gabor Greif	2008-03-06	1	-1/+1
\| \| \| \|	llvm-svn: 47995
*	Added boilerplate to execute the CF reference count checker (which isn't yet ↵	Ted Kremenek	2008-03-06	1	-0/+65
	implemented). llvm-svn: 47982