Home
last modified time | relevance | path

Searched refs:getBitvectorSort (Results 1 – 3 of 3) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DZ3ConstraintManager.cpp294 SMTSortRef getBitvectorSort(unsigned BitWidth) override { in getBitvectorSort() function in __anon1f86e14b0211::Z3Solver
651 const SMTSortRef Sort = getBitvectorSort(BitWidth); in mkBitvector()
700 SMTSortRef BVSort = getBitvectorSort(Sort->getFloatSortSize()); in toAPFloat()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTSolver.h57 virtual SMTSortRef getBitvectorSort(const unsigned BitWidth) = 0;
H A DSMTConv.h36 return Solver->getBitvectorSort(BitWidth); in mkSort()