diff options
| author | Richard Biener <rguenther@suse.de> | 2023-12-05 09:21:35 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2023-12-06 08:24:35 +0100 |
| commit | 52f8092f54cf338c19d44e06b35612d15c96faf4 (patch) | |
| tree | 9d7be0809e908876708006a24b2f545d23157f2f /gcc/value-query.h | |
| parent | 8a5ef148bbab3b5397e293cbc28f6d6ebc5bb596 (diff) | |
| download | gcc-52f8092f54cf338c19d44e06b35612d15c96faf4.zip gcc-52f8092f54cf338c19d44e06b35612d15c96faf4.tar.gz gcc-52f8092f54cf338c19d44e06b35612d15c96faf4.tar.bz2 | |
tree-optimization/112843 - update_stmt doing wrong things
The following removes range_query::update_stmt and its single
invocation from update_stmt_operands. That function is not
supposed to look beyond the raw stmt contents of the passed
stmt since there's no guarantee about the rest of the IL.
PR tree-optimization/112843
* tree-ssa-operands.cc (update_stmt_operands): Do not call
update_stmt from ranger.
* value-query.h (range_query::update_stmt): Remove.
* gimple-range.h (gimple_ranger::update_stmt): Likewise.
* gimple-range.cc (gimple_ranger::update_stmt): Likewise.
Diffstat (limited to 'gcc/value-query.h')
| -rw-r--r-- | gcc/value-query.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/gcc/value-query.h b/gcc/value-query.h index 429446b..0a6f18b 100644 --- a/gcc/value-query.h +++ b/gcc/value-query.h @@ -71,9 +71,6 @@ public: virtual bool range_on_edge (vrange &r, edge, tree expr); virtual bool range_of_stmt (vrange &r, gimple *, tree name = NULL); - // When the IL in a stmt is changed, call this for better results. - virtual void update_stmt (gimple *) { } - // Query if there is any relation between SSA1 and SSA2. relation_kind query_relation (gimple *s, tree ssa1, tree ssa2, bool get_range = true); |