Searched refs:DoubleCloseBugType (Results 1 – 1 of 1) sorted by relevance
56 std::unique_ptr<BugType> DoubleCloseBugType; member in __anon84e727cd0111::SimpleStreamChecker108 DoubleCloseBugType.reset( in SimpleStreamChecker()210 *DoubleCloseBugType, "Closing a previously closed file stream", ErrNode); in reportDoubleClose()