Searched refs:fromCast (Results 1 - 1 of 1) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 260 static inline llvm::SMTExprRef fromCast(llvm::SMTSolverRef &Solver, function in class:clang::ento::SMTConv
334 return fromCast(Solver, Exp, ToTy, Ctx.getTypeSize(ToTy), FromTy,
577 SMTConv::doIntTypeConversion<llvm::SMTExprRef, &fromCast>(
583 SMTConv::doFloatTypeConversion<llvm::SMTExprRef, &fromCast>(
604 LHS = fromCast(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);
607 RHS = fromCast(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth);
|
Completed in 49 milliseconds