Home
last modified time | relevance | path

Searched refs:mkBitvector (Results 1 – 4 of 4) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConv.h274 Exp, Solver->mkBitvector(llvm::APSInt("1"), ToBitWidth), in fromCast()
275 Solver->mkBitvector(llvm::APSInt("0"), ToBitWidth)); in fromCast()
395 Solver->mkBitvector(NewRInt, NewRInt.getBitWidth()); in getSymBinExpr()
403 Solver->mkBitvector(NewLInt, NewLInt.getBitWidth()); in getSymBinExpr()
522 Solver->mkBitvector(llvm::APSInt("0"), Ctx.getTypeSize(Ty)), in getZeroExpr()
539 Solver->mkBitvector(NewFromInt, NewFromInt.getBitWidth()); in getRangeExpr()
554 Solver->mkBitvector(NewToInt, NewToInt.getBitWidth()); in getRangeExpr()
H A DSMTConstraintManager.h147 : Solver->mkBitvector(Value, Value.getBitWidth()), in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/freebsd/contrib/llvm-project/llvm/include/llvm/Support/
H A DSMTAPI.h425 virtual SMTExprRef mkBitvector(const llvm::APSInt Int, unsigned BitWidth) = 0;
/freebsd/contrib/llvm-project/llvm/lib/Support/
H A DZ3Solver.cpp740 SMTExprRef mkBitvector(const llvm::APSInt Int, unsigned BitWidth) override { in mkBitvector() function in __anona2cc94240111::Z3Solver
767 SMTExprRef Z3Int = mkBitvector(Int, Int.getBitWidth()); in mkFloat()