Lines Matching refs:SubExpr

262     const Expr *SubExpr = S->getSubExpr();  in VisitImplicitCastExpr()  local
263 assert(SubExpr != nullptr); in VisitImplicitCastExpr()
271 dyn_cast_or_null<BoolValue>(Env.getValue(*SubExpr))) in VisitImplicitCastExpr()
283 auto *SubExprVal = maybeUnpackLValueExpr(*SubExpr, Env); in VisitImplicitCastExpr()
306 propagateValueOrStorageLocation(*SubExpr, *S, Env); in VisitImplicitCastExpr()
320 StorageLocation *PointeeLoc = Env.getStorageLocation(*SubExpr); in VisitImplicitCastExpr()
339 const Expr *SubExpr = S->getSubExpr(); in VisitUnaryOperator() local
340 assert(SubExpr != nullptr); in VisitUnaryOperator()
344 const auto *SubExprVal = Env.get<PointerValue>(*SubExpr); in VisitUnaryOperator()
356 if (StorageLocation *PointeeLoc = Env.getStorageLocation(*SubExpr)) in VisitUnaryOperator()
361 auto *SubExprVal = dyn_cast_or_null<BoolValue>(Env.getValue(*SubExpr)); in VisitUnaryOperator()
544 const Expr *SubExpr = S->getSubExpr(); in VisitCXXFunctionalCastExpr() local
545 assert(SubExpr != nullptr); in VisitCXXFunctionalCastExpr()
547 propagateValue(*SubExpr, *S, Env); in VisitCXXFunctionalCastExpr()
594 const Expr *SubExpr = S->getSubExpr(); in VisitMaterializeTemporaryExpr() local
595 assert(SubExpr != nullptr); in VisitMaterializeTemporaryExpr()
597 Value *SubExprVal = Env.getValue(*SubExpr); in VisitMaterializeTemporaryExpr()
612 const Expr *SubExpr = S->getSubExpr(); in VisitCXXBindTemporaryExpr() local
613 assert(SubExpr != nullptr); in VisitCXXBindTemporaryExpr()
615 propagateValue(*SubExpr, *S, Env); in VisitCXXBindTemporaryExpr()
620 const Expr *SubExpr = S->getSubExpr(); in VisitCXXStaticCastExpr() local
621 assert(SubExpr != nullptr); in VisitCXXStaticCastExpr()
623 propagateValueOrStorageLocation(*SubExpr, *S, Env); in VisitCXXStaticCastExpr()
744 auto *SubExpr = S->getSubExpr(); in VisitParenExpr() local
745 assert(SubExpr != nullptr); in VisitParenExpr()
746 Visit(SubExpr); in VisitParenExpr()
753 auto *SubExpr = S->getSubExpr(); in VisitExprWithCleanups() local
754 assert(SubExpr != nullptr); in VisitExprWithCleanups()
755 Visit(SubExpr); in VisitExprWithCleanups()
760 BoolValue &getLogicOperatorSubExprValue(const Expr &SubExpr) { in getLogicOperatorSubExprValue() argument
764 if (const Environment *SubExprEnv = StmtToEnv.getEnvironment(SubExpr)) in getLogicOperatorSubExprValue()
766 dyn_cast_or_null<BoolValue>(SubExprEnv->getValue(SubExpr))) in getLogicOperatorSubExprValue()
774 if (Env.getValue(SubExpr) == nullptr) in getLogicOperatorSubExprValue()
775 Visit(&SubExpr); in getLogicOperatorSubExprValue()
776 if (auto *Val = dyn_cast_or_null<BoolValue>(Env.getValue(SubExpr))) in getLogicOperatorSubExprValue()