ΒΆclang::ento::ProgramStateRef setErrnoValue(
clang::ento::ProgramStateRef State,
clang::ento::CheckerContext& C,
uint64_t Value,
clang::ento::errno_modeling::ErrnoCheckState
EState)
clang::ento::ProgramStateRef setErrnoValue(
clang::ento::ProgramStateRef State,
clang::ento::CheckerContext& C,
uint64_t Value,
clang::ento::errno_modeling::ErrnoCheckState
EState)
Description
Set value of 'errno' to a concrete (signed) integer, if possible. The errno check state is set always when the 'errno' value is set.
Declared at: clang/lib/StaticAnalyzer/Checkers/ErrnoModeling.h:57
Parameters
- clang::ento::ProgramStateRef State
- clang::ento::CheckerContext& C
- uint64_t Value
- clang::ento::errno_modeling::ErrnoCheckState EState