diff options
Diffstat (limited to 'gcc/analyzer/program-state.h')
| -rw-r--r-- | gcc/analyzer/program-state.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/analyzer/program-state.h b/gcc/analyzer/program-state.h index a39fce2..baab787 100644 --- a/gcc/analyzer/program-state.h +++ b/gcc/analyzer/program-state.h @@ -257,6 +257,9 @@ public: return true; } + bool can_purge_base_region_p (const extrinsic_state &ext_state, + const region *base_reg) const; + bool can_merge_with_p (const program_state &other, const extrinsic_state &ext_state, const program_point &point, |