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

rdar://problem/8893967: JM/lencod miscompile at -arch armv7 -mthumb -O3

Added ResurrectKill to remove kill flags after we decide to reused a
physical register. And (hopefully) ensure that we call it in all the
right places.

Sorry, I'm not checking in a unit test given that it's a miscompile I
can't reproduce easily with a toy example. Failures in the rewriter
depend on a series of heuristic decisions maked during one of the many
upstream phases in codegen. This case would require coercing regalloc
to generate a couple of rematerialzations in a way that causes the
scavenger to reuse the same register at just the wrong point.

The general way to test this is to implement kill flags
verification. Then we could have a simple, robust compile-only unit
test. That would be worth doing if the whole pass was not about to
disappear. At this point we focus verification work on the next
generation of regalloc.

llvm-svn: 124442

llvm-svn: 124441

Clang: separate the access-control diagnostics from other diagnostics that do not have SFINAE behavior.

llvm-svn: 124440

llvm-svn: 124432

llvm-svn: 124431

llvm-svn: 124430

Reverted previous fix to is_convertible as it caused more problems than it fixed.  But this reverted fix will only matter for non-clang compilers.  Installed __is_convertible_to for clang.

llvm-svn: 124429

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

llvm-svn: 124426

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

llvm-svn: 124408

llvm-svn: 124406

llvm-svn: 124405

llvm-svn: 124404

llvm-svn: 124403

llvm-svn: 124402

llvm-svn: 124401

to adjust the stack pointer by adding a register value in Rm to the SP.

llvm-svn: 124400

llvm-config --cflags --cxxflags --cppflags

We shouldn't impose those flags on people who use llvm-config for
building their own projects.

llvm-svn: 124399

catch:

  lock_guard(my_mutex);

declares a variable instead of creating a temporary.

llvm-svn: 124398

llvm-svn: 124397

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

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

llvm-svn: 124382

Take 2. This includes fix for dragonegg crash.

llvm-svn: 124380

Add support for specifying register name in cfi-register/offset/def
as well as register number.

llvm-svn: 124379

Create override of this method in X86/ARM/MBlaze.

llvm-svn: 124378

qualifiers on a CXType. Patch from Stefan Seefeld, test by me.

llvm-svn: 124377

llvm-svn: 124376

llvm-svn: 124375

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