]> git.ipfire.org Git - thirdparty/gcc.git/commit
analyzer: add region_model_manager::get_or_create_int_cst
authorDavid Malcolm <dmalcolm@redhat.com>
Fri, 18 Jun 2021 15:19:30 +0000 (11:19 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 18 Jun 2021 15:19:30 +0000 (11:19 -0400)
commit1aff29d42601927a416a484d6c0fa37a25faae79
tree9d1c84febcf6985eff780649f6e2f07bf672395b
parent86606d2ab731a4b8dbbe1e5318a1920210abd65d
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>
gcc/analyzer/region-model-manager.cc
gcc/analyzer/region-model.cc
gcc/analyzer/region-model.h
gcc/analyzer/store.cc