From 1aff29d42601927a416a484d6c0fa37a25faae79 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Fri, 18 Jun 2021 11:19:30 -0400 Subject: 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 --- gcc/analyzer/region-model.h | 1 + 1 file changed, 1 insertion(+) (limited to 'gcc/analyzer/region-model.h') 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); -- cgit v1.2.1