diff options
Diffstat (limited to 'clang/include/clang/Analysis/PathSensitive/Checker.h')
| -rw-r--r-- | clang/include/clang/Analysis/PathSensitive/Checker.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/clang/include/clang/Analysis/PathSensitive/Checker.h b/clang/include/clang/Analysis/PathSensitive/Checker.h index 9873710976b..a625a7a2569 100644 --- a/clang/include/clang/Analysis/PathSensitive/Checker.h +++ b/clang/include/clang/Analysis/PathSensitive/Checker.h @@ -90,6 +90,10 @@ public: return Eng.getValueManager(); } + SValuator &getSValuator() { + return Eng.getSValuator(); + } + ExplodedNode *GenerateNode(bool autoTransition = true) { assert(statement && "Only transitions with statements currently supported"); ExplodedNode *N = GenerateNodeImpl(statement, getState(), false); |
