Lines Matching full:closed
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
33 enum Kind { Opened, Closed } K; enumerator
38 bool isClosed() const { return K == Closed; } in isClosed()
41 static StreamState getClosed() { return StreamState(Closed); } in getClosed()
119 // Check if the stream has already been closed. in checkPreCall()
127 // Generate the next transition, in which the stream is closed. in checkPreCall()
178 DoubleCloseBugType, "Closing a previously closed file stream", ErrNode); in reportDoubleClose()
191 LeakBugType, "Opened file is never closed; potential resource leak", in reportLeaks()
227 // handle will be closed somewhere else. in checkPointerEscape()