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