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