Searched refs:DivZeroBug (Results 1 – 1 of 1) sorted by relevance
81 mutable std::unique_ptr<BuiltinBug> DivZeroBug; member in __anona70d1ba50111::TestAfterDivZeroChecker168 if (!DivZeroBug) in reportBug()169 DivZeroBug.reset(new BuiltinBug(this, "Division by zero")); in reportBug()172 *DivZeroBug, "Value being compared against zero has already been used " in reportBug()