ΒΆ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