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

llvm-svn: 124505

llvm-svn: 124503

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

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

catch:

  lock_guard(my_mutex);

declares a variable instead of creating a temporary.

llvm-svn: 124398

llvm-svn: 124394

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

llvm-svn: 124386

llvm-svn: 124383

TargetInfo::CreateTargetInfo() mangles the target options in a way
that is not idempotent. Fixes <rdar://problem/8807535>.

llvm-svn: 124382

llvm-svn: 124376

TextDiagnosticPrinter.cpp: Show diagnostics as far as possible even with invalid PresomedLoc, instead of just silencing it.

FileManager.cpp: Allow virtual files in nonexistent directories.
FileManager.cpp: Close FileDescriptor for virtual files that correspond to actual files.
FileManager.cpp: Enable virtual files to be created even for files that were flagged as NON_EXISTENT_FILE, e.g. by a prior (unsuccessful) addFile().

ASTReader.cpp: Read a PCH even if the original source files cannot be found.

Add a test for reading a PCH of a file that has been removed and diagnostics referencing that file.

llvm-svn: 124374

deallocation function has a two-argument form.  Store the result of this
check in new[] and delete[] nodes.

Fixes rdar://problem/8913519

llvm-svn: 124373

llvm-svn: 124364

llvm-svn: 124363

llvm-svn: 124360

Tweak -Wuninitialized fixit for '_Bool' types to be initialized to 0, and C++ 'bool' types to false.

llvm-svn: 124356

llvm-svn: 124352

My thanks to chapuni for his help in investigating this.

llvm-svn: 124351

llvm-svn: 124349

blocks that reference captured variables.

llvm-svn: 124348

llvm-svn: 124347

argument but doesn't (because previous template parameters had default
arguments), clear out all of the default arguments so that we maintain
the invariant that a template parameter has a default argument only if
subsequence template parameters also have default arguments.
Fixes a crash-on-invalid <rdar://problem/8913649>.

llvm-svn: 124345

diagnostic about ref-qualifiers where they do not belong.

llvm-svn: 124344