Searched refs:FalseEnv (Results 1 – 1 of 1) sorted by relevance
698 const Environment *FalseEnv = StmtToEnv.getEnvironment(*S->getFalseExpr()); in VisitConditionalOperator() local700 if (TrueEnv == nullptr || FalseEnv == nullptr) { in VisitConditionalOperator()711 FalseEnv->getStorageLocation(*S->getFalseExpr()); in VisitConditionalOperator()732 FalseEnv->getValue(*S->getFalseExpr()), *FalseEnv, Env, Model)) in VisitConditionalOperator()