Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/llvm/include/llvm/Support/
H A DSMTAPI.h334 virtual SMTExprRef mkBVMulNoUnderflow(const SMTExprRef &LHS,
/freebsd/contrib/llvm-project/llvm/lib/Support/
H A DZ3Solver.cpp684 SMTExprRef mkBVMulNoUnderflow(const SMTExprRef &LHS, in mkBVMulNoUnderflow() function in __anona2cc94240111::Z3Solver