Mangler: Strengthen invariants, MangleContext::mangleName should only be called on var or function decls.

llvm-svn: 89554

Mangler: Inline a bunch of functions into their sole caller, not that I don't love typing for typings sake, but...

llvm-svn: 89553

llvm-svn: 89552

llvm-svn: 89551

llvm-svn: 89550

llvm-svn: 89549

instead of requiring clients to make a raw_svector_ostream, which is just an
implementation detail.

llvm-svn: 89548

llvm-svn: 89547

llvm-svn: 89546

llvm-svn: 89545

into pretty much everything about overload resolution in order to wean
BuildDeclarationNameExpr off LookupResult::getAsSingleDecl().  Replace  
UnresolvedFunctionNameExpr with UnresolvedLookupExpr, which generalizes the
idea of a non-member lookup that we haven't totally resolved yet, whether by
overloading, argument-dependent lookup, or (eventually) the presence of   
a function template in the lookup results.  

Incidentally fixes a problem with argument-dependent lookup where we were 
still performing ADL even when the lookup results contained something from
a block scope.  

Incidentally improves a diagnostic when using an ObjC ivar from a class method.
This just fell out from rewriting BuildDeclarationNameExpr's interaction with
lookup, and I'm too apathetic to break it out.

The only remaining uses of OverloadedFunctionDecl that I know of are in
TemplateName and MemberExpr.

llvm-svn: 89544

The following attributes are currently supported in C++0x attribute
lists (and in GNU ones as well):
 - align() - semantics believed to be conformant to n3000, except for
   redeclarations and what entities it may apply to
 - final - semantics believed to be conformant to CWG issue 817's proposed
   wording, except for redeclarations
 - noreturn - semantics believed to be conformant to n3000, except for
   redeclarations
 - carries_dependency - currently ignored (this is an optimization hint)

llvm-svn: 89543

for -output-pch=.

llvm-svn: 89534

"typename" parameter to distinguish between non-type and type template
parameters. Fixes the actual bug in PR5559.

llvm-svn: 89532

Restructure DereferenceChecker slightly to handle caching out when we would report a null dereference more than once.

llvm-svn: 89526

Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker also handled undefined receivers in message expressions.

llvm-svn: 89524

llvm-svn: 89520

More checker refactoring.  Passing undefined values in a message expression is now handled by UndefinedArgChecker.

llvm-svn: 89519

llvm-svn: 89517

llvm-svn: 89513

definition of a member template (or a member thereof). Fixes PR5566.

llvm-svn: 89512

llvm-svn: 89508

Switch CompilerInvocation::CreateFromArgs to take const char** arguments until Driver itself switches to StringRef.

llvm-svn: 89503

llvm-svn: 89502

llvm-svn: 89498

llvm-svn: 89497

name 'T' is looked up in the expression

  t.~T()

Previously, we weren't looking into the type of "t", and therefore
would fail when T actually referred to an injected-class-name. Fixes
PR5530.

llvm-svn: 89493

b->foo), don't look through pointers unless we have an -> operator.

llvm-svn: 89480

than tweaking existing ASTs, since we were (*gasp*) stomping on ASTs
within templates. I'm glad we found this little stick of TNT early...

llvm-svn: 89475

llvm-svn: 89467

llvm-svn: 89464

UINT<n>_C(v) macros. 

llvm-svn: 89461

and UINT<n>_MAX defintions.

llvm-svn: 89460

uint<n>_t definitions.

llvm-svn: 89459

llvm-svn: 89457

llvm-svn: 89453

llvm-svn: 89450

Add simple static analyzer checker to check for sending 'release', 'retain', etc. directly to a class.  Fixes <rdar://problem/7252064>.

llvm-svn: 89449

Unused ivar checker: ivars referenced by lexically nested functions should not be flagged as unused.  Fixes <rdar://problem/7254495>.

llvm-svn: 89448

llvm-svn: 89446