ΒΆstd::unique_ptr<ConstraintManager>
CreateRangeConstraintManager(
    clang::ento::ProgramStateManager& statemgr,
    clang::ento::ExprEngine* exprengine)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h:172

Parameters

clang::ento::ProgramStateManager& statemgr
clang::ento::ExprEngine* exprengine