compatible with VC++ and GCC.  The codegen/mangling angle hasn't
been fully ironed out yet.  Note that we accept int128_t even in
32-bit mode, unlike gcc.

llvm-svn: 70464

llvm-svn: 70457

llvm-svn: 70452

level. This is more expressive.

llvm-svn: 70451

llvm-svn: 70443

in an @synthesize diective, as it breaks few projects.

llvm-svn: 70441

Just because a declaration has the same name as its containing class doesn't mean that it's a constructor. Fixes rdar://problem/6815988.

llvm-svn: 70436

llvm-svn: 70432

an owned object, consult its summary instead of inspecting the selector. This
picks up annotations, and is just more general.

llvm-svn: 70429

llvm-svn: 70424

It seems to effect code gen. Add a FIXME instead.

llvm-svn: 70423

llvm-svn: 70420

based on a patch from Anders Johnsen. CodeGen support is incomplete,
in that we do not properly coerce to the first field's type.

llvm-svn: 70419

llvm-svn: 70418

llvm-svn: 70417

- 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: 70409

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

llvm-svn: 70407

llvm-svn: 70406

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

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: 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: 70374

llvm-svn: 70373

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