|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h 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);
656 LHS = (*doCast)(Solver, LHS, NewTy, NewBitWidth, LTy, LBitWidth);
663 RHS = (*doCast)(Solver, RHS, NewTy, NewBitWidth, RTy, RBitWidth);
680 RHS = (*doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth);
683 LHS = (*doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);
690 RHS = (*doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth);
693 LHS = (*doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);
701 RHS = (doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth);
704 LHS = (*doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);
714 RHS = (*doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth);
716 LHS = (doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);
734 LHS = (*doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);
739 RHS = (*doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth);
752 RHS = (*doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth);
755 LHS = (*doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);