llvm-svn: 78300

llvm-svn: 78299

merge GRCoreEngineImpl and GRCoreEngine.

Introduce a new interface class GRSubEngine as the subengine of GRCoreEngine.
GRExprEngine subclasses GRSubEngine now.

llvm-svn: 78298

by aggressive chain operand optimization. UpdateNodeOperands
does not modify the node in place if it would result in
a node identical to an existing node.

llvm-svn: 78297

llvm-svn: 78296

and high-bits values in ways that weren't correct for integer
types wider than 64 bits. This fixes a miscompile in
PPMacroExpansion.cpp in clang on x86-64.

llvm-svn: 78295

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