llvm-svn: 126306

Teach CFGBuilder about null pointer constants in conditionals, and how they can be used to prune branches.  Fixes false null pointer dereference warning in PR 8183.

llvm-svn: 126305

llvm-svn: 126303

llvm-svn: 126300

llvm-svn: 126299

llvm-svn: 126292

Enhance Sema::DiagRuntimeBehavior() to delay some diagnostics to see if the related code is reachable.  This suppresses some
diagnostics that occur in unreachable code (e.g., -Warray-bound).

We only pay the cost of doing the reachability analysis when we issue one of these diagnostics.

llvm-svn: 126290

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

llvm-svn: 126289

llvm-svn: 126288

Issue AnalysisBasedWarnings as part of calling Sema::PopBlockOrFunctionScope().  No real functionality change.

llvm-svn: 126287

Update Sema::DiagRuntimeBehavior() to take an optional Stmt* to indicate the code the diagnostic is associated with.

This Stmt* is unused, but we will use it shortly for pruning diagnostics associated
with unreachable code.

llvm-svn: 126286

Change -Warray-bounds logic to use DiagRuntimeBehavior in preparation for using basic dataflow to suppress warnings on unreachable array bounds checks.

llvm-svn: 126285

	CastToStructChecker
	FixedAddressChecker
	MacOSXAPIChecker
	PointerArithChecker
	PointerSubChecker
	PthreadLockChecker
	UnixAPIChecker

llvm-svn: 126284

exist. Cheat and do this by adding some wrappers around the PresumedLoc
machinery that directly return the line and column number.

llvm-svn: 126281

Fix PR9276: We were missing the checks for auto deducing to different types in the same declaration group in the template instantiation case.

llvm-svn: 126279

	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

errornously defined inside an objc class. 
// rdar://7029784

llvm-svn: 126269

mostly just shuffles various possibilities for recovery into a more
straightforward order, but also unifies a couple of diagnostics.

llvm-svn: 126266

FunctionProtoTypeLoc with NULL function parameter types, which can
occur in invalid code. Fixes PR9247 / <rdar://problem/9037911>.

llvm-svn: 126262

specifier in legacy code. Patch is reviewed offline by Doug.
// rdar://9036633.

llvm-svn: 126261

invocation function into the debug info.  Rather than faking up a class,
which is tricky because of the custom layout we do, we just emit a struct
directly from the layout information we've already got.

Also, don't emit an unnecessarily parameter alloca for this "variable".

llvm-svn: 126255

the stack.

llvm-svn: 126254

block and, eventually, C++ lambda) contexts.

llvm-svn: 126252

llvm-svn: 126246

Patch by Csaba Raduly!

llvm-svn: 126245

  enum X : long { Value = 0x100000000 };

when in Microsoft-extension mode (-fms-extensions). This (now C++0x)
feature has been supported since Microsoft Visual Studio .NET 2003.

llvm-svn: 126243

llvm-svn: 126240

llvm-svn: 126232

array from a constant array compound literal. Fixes PR9261.

llvm-svn: 126230

-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

use -nostdinc++ and -cxx-isystem.

llvm-svn: 126223

llvm-svn: 126221

llvm-svn: 126220

emitting the collection expression.  Fixes some really, really broken
code.

llvm-svn: 126193

llvm-svn: 126189

llvm-svn: 126188

llvm-svn: 126187

mingw-w64's i128 tweak should be done with x86_64-mingw32.

llvm-svn: 126186