ΒΆclang::ento::ProgramStateRef setErrnoState(
clang::ento::ProgramStateRef State,
clang::ento::errno_modeling::ErrnoCheckState
EState)
clang::ento::ProgramStateRef setErrnoState(
clang::ento::ProgramStateRef State,
clang::ento::errno_modeling::ErrnoCheckState
EState)
Description
Set the errno check state, do not modify the errno value.
Declared at: clang/lib/StaticAnalyzer/Checkers/ErrnoModeling.h:61
Parameters
- clang::ento::ProgramStateRef State
- clang::ento::errno_modeling::ErrnoCheckState EState