bcm5719-llvm - Project Ortega BCM5719 LLVM

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Create helper method in BodyFarm for creating simple assignments.	Ted Kremenek	2012-09-21	1	-4/+12
\| \| \| \|	llvm-svn: 164400
*	Add helper method in BodyFarm to create unary dereferences.	Ted Kremenek	2012-09-21	1	-8/+11
\| \| \| \|	llvm-svn: 164399
*	Add helper method to BodyFarm for creating lvalue-to-rvalue conversions.	Ted Kremenek	2012-09-21	1	-9/+12
\| \| \| \|	llvm-svn: 164397
*	Add helper method to BodyFarm for creatinging integral casts.	Ted Kremenek	2012-09-21	1	-2/+10
\| \| \| \|	llvm-svn: 164396
*	Use helper method to create DeclRefExprs in BodyFarm, hopefully allevating	Ted Kremenek	2012-09-21	1	-20/+34
\| \| \| \| \| \|	them being correctly constructed. llvm-svn: 164392
*	Add some structuring comments. No functionality change.	Ted Kremenek	2012-09-21	1	-1/+9
\| \| \| \|	llvm-svn: 164391
*	Add faux-body support for dispatch_once().	Ted Kremenek	2012-09-21	1	-10/+110
\| \| \| \|	llvm-svn: 164348
*	Implement faux-body-synthesis of well-known functions in the static analyzer ↵	Ted Kremenek	2012-09-21	1	-0/+91
	when their implementations are unavailable. Start by simulating dispatch_sync(). This change is largely a bunch of plumbing around something very simple. We use AnalysisDeclContext to conjure up a fake function body (using the current ASTContext) when one does not exist. This is controlled under the analyzer-config option "faux-bodies", which is off by default. The plumbing in this patch is largely to pass the necessary machinery around. CallEvent needs the AnalysisDeclContextManager to get the function definition, as one may get conjured up lazily. BugReporter and PathDiagnosticLocation needed to be relaxed to handle invalid locations, as the conjured body has no real source locations. We do some primitive recovery in diagnostic generation to generate some reasonable locations (for arrows and events), but it can be improved. llvm-svn: 164339