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