llvm-svn: 80306

class template specializations (when possible) and look into base
classes. Thanks to Eli for the test case!

FIXME -=1.

llvm-svn: 80302

endian hosts.  Fixes PR4792

llvm-svn: 80301

of its subexpressions resulted in a "bad CFG".

llvm-svn: 80298

llvm-svn: 80294

llvm-svn: 80293

llvm-svn: 80289

llvm-svn: 80288

out for user-defined conversions instead of crashing.

llvm-svn: 80282

llvm-svn: 80279

cause any regressions.

llvm-svn: 80277

llvm-svn: 80276

llvm-svn: 80275

llvm-svn: 80274

llvm-svn: 80273

llvm-svn: 80272

llvm-svn: 80261

llvm-svn: 80260

llvm-svn: 80258

per the documentation, although I'm not completely sure.

llvm-svn: 80257

llvm-svn: 80256

llvm-svn: 80255

templates within class templates, producing a member function template
of a class template specialization. If you can parse that, I'm
sorry. Example:

  template<typename T>
  struct X {
    template<typename U> void f(T, U);
  };

When we instantiate X<int>, we now instantiate the declaration
X<int>::f, which looks like this:

  template<typename U> void X<int>::f(int, U);

The path this takes through
TemplateDeclInstantiator::VisitCXXMethodDecl is convoluted and
ugly, but I don't know how to improve it yet. I'm resting my hopes on
the multi-level substitution required to instantiate definitions of
nested templates, which may simplify this code as well.

More testing to come...

llvm-svn: 80252

Add a OverloadResolutionFlags and start converting some of the overload methods over to using it instead of bools arguments.

llvm-svn: 80248

llvm-svn: 80237

llvm-svn: 80236

llvm-svn: 80229

llvm-svn: 80228

llvm-svn: 80226

llvm-svn: 80225

When checking whether one declaration context encloses another, make sure to look at the primary contexts. Thanks to Eli for the test case

llvm-svn: 80212

llvm-svn: 80211

llvm-svn: 80209

llvm-svn: 80207

Add a BuildCXXTemporaryObjectExpr and use it so default arguments will be instantiated correctly for temporary object expressions.

llvm-svn: 80206

In ActOnCXXTypeConstructExpr, check that the type is complete and non-abstract before creating any expressions. This assures that any templates are instantiated if necessary.

llvm-svn: 80200

Simplify 'Environment' to contain only one map from 'const Stmt*' to SVals, greatly simplifying the logic of the analyzer in many places.  We now only distinguish between block-level expressions and subexpressions in Environment::RemoveDeadBindings and GRState pretty-printing.

llvm-svn: 80194

llvm-svn: 80189

llvm-svn: 80185

llvm-svn: 80183