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

Description

Try to simplify a given symbolic expression based on the constraints in State. This is needed because the Environment bindings are not getting updated when a new constraint is added to the State. If the symbol is simplified to a non-symbol (e.g. to a constant) then the original symbol is returned. We use this function in the family of assumeSymNE/EQ/LT/../GE functions where we can work only with symbols. Use the other function (simplifyToSVal) if you are interested in a simplification that may yield a concrete constant value.

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

Parameters

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