clang  14.0.0git
Namespaces | Functions
RangedConstraintManager.cpp File Reference
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h"
Include dependency graph for RangedConstraintManager.cpp:

Go to the source code of this file.

Namespaces

 clang
 
 clang::ento
 

Functions

SVal clang::ento::simplifyToSVal (ProgramStateRef State, SymbolRef Sym)
 Try to simplify a given symbolic expression's associated SVal based on the constraints in State. More...
 
SymbolRef clang::ento::simplify (ProgramStateRef State, SymbolRef Sym)
 Try to simplify a given symbolic expression based on the constraints in State. More...