¶clang::ento::ProgramStateRef setErrnoValue(
    clang::ento::ProgramStateRef State,
    const clang::LocationContext* LCtx,
    clang::ento::SVal Value,
    clang::ento::errno_modeling::ErrnoCheckState
        EState)

Description

Set value of 'errno' to any SVal, if possible. The errno check state is set always when the 'errno' value is set.

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

Parameters

clang::ento::ProgramStateRef State

const clang::LocationContext* LCtx

clang::ento::SVal Value

clang::ento::errno_modeling::ErrnoCheckState EState