Searched refs:DoubleCloseBugType (Results 1 – 1 of 1) sorted by relevance
57 std::unique_ptr<BugType> DoubleCloseBugType; member in __anonfc40efb00111::SimpleStreamChecker95 DoubleCloseBugType.reset(197 *DoubleCloseBugType, "Closing a previously closed file stream", ErrNode); in reportDoubleClose()