Searched refs:hasComparison (Results 1 – 2 of 2) sorted by relevance
384 bool *hasComparison, in getSymBinExpr() argument425 bool *hasComparison) { in getSymExpr() argument444 if (hasComparison) in getSymExpr()445 *hasComparison = false; in getSymExpr()464 if (hasComparison) in getSymExpr()465 *hasComparison = false; in getSymExpr()473 getSymBinExpr(Solver, Ctx, BSE, hasComparison, RetTy); in getSymExpr()475 if (hasComparison) in getSymExpr()491 if (hasComparison) {492 *hasComparison = false;[all …]
48 bool hasComparison; in REGISTER_TRAIT_WITH_PROGRAMSTATE() local51 SMTConv::getExpr(Solver, Ctx, Sym, &RetTy, &hasComparison); in REGISTER_TRAIT_WITH_PROGRAMSTATE()55 if (!hasComparison && !RetTy->isBooleanType()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()