llvm-svn: 80847

must be defined. Fixed pr4853.

llvm-svn: 80846

  x->Base::f

We no longer try to "enter" the context of the type that "x" points
to. Instead, we drag that object type through the parser and pass it
into the Sema routines that need to know how to perform lookup within
member access expressions.

We now implement most of the crazy name lookup rules in C++
[basic.lookup.classref] for non-templated code, including performing
lookup both in the context of the type referred to by the member
access and in the scope of the member access itself and then detecting
ambiguities when the two lookups collide (p1 and p4; p3 and p7 are
still TODO). This change also corrects our handling of name lookup
within template arguments of template-ids inside the
nested-name-specifier (p6; we used to look into the scope of the
object expression for them) and fixes PR4703.

I have disabled some tests that involve member access expressions
where the object expression has dependent type, because we don't yet
have the ability to describe dependent nested-name-specifiers starting
with an identifier.

llvm-svn: 80843

Fix an assertion when initializing a union using a member initializer. (We weren't casting from the union type to the initializer type correctly).

llvm-svn: 80837

whether the current context is dependent.

Thanks to Anders for pointing this out.

llvm-svn: 80828

Fix a codegen crash when a class template has a constructor that does member initialization of an anonymous union.

llvm-svn: 80826

llvm-svn: 80808

in constructors's initializer list. pr4854

llvm-svn: 80802

Also fix a checker context bug: the Dst set is not always empty initially. 
Because in GRExprEngine::CheckerVisit(), *CurrSet is used repeatedly. 
So we removed the Dst.empty() condition in ~CheckerContext() when deciding
whether to do autotransision.

llvm-svn: 80786

llvm-svn: 80785

simple-template-id form), check whether the scope specifier is
computable as a declaration context rather than checking whether it is
dependent, so that we properly cope with members of the current
instantiation. 

Improve testing for typename specifiers that terminate in a
simpe-template-id.

llvm-svn: 80783

Now bad callee is checked as a PreVisit to the CallExpr.

llvm-svn: 80771

in the BugReport. 

When all internal bug checking logic are moved to checkers, BuiltinBug will
not reference GRExprEngine, and FlushReports() will be not necessary, since
all bugs are emitted into the equivalent classes immediately.

For now just add a ctor with no arguments.

llvm-svn: 80770

motivated from Shark profiles that shows that 'markLive' was very
heavy when using --analyzer-store=region.  On my benchmark file, this
reduces the analysis time for --analyzer-store=region from 19.5s to
13.5s and for --analyzer-store=basic from 5.3s to 3.5s.  For the
benchmark file, this is a reduction of about 30% analysis time for
both analysis modes (a huge win).

llvm-svn: 80765

Patch by Geoff Keating!

llvm-svn: 80752

of any previous declaration in case we replace it in a class's declaration table.
Fixes bug 4858.  This sort of thing makes me reconsider putting friend declarations in
declaration lists.

llvm-svn: 80750

llvm-svn: 80748

llvm-svn: 80747

decl list, and remove some workarounds that were due to this.  Thanks to Eli for
pointing this out and providing the test case.

llvm-svn: 80745

llvm-svn: 80744

llvm-svn: 80743

objc's non-fragile ABI.

llvm-svn: 80739

llvm-svn: 80737

where we build the constructor's initializer list.

llvm-svn: 80735

llvm-svn: 80732

llvm-svn: 80723

llvm-svn: 80722

AnonUnionMember. Fixes PR4826.

llvm-svn: 80721

llvm-svn: 80720

llvm-svn: 80719

llvm-svn: 80701

Implement proper substitution for OverloadedFunctionDecls, but substituting each of the functions in the overload set

llvm-svn: 80692

Add DeclContext::Equals to compare declaration contexts based on their primary context. Use this instead of pointer comparisons

llvm-svn: 80690

llvm-svn: 80681

expressions making use of an overloaded operator. Thanks for the test
case, Anders!

llvm-svn: 80679

 - <rdar://problem/7185031> Add 'clang' option '-emit-ast'

llvm-svn: 80678

Don't assume that a base is always a RecordType, it can also be a TemplateSpecializationType. Also, make sure to get the instantiated union member.

llvm-svn: 80662

llvm-svn: 80661

llvm-svn: 80659

llvm-svn: 80657