Searched refs:registerDivZeroChecker (Results 1 – 2 of 2) sorted by relevance
90 void ento::registerDivZeroChecker(CheckerManager &mgr) { in registerDivZeroChecker() function in ento
100 void ento::registerDivZeroChecker(CheckerManager &mgr) { in registerDivZeroChecker() function in ento