Searched refs:DivZeroBug (Results 1 – 2 of 2) 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()
80 mutable std::unique_ptr<BuiltinBug> DivZeroBug; member in __anon5f8cc9880111::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()