summaryrefslogtreecommitdiff
path: root/gcc/analyzer/sm.h
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/analyzer/sm.h')
-rw-r--r--gcc/analyzer/sm.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/analyzer/sm.h b/gcc/analyzer/sm.h
index 7ce1c73e217..e3e9a8d557b 100644
--- a/gcc/analyzer/sm.h
+++ b/gcc/analyzer/sm.h
@@ -278,6 +278,8 @@ public:
const svalue *get_old_svalue (tree expr) const;
+ const region_model *get_old_region_model () const;
+
protected:
sm_context (int sm_idx, const state_machine &sm)
: m_sm_idx (sm_idx), m_sm (sm) {}