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