diff options
| author | Andrew Pinski <apinski@marvell.com> | 2023-05-16 14:34:05 -0700 |
|---|---|---|
| committer | Andrew Pinski <apinski@marvell.com> | 2023-05-17 07:58:42 -0700 |
| commit | f65af1eeef670f2c249b1896726ef57bbf65fe2f (patch) | |
| tree | 8bbe0644abe22c89e3b77605237847c7981dd1b7 /gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-104.c | |
| parent | 01d62e9b6c3e9fd3132f1616843103ccf81778ed (diff) | |
| download | gcc-f65af1eeef670f2c249b1896726ef57bbf65fe2f.tar.gz | |
Fix PR 106900: array-bounds warning inside simplify_builtin_call
The problem here is that VRP cannot figure out isize could not be 0
due to using integer_zerop. This patch removes the use of integer_zerop
and instead checks for 0 directly after converting the tree to
an unsigned HOST_WIDE_INT. This allows VRP to figure out isize is not 0
and `isize - 1` will always be >= 0.
This patch is just to avoid the warning that GCC could produce sometimes
and does not change any code generation or even VRP.
OK? Bootstrapped and tested on x86_64-linux-gnu with no regressions.
gcc/ChangeLog:
* tree-ssa-forwprop.cc (simplify_builtin_call): Check
against 0 instead of calling integer_zerop.
Diffstat (limited to 'gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-104.c')
0 files changed, 0 insertions, 0 deletions