because the result is ignored.  The particular example here is with
property l-values, but there could be all sorts of lovely casts that this
isn't safe for.  Sink the check into the one case that seems to actually
be capable of honoring this.

llvm-svn: 129397

modify the driver planning.

llvm-svn: 129396

llvm-svn: 129395

Fix another IdempotentOperationsChecker corner case when determining if an active block on the worklist
impacts the results of the check.

llvm-svn: 129394

llvm-svn: 129393

llvm-svn: 129392

ArrayBoundCheckerV2: don't arbitrarily warn about indexing before the 0-index of a symbolic region.  In many cases that isn't really the base offset.

llvm-svn: 129366

This patch adds modeling of strcmp() to the CString checker. Validates inputs are not NULL and are real C strings, then does the comparison and binds the proper return value. Unit tests included. 

llvm-svn: 129364

the initialized's protocol and yet clang warns.
objective-c issue, // rdar://9267196

llvm-svn: 129363

a crash when deserializing the AST for this:

  typedef char (&R);
    extern R &r;

llvm-svn: 129358

llvm-svn: 129349

Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '++' pointer arithmetic.

llvm-svn: 129348

RTTI is disabled. Similarly, don't suggest throw or try as code
completion results when C++ exceptions are disabled. Fixes
<rdar://problem/9193560>.

llvm-svn: 129346

weak linkage.  Also, fix a problem where global weak variables
with non-trivial initializers were getting guard variables, or at
least were checking for them and then crashing.

llvm-svn: 129342

llvm-svn: 129341

Objective-C pointer type. Fixes <rdar://problem/9142559>.

llvm-svn: 129339

llvm-svn: 129337

llvm-svn: 129336

llvm-svn: 129335

llvm-svn: 129333

for __unknown_anytype resolution to destructively modify the AST.  So that's
what it does now, which significantly simplifies some of the implementation.
Normal member calls work pretty cleanly now, and I added support for
propagating unknown-ness through &.

llvm-svn: 129331

llvm-svn: 129329

llvm-svn: 129308

llvm-svn: 129301

rewriting of blocks which have objective-c
stuff which need be rewritten as well. // rdar://9254348

llvm-svn: 129300

by Jeremy Huddleston!

llvm-svn: 129299

If there's an invoke destination, we should use invoke instead of call when calling the __cxa_bad_typeid function. Fixes PR7400.

llvm-svn: 129273

llvm-svn: 129269

llvm-svn: 129265

CodeGenFunction::EmitDynamicCast always return null or throw a bad_cast 
exception.

llvm-svn: 129264

llvm-svn: 129263

llvm-svn: 129262

llvm-svn: 129261

llvm-svn: 129260

Remove the CodeGenCXX/dyncast.cpp test; it isn't really super useful to match on huge chunks of LLVM output.

llvm-svn: 129258

represents a dynamic cast where we know that the result is always null.

For example:

struct A {
  virtual ~A();
};
struct B final : A { };
struct C { };

bool f(B* b) {
  return dynamic_cast<C*>(b);
}

llvm-svn: 129256

and move a vector-splat check to follow l-value conversion.

llvm-svn: 129254

Strip off parens and no-op casts when deciding if an expr can be devirtualized. Fixes the second half of PR9660.

llvm-svn: 129253

llvm-svn: 129252

llvm-svn: 129250