llvm-svn: 78293

transform, then use the result for template instantiation. The generic
transformation fixes a few issues:

  - It copes better with template template parameters and member
  templates (when they're implemented). 
  - The logic used to replace template template parameters with their
  arguments is now centralized in TransformDecl, so that it will apply
  for other declaration-instantiation steps.
  - The error-recovery strategy is normalized now, so that any error
  results in a NULL TemplateName.

llvm-svn: 78292

  merge ExplodedGraphImpl and ExplodedGraph.

llvm-svn: 78291

llvm-svn: 78290

llvm-svn: 78289

 - This also fixes the ENABLE_EXPENSIVE_CHECKS failure on vmcore.ml.

llvm-svn: 78287

tree transformation. Template instantiation uses this general
transformation rather than implementing its own transformation.

llvm-svn: 78286

llvm-svn: 78285

llvm-svn: 78284

llvm-svn: 78283

llvm-svn: 78282

llvm-svn: 78281

llvm-svn: 78280

already been uniqued.

llvm-svn: 78279

  this->Base::foo

from James Porter!

llvm-svn: 78278

As suggested by Nick Lewycky.

llvm-svn: 78277

llvm-svn: 78276

llvm-svn: 78275

llvm-svn: 78274

llvm-svn: 78273

 - Patch by Carl-Daniel Hailfinger.

llvm-svn: 78272

current directory.

llvm-svn: 78271

and their impl base classes. This can greatly simply some code of the core 
analysis engine. This patch merges ExplodedNodeImpl into ExplodedNode.

llvm-svn: 78270

llvm-svn: 78269

RegionStore already lazily abstracted the contents of arrays and structs, when
doing an assignment from one array/struct to another we did an explicit
element-wise copy, which resulted in a loss of laziness and huge performance
problem when analyzing many code bases.

Now RegionStoreManager handles such assignments using a new SVal could
'LazyCompoundSVal', which basically means the value of a given struct or array
(a MemRegion*) in a specific state (GRState). When we do a load from a field
whose encompassing struct binds to a LazyCompoundSVal, we essentially do a field
lookup in the original structure. This means we have essentially zero copying of
data for structs/arrays and everything stays lazy.

llvm-svn: 78268

appropriate.

llvm-svn: 78267

make a note of it in the test case.

llvm-svn: 78266

virtual base layout.

llvm-svn: 78265

llvm-svn: 78264

These operations will have to be synthesized from other instructions.

llvm-svn: 78263

because I was thinking about it.

llvm-svn: 78262

llvm-svn: 78261

llvm-svn: 78260

llvm-svn: 78259

Privatize the StructType table, which unfortunately involves routing contexts through a number of APIs.

llvm-svn: 78258

that have that constraint.  This is currently just assigning a fixed set of
registers, and it only handles VLDn for n=2,3,4 with DPR registers.
I'm going to expand it to handle more operations next; we can make it smarter
once everything is working correctly.

llvm-svn: 78256

subtle bug with small code model.

llvm-svn: 78255

llvm-svn: 78254

llvm-svn: 78253

the vtable.  Still a work in progress.

llvm-svn: 78252