¶clang::ento::ProgramStateRef reAssume(
    clang::ento::ProgramStateRef State,
    const clang::ento::RangeSet* Constraint,
    clang::ento::SVal TheValue)

Declared at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:2559

Parameters

clang::ento::ProgramStateRef State

const clang::ento::RangeSet* Constraint

clang::ento::SVal TheValue