OpenGrok

10 //   - If a file has been closed with fclose, it should not be accessed again.
11 //   Accessing a closed file results in undefined behavior.
12 //   - If a file was opened with fopen, it must be closed with fclose before
32   enum Kind { Opened, Closed } K;
37   bool isClosed() const { return K == Closed; }
40   static StreamState getClosed() { return StreamState(Closed); }
149   // Check if the stream has already been closed.
157   // Generate the next transition, in which the stream is closed.
210       *DoubleCloseBugType, "Closing a previously closed file stream", ErrNode);
223         *LeakBugType, "Opened file is never closed; potential resource leak",
263     // handle will be closed somewhere else.

Indexes created Mon May 04 00:23:20 UTC 2026