Searched refs:fromCast (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/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()
603 SMTConv::doIntTypeConversion<llvm::SMTExprRef, &fromCast>( in doTypeConversion()
609 SMTConv::doFloatTypeConversion<llvm::SMTExprRef, &fromCast>( in doTypeConversion()
630 LHS = fromCast(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth); in doTypeConversion()
633 RHS = fromCast(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth); in doTypeConversion()
|