diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2021-07-12 14:38:42 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2021-07-12 19:14:30 -0400 |
| commit | 9693ecdf7ed5dde9618d06560697ff8ee5e1e6b7 (patch) | |
| tree | fb132b2cd789877a7164529e09aefacaa05e82e4 | |
| parent | e61afa0c2fb633b037368c067d4744c07349a2eb (diff) | |
| download | gcc-9693ecdf7ed5dde9618d06560697ff8ee5e1e6b7.zip gcc-9693ecdf7ed5dde9618d06560697ff8ee5e1e6b7.tar.gz gcc-9693ecdf7ed5dde9618d06560697ff8ee5e1e6b7.tar.bz2 | |
Add relation processing to ubsan builtins.
Ubsan builtins call the plus/minus/multiple fold routines, but did not
use any relation information between the 2 operands that is available.
query and pass any relations.
This resolves gcc.dg/pr97505.c when operating in ranger-only mode.
* gimple-range-fold.cc (fold_using_range::range_of_builtin_ubsan_call):
Query relation between the 2 operands and use it.
| -rw-r--r-- | gcc/gimple-range-fold.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/gimple-range-fold.cc b/gcc/gimple-range-fold.cc index 1fa4ace..eff5d1f 100644 --- a/gcc/gimple-range-fold.cc +++ b/gcc/gimple-range-fold.cc @@ -825,12 +825,14 @@ fold_using_range::range_of_builtin_ubsan_call (irange &r, gcall *call, tree arg1 = gimple_call_arg (call, 1); src.get_operand (ir0, arg0); src.get_operand (ir1, arg1); + // Check for any relation between arg0 and arg1. + relation_kind relation = src.query_relation (arg0, arg1); bool saved_flag_wrapv = flag_wrapv; // Pretend the arithmetic is wrapping. If there is any overflow, // we'll complain, but will actually do wrapping operation. flag_wrapv = 1; - op->fold_range (r, type, ir0, ir1); + op->fold_range (r, type, ir0, ir1, relation); flag_wrapv = saved_flag_wrapv; // If for both arguments vrp_valueize returned non-NULL, this should |