Searched refs:ValueOrPredExpr (Results 1 – 1 of 1) sorted by relevance
421 const clang::Expr *ValueOrPredExpr, const MatchFinder::MatchResult &Result, in transferValueOrImpl() argument435 Env.assume(ModelPred(Env, forceBoolValue(Env, *ValueOrPredExpr), in transferValueOrImpl()