ΒΆclang::ento::SymbolRef simplify(
clang::ento::ProgramStateRef State,
clang::ento::SymbolRef Sym)
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