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