enclosing statement when jumping to a subexpression.

llvm-svn: 68244

 - PR3922

 - I have a clean solution for this in flight, but it may take a while
   to come to fruition so we'll take a quick fix for now.

llvm-svn: 68241

clang option code that is and two bug fixes.

llvm-svn: 68240

runtime on 64-bit architectures.
Patch by David Chisnall

llvm-svn: 68238

llvm-svn: 68236

class.

llvm-svn: 68234

 - Patch by Ed Schouten!

llvm-svn: 68233

llvm-svn: 68232

Clang's test suite.

llvm-svn: 68230

- When processing BlockEdges with terminators, using the condition as the
  control-flow point for terminators that are expressions (e.g., '&&', '?')
- When processing events, allow intra-compound statement "jumping"

llvm-svn: 68228

clang option code that is.

llvm-svn: 68221

start of the function/method.

llvm-svn: 68217

intra-compound statement jumps unless they are between terminators (i.e.,
branches).

llvm-svn: 68216

#ifdef'd out the 5 conversion routines that we don't currently need.

Still need a bit more work in GetAddrOfConstantCFString(). Added a FIXME to indicate this.

Expect to remove the FIXME today...

llvm-svn: 68208

heuristics to determine when it's useful to desugar a type for display
to the user. Introduce two C++-specific heuristics:

  - For a qualified type (like "foo::bar"), only produce a new
    desugred type if desugaring the qualified type ("bar", in this
    case) produces something interesting. For example, if "foo::bar"
    refers to a class named "bar", don't desugar. However, if
    "foo::bar" refers to a typedef of something else, desugar to that
    something else. This gives some useful desugaring such as
    "foo::bar (aka 'int')".
  - Don't desugar class template specialization types like
    "basic_string<char>" down to their underlying "class
    basic_string<char, char_traits<char>, allocator<char>>, etc.";
    it's better just to leave such types alone. 

Update diagnostics.html with some discussion and examples of type
preservation in C++, showing qualified names and class template
specialization types.

llvm-svn: 68207

Patch by Jean-Daniel Dupas. Thanks!

llvm-svn: 68203

llvm-svn: 68198

 - Small structures are returned in a register if: 
    1. They fit nicely in a  register.
    2. All fields fit nicely in a register.
   (more or less)

 - We now pass the first 5000 ABITests if unions are disabled.

 - <rdar://problem/6497882> [irgen] x86-32 ABI compatibility with
   small structs

llvm-svn: 68197

element structures", which have different ABI rules.
 - Current return-arguments-32 status is: 1 out of 1000 failures (-7)

 - Also, vectors inside "single element structs" require special
   handling.

llvm-svn: 68196

should only be an error if that value is consumed. This fix was largely
accomplished by moving 'isConsumedExpr' back to ParentMap.

llvm-svn: 68195

types.  It is no longer needed now that the code generator 
re-lays-out interfaces if they are defines after being laid out
from a forward decl.

llvm-svn: 68194

  instead of a FullSourceLoc. This resulted in a bunch of small edits in various
  clients.
- Updated BugReporter to include an alternate PathDiagnostic generation
  algorithm for PathDiagnosticClients desiring more control-flow pieces.

llvm-svn: 68193

 - Current return-arguments-32 status is: 8 out of 1000 failures (-7)

llvm-svn: 68192

 - <rdar://problem/6732143> Crash when generating @synchronize for
   zero-cost exception

 - Thanks to Anders for helping track down the problem.

llvm-svn: 68186

distinguish between the true and false branches for path-sensitive analyses.

llvm-svn: 68185

 -  c.f. r68164

llvm-svn: 68184

case.

llvm-svn: 68182

llvm-svn: 68181

types get completed when their definition is seen if previously laid out by
the code generator.

llvm-svn: 68177

llvm-svn: 68176

llvm-svn: 68174

llvm-svn: 68171

llvm-svn: 68170

rdar://6740292

llvm-svn: 68169

Fix a bug (that I thought I had fixed already) where mangling a prefix could get us into an infinite loop

llvm-svn: 68168

specifiers that terminate in a simple-template-id, e.g.,

  typename MetaFun::template apply<T1, T2>

Also, implement template instantiation for dependent
nested-name-specifiers that involve unresolved identifiers, e.g.,

  typename T::type::type

llvm-svn: 68166

llvm-svn: 68165

llvm-svn: 68162

 - Notably, set section on cfstring literal string data (for now, this
   is done everywhere because it matches what we were already doing
   for the CFString data itself)

 - <rdar://problem/6599098> [irgen] linker requires objc string data
   to go into cstring

llvm-svn: 68160

llvm-svn: 68157