llvm-svn: 124541

llvm-svn: 124540

Make emitting a VTT a two-step process, much like emitting a VTable. You first get the address of the VTT, and then pass it to EmitVTTDefinition.

llvm-svn: 124539

llvm-svn: 124538

Add a new function, to be used by CGRTTI, CGVTables and CGVTT (which each has their own copy of this code).

llvm-svn: 124537

llvm-svn: 124536

llvm-svn: 124529

When trying to get the most derived class, don't assume that we can ignore all casts. We can only ignore derived-to-base and no-op casts. Fixes selfhost.

llvm-svn: 124528

When calling a virtual member function on a base class and the most derived class is marked 'final', we can devirtualize the call.

llvm-svn: 124524

When doing a derived-to-base class through a virtual class, we don't have to get the vbase offset from the vtable if the derived class is marked final.

llvm-svn: 124523

indirect vf calls and addition of extra entry
at bottom of vtbls.

llvm-svn: 124507

who actually knows how it works.

llvm-svn: 124506

llvm-svn: 124505

llvm-svn: 124503

llvm-svn: 124494

Pure motion.

llvm-svn: 124484

for CodeGen's RValue type.

llvm-svn: 124483

fixing a crash which probably nobody was ever going to see.  In doing so,
fix a horrendous number of problems with the conditional-cleanups code.
Also, make conditional cleanups re-use the cleanup's activation variable,
which avoids some unfortunate repetitiveness.

llvm-svn: 124481

llvm-svn: 124477

ret duplication.

llvm-svn: 124476

llvm-svn: 124474

might be queried in places where we absolutely require a valid
location (e.g., for template instantiation). Fixes some major
brokenness in the use of __is_convertible_to.

llvm-svn: 124465

llvm-svn: 124455

non-class prvalues actually require the realization of a
temporary. For everything else, we already have an lvalue (or class
prvalue) in the subexpression.

Note: we're missing some move elision in this case. I'll tackle that next.
llvm-svn: 124453

variable declaration of a struct declared type.
// rdar://8918702

llvm-svn: 124451

access control errors into SFINAE errors, so that the trait provides
enough support to implement the C++0x std::is_convertible type trait.

To get there, the SFINAETrap now knows how to set up a SFINAE context
independent of any template instantiations or template argument
deduction steps, and (separately) can set a Sema flag to translate
access control errors into SFINAE errors. The latter can also be
useful if we decide that access control errors during template argument
deduction should cause substitution failure (rather than a hard error)
as has been proposed for C++0x.

llvm-svn: 124446

llvm-svn: 124445

llvm-svn: 124441

Document some serious badness in our evaluation of the type traits: we need to be sure we have complete types in many cases

llvm-svn: 124428

semantics after the C++0x is_convertible type trait. This
implementation is not 100% complete, because it allows access errors
to be hard errors (rather than just evaluating false).

Original patch by Steven Watanabe!

llvm-svn: 124425

llvm-svn: 124408

llvm-svn: 124405

llvm-svn: 124403

llvm-svn: 124402

catch:

  lock_guard(my_mutex);

declares a variable instead of creating a temporary.

llvm-svn: 124398

llvm-svn: 124394

llvm-svn: 124393

Wire up attributes 'ns_consumed' and 'cf_consumed' in the static analyzer's ObjC retain/release checker.

llvm-svn: 124386

llvm-svn: 124385

llvm-svn: 124383