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

on by default).

llvm-svn: 70365

llvm-svn: 70364

the extra argument warnings, and -Wformat -Wno-format-extra-args
turns on -Wformat but not the extra-args warnings.

llvm-svn: 70363

1. All all variants of -Wformat*, make them imply -Wformat.  GCC warns 
   if you use -Wformatfoo without -Wformat.  We just make one imply the 
   other.
2. Make -Wformat-nonliteral default to off, like gcc.  It is an incredible
   nuisance.
3. Accept but currently ignore -Wformat-extra-args.

llvm-svn: 70362

llvm-svn: 70361

anything larger than 64-bits, avoiding a crash.  This should
really be fixed to use APInts, though type legalization happens
to help us out and we get good code on the attached testcase at
least.

This fixes rdar://6836460

llvm-svn: 70360

llvm-svn: 70359

llvm-svn: 70358