diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2021-06-18 11:19:30 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2021-06-18 11:19:30 -0400 |
| commit | 1aff29d42601927a416a484d6c0fa37a25faae79 (patch) | |
| tree | 9d1c84febcf6985eff780649f6e2f07bf672395b /gcc/analyzer/region-model.h | |
| parent | 86606d2ab731a4b8dbbe1e5318a1920210abd65d (diff) | |
| download | gcc-1aff29d42601927a416a484d6c0fa37a25faae79.tar.gz | |
analyzer: add region_model_manager::get_or_create_int_cst
gcc/analyzer/ChangeLog:
* region-model-manager.cc
(region_model_manager::get_or_create_int_cst): New.
(region_model_manager::maybe_undo_optimize_bit_field_compare): Use
it to simplify away a local tree.
* region-model.cc (region_model::on_setjmp): Likewise.
(region_model::on_longjmp): Likewise.
* region-model.h (region_model_manager::get_or_create_int_cst):
New decl.
* store.cc (binding_cluster::zero_fill_region): Use it to simplify
away a local tree.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/analyzer/region-model.h')
| -rw-r--r-- | gcc/analyzer/region-model.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/analyzer/region-model.h b/gcc/analyzer/region-model.h index 7b12d35ab59..a4b584d186e 100644 --- a/gcc/analyzer/region-model.h +++ b/gcc/analyzer/region-model.h @@ -238,6 +238,7 @@ public: /* svalue consolidation. */ const svalue *get_or_create_constant_svalue (tree cst_expr); + const svalue *get_or_create_int_cst (tree type, poly_int64); const svalue *get_or_create_unknown_svalue (tree type); const svalue *get_or_create_setjmp_svalue (const setjmp_record &r, tree type); |