Lines Matching defs:Model

139                   Environment::ValueModel &Model)
140       : StmtToEnv(StmtToEnv), Env(Env), Model(Model) {}
375       // FIXME: Model pointers to members.
453       // FIXME: Model NRVO.
460       // FIXME: Model NRVO.
726               FalseEnv->getValue(*S->getFalseExpr()), *FalseEnv, Env, Model))
885   Environment::ValueModel &Model;
891               Environment::ValueModel &Model) {
892   TransferVisitor(StmtToEnv, Env, Model).Visit(&S);