Searched refs:OpenFailed (Results 1 – 2 of 2) sorted by relevance
178 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym); in isLeaked() local179 return !OpenFailed.isConstrainedTrue(); in isLeaked()
30 enum Kind { Opened, Closed, OpenFailed, Escaped } K; enumerator47 return StreamState(OpenFailed, s); in getOpenFailed()