HomeSort by: relevance | last modified time | path
    Searched defs:fromCast (Results 1 - 2 of 2) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SMTConv.h 260 static inline llvm::SMTExprRef fromCast(llvm::SMTSolverRef &Solver,
339 return fromCast(Solver, Exp, ToTy, Ctx.getTypeSize(ToTy), FromTy,
581 SMTConv::doIntTypeConversion<llvm::SMTExprRef, &fromCast>(
587 SMTConv::doFloatTypeConversion<llvm::SMTExprRef, &fromCast>(
608 LHS = fromCast(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);
611 RHS = fromCast(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth);
SMTConv.h 260 static inline llvm::SMTExprRef fromCast(llvm::SMTSolverRef &Solver,
339 return fromCast(Solver, Exp, ToTy, Ctx.getTypeSize(ToTy), FromTy,
581 SMTConv::doIntTypeConversion<llvm::SMTExprRef, &fromCast>(
587 SMTConv::doFloatTypeConversion<llvm::SMTExprRef, &fromCast>(
608 LHS = fromCast(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);
611 RHS = fromCast(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth);

Completed in 39 milliseconds