mkBVSubNoOverflow (reference) in projects: llvm-project-15.0.7

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

/llvm-project-15.0.7/llvm/include/llvm/Support/
H A D	SMTAPI.h	`295 virtual SMTExprRef mkBVSubNoOverflow(const SMTExprRef &LHS,`
/llvm-project-15.0.7/llvm/lib/Support/
H A D	Z3Solver.cpp	`629 SMTExprRef mkBVSubNoOverflow(const SMTExprRef &LHS, in mkBVSubNoOverflow() function in __anonae660b540111::Z3Solver`