ΒΆclang::ento::SVal simplifyToSVal(
    clang::ento::ProgramStateRef State,
    clang::ento::SymbolRef Sym)

Description

Try to simplify a given symbolic expression's associated `SVal` based on the constraints in State. This is very similar to `simplify`, but this function always returns the simplified SVal. The simplified SVal might be a single constant (i.e. `ConcreteInt`).

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h:495

Parameters

clang::ento::ProgramStateRef State
clang::ento::SymbolRef Sym