Searched refs:fromCast (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 260 static inline llvm::SMTExprRef fromCast(llvm::SMTSolverRef &Solver, in fromCast() function
339 return fromCast(Solver, Exp, ToTy, Ctx.getTypeSize(ToTy), FromTy, in getCastExpr()
605 SMTConv::doIntTypeConversion<llvm::SMTExprRef, &fromCast>( in doTypeConversion()
611 SMTConv::doFloatTypeConversion<llvm::SMTExprRef, &fromCast>( in doTypeConversion()
632 LHS = fromCast(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth); in doTypeConversion()
635 RHS = fromCast(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth); in doTypeConversion()
|