¶clang::ento::errno_modeling::ErrnoCheckState
getErrnoState(clang::ento::ProgramStateRef State)

Description

Returns the errno check state, \c Errno_Irrelevant if 'errno' was not found (this is not the only case for that value).

Declared at: clang/lib/StaticAnalyzer/Checkers/ErrnoModeling.h:42

Parameters

clang::ento::ProgramStateRef State