llvm-svn: 126522

Intoduce '-analyzer-checker-help' flag which outputs a list of all available static analyzer checkers.

This is pretty basic for now, eventually checkers should be grouped according to package, hidden checkers should be indicated etc.

llvm-svn: 126454

[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore.

llvm-svn: 126440

For example, if 'core.experimental.UnreachableCode' is hidden, it should not be enabled with 'core.experimental'.
Note that this requires llvm commit r126436.

llvm-svn: 126439

llvm-svn: 126438

llvm-svn: 126371

If the state is new, make sure an ExplodedNode is associated with it.

llvm-svn: 126370

llvm-svn: 126369

Fix tiny error in CFG construction for BinaryConditionalOperators, making sure the branch always has two successors.  Also teach Environment::getSVal() about OpaqueValueExprs.

This fixes a crash reported in PR9287, and also fixes a false positive involving the value of such ternary
expressions not properly getting propagated.

llvm-svn: 126362

llvm-svn: 126352

llvm-svn: 126351

llvm-svn: 126350

llvm-svn: 126333

-Introduce EndOfFunctionNodeBuilder::withCheckerTag to allow it be "specialized" with a
 checker tag and not require the checkers to pass a tag.
-For EndOfFunctionNodeBuilder::generateNode, reverse the order of tag/P parameters since
 there are actual calls that assume the second parameter is ExplodedNode.

llvm-svn: 126332

llvm-svn: 126331

llvm-svn: 126326

llvm-svn: 126325

llvm-svn: 126324

llvm-svn: 126308

	NSAutoreleasePoolChecker
	ObjCAtSyncChecker

llvm-svn: 126307

llvm-svn: 126306

Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and into its own analysis file.

llvm-svn: 126289

llvm-svn: 126288

	CastToStructChecker
	FixedAddressChecker
	MacOSXAPIChecker
	PointerArithChecker
	PointerSubChecker
	PthreadLockChecker
	UnixAPIChecker

llvm-svn: 126284

	NilArgChecker
	CFNumberCreateChecker
	ClassReleaseChecker

llvm-svn: 126275

It would run PostObjCMessage checkers even for PreObjCMessage checking.

llvm-svn: 126274

-In general, don't have the BugReporter deleting BugTypes, BugTypes will eventually become owned by checkers
 and outlive the BugReporter. In the meantime, there will be some leaks since some checkers assume that
 the BugTypes they create will be destroyed by the BugReporter.
-Have BugReporter::EmitBasicReport create BugTypes that are reused if the same name & category strings
 are passed to EmitBasicReport. These BugTypes are owned and destroyed by the BugReporter.
 This allows bugs reported through EmitBasicReport to be coalesced.
-Remove the llvm::FoldingSet<BugReportEquivClass> from BugType and move it into the BugReporter.
 For uniquing BugReportEquivClass also use the BugType* so that we can iterate over all of them using only one set.

llvm-svn: 126272

-Migrate ObjCSelfInitChecker to CheckerV2. In the process remove the 'preCallSelfFlags' field
 from the checker class and use GRState for storing that info.
-Get ExprEngine to start delegating checker running to CheckerManager.

llvm-svn: 126229

llvm-svn: 126188

llvm-svn: 126187

llvm-svn: 126093

CMake complained about this while generating VS project files but was
okay with it while generating makefiles on Linux.

llvm-svn: 126090

The syntax is (add_dependencies target-name depend-target1 ...).

llvm-svn: 126049

llvm-svn: 126025

llvm-svn: 126020

llvm-svn: 126013

This yields a minor memory reduction (for larger functions) on Sqlite at the cost of slightly
higher memory usage on some functions because of the increased size of GRState (which can be optimized).

I expect the real memory savings from this enhancement will come when we aggressively
canabilize more of the ExplodedGraph.

llvm-svn: 126012

llvm-svn: 126007

llvm-svn: 125963

llvm-svn: 125783