Searched refs:fromCast (Results 1 – 1 of 1) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 259 static inline SMTExprRef fromCast(SMTSolverRef &Solver, const SMTExprRef &Exp, in fromCast() function
329 return fromCast(Solver, Exp, ToTy, Ctx.getTypeSize(ToTy), FromTy, in getCastExpr()
563 SMTConv::doIntTypeConversion<SMTExprRef, &fromCast>(Solver, Ctx, LHS, LTy, in doTypeConversion()
569 SMTConv::doFloatTypeConversion<SMTExprRef, &fromCast>(Solver, Ctx, LHS, in doTypeConversion()
590 LHS = fromCast(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth); in doTypeConversion()
593 RHS = fromCast(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth); in doTypeConversion()
|