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()466 if (hasComparison) in getSymExpr()467 *hasComparison = false; in getSymExpr()475 getSymBinExpr(Solver, Ctx, BSE, hasComparison, RetTy); in getSymExpr()477 if (hasComparison) in getSymExpr()493 if (hasComparison) {494 *hasComparison = false;[all …]
49 bool hasComparison; in REGISTER_TRAIT_WITH_PROGRAMSTATE() local52 SMTConv::getExpr(Solver, Ctx, Sym, &RetTy, &hasComparison); in REGISTER_TRAIT_WITH_PROGRAMSTATE()56 if (!hasComparison && !RetTy->isBooleanType()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()