llvm-svn: 70416

- Add an (optional) short description for BugReports for clients that want
  to distinguish between long and short descriptions for bugs
- Make the bug report for VLA less obscene for Plist diagnostics by using
  the short description

llvm-svn: 70415

and found in super class triggers a diagnostics.

llvm-svn: 70414

type and argument types are missing, and let return type deduction
happen before we give errors for returning from a noreturn block.
Radar 6441502

llvm-svn: 70413

llvm-svn: 70412

llvm-svn: 70411

llvm-svn: 70410

llvm-svn: 70409

llvm-svn: 70408

referenced in a category implementation meta-data
(Next objc 32bit abi).

llvm-svn: 70407

llvm-svn: 70406

print sext, zext, and trunc, instead of signextend, zeroextend,
and truncate, respectively, for consistency with the main IR.

llvm-svn: 70405

llvm-svn: 70404

llvm-svn: 70403

(those diffs are just code moving) and move the logic for "return of owned
object" leak reporting to EvalReturnStmt.

llvm-svn: 70399

compiler.
 - Code generation options may still affect the language...

llvm-svn: 70393

llvm-svn: 70392

llvm-svn: 70391

class.  This isn't perfect, but it's a big improvement over not having 
any location information.

llvm-svn: 70390

llvm-svn: 70389

method currently being analyzed.

llvm-svn: 70388

llvm-svn: 70387

llvm-svn: 70386

llvm-svn: 70385

llvm-svn: 70384

llvm-svn: 70383

reasoning about OSCompareAndSwap32Barrier/OSCompareAndSwap64Barrier. Essentially
the address of reference to a region (pointer-to-pointer) can be casted to
(int32_t*), and we need to handle the logic to convert the involved locations
back and forth from nonloc::LocAsInteger, nonloc::ConcreteInt, to Loc and
loc::ConcreteInt respectively. This adds some potentially suspect logic to
BasicStoreManager that allows the analyzer to reason about abuses of the C type
system. This should probably be refined, be ported over to RegionStoreManager,
and extended with "path-sensitive type checking" to flag bugs in clearly
incoherent code.

llvm-svn: 70382

name of the tracked function.

llvm-svn: 70381

llvm-svn: 70380

llvm-svn: 70379

spillPhysRegAroundRegDefsUses() may have invalidated iterators stored in fixed_ IntervalPtrs. Reset them.

llvm-svn: 70378

llvm-svn: 70375

llvm-svn: 70374

llvm-svn: 70373

llvm-svn: 70372

1. In a struct field redefinition, don't mark the struct erroneous.  The
   field is erroneous, but the struct is otherwise well formed.
2. Don't emit diagnostics about functions that are known to be broken already.

Either fix is sufficient to silence the second diagnostic in the example,
but the combination is better :)

llvm-svn: 70371

llvm-svn: 70369

This enables one specific class of non-literal format warnings.

llvm-svn: 70368

llvm-svn: 70367

llvm-svn: 70366