Home
last modified time | relevance | path

Searched refs:getFloatSortSize (Results 1 – 2 of 2) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTSort.h49 virtual unsigned getFloatSortSize() const { in getFloatSortSize() function
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DZ3ConstraintManager.cpp697 llvm::APSInt Int(Sort->getFloatSortSize(), true); in toAPFloat()
699 getFloatSemantics(Sort->getFloatSortSize()); in toAPFloat()
700 SMTSortRef BVSort = getBitvectorSort(Sort->getFloatSortSize()); in toAPFloat()