diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2024-10-28 10:19:27 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2024-11-01 15:24:09 -0400 |
| commit | 62420dbd105bbc4fe732881875c5c85aa55b6069 (patch) | |
| tree | ec2fec5984d100a6c5c78c96f5a29315d4fe6a64 /gcc/analyzer/program-state.cc | |
| parent | fe22e18c1b00f4d95aec6d40333aecd1e9c700c7 (diff) | |
| download | gcc-62420dbd105bbc4fe732881875c5c85aa55b6069.zip gcc-62420dbd105bbc4fe732881875c5c85aa55b6069.tar.gz gcc-62420dbd105bbc4fe732881875c5c85aa55b6069.tar.bz2 | |
Reimplement 'assume' processing pass.
Rework the assume pass to work properly and fail conservatively when it
does. Also move it to its own file.
PR tree-optimization/117287
gcc/
* Makefile.in (IBJS): Add tree-assume.o
* gimple-range.cc (assume_query::assume_range_p): Remove.
(assume_query::range_of_expr): Remove.
(assume_query::assume_query): Move to tree-assume.cc.
(assume_query::~assume_query): Remove.
(assume_query::calculate_op): Move to tree-assume.cc.
(assume_query::calculate_phi): Likewise.
(assume_query::check_taken_edge): Remove.
(assume_query::calculate_stmt): Move to tree-assume.cc.
(assume_query::dump): Remove.
* gimple-range.h (class assume_query): Move to tree-assume.cc
* tree-assume.cc: New
* tree-vrp.cc (struct pass_data_assumptions): Move to tree-assume.cc.
(class pass_assumptions): Likewise.
(make_pass_assumptions): Likewise.
gcc/testsuite/
* g++.dg/cpp23/pr117287-attr.C: New.
Diffstat (limited to 'gcc/analyzer/program-state.cc')
0 files changed, 0 insertions, 0 deletions