tree-optimization/105969 - FPE with array diagnostics
authorRichard Biener <rguenther@suse.de>
Wed, 15 Jun 2022 08:54:48 +0000 (10:54 +0200)
committerRichard Biener <rguenther@suse.de>
Tue, 19 Jul 2022 09:25:31 +0000 (11:25 +0200)
commit4f34a9e8d5ffcef99a212180d58718b00bdbb7d2
tree6b57b1a30275b7b0a5d1be74d469af5529161996
parent1fe7321a6ce0dcb05763c8f1850a066824516342
tree-optimization/105969 - FPE with array diagnostics

For a [0][0] array we have to be careful when dividing by the element
size which is zero for the outermost dimension.  Luckily the division
is only for an overflow check which is pointless for array size zero.

2022-06-15  Richard Biener  <rguenther@suse.de>

PR tree-optimization/105969
* gimple-ssa-sprintf.cc (get_origin_and_offset_r): Avoid division
by zero in overflow check.

* gcc.dg/pr105969.c: New testcase.

(cherry picked from commit edb9330c29fe8a0a0b76df6fafd6a223a4d0e41f)
gcc/gimple-ssa-sprintf.cc
gcc/testsuite/gcc.dg/pr105969.c [new file with mode: 0644]