[Bug tree-optimization/84079] missing -Warray-bounds taking the address of a multidimensional array element

2020-07-27 Thread msebor at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84079

Martin Sebor  changed:

   What|Removed |Added

 Resolution|--- |FIXED
 Status|ASSIGNED|RESOLVED

--- Comment #6 from Martin Sebor  ---
Fixed for GCC 11.

[Bug tree-optimization/84079] missing -Warray-bounds taking the address of a multidimensional array element

2020-07-27 Thread cvs-commit at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84079

--- Comment #5 from CVS Commits  ---
The master branch has been updated by Martin Sebor :

https://gcc.gnu.org/g:07bd5544a3ab3a04d1652dbcb5a09d7271a9706a

commit r11-2370-g07bd5544a3ab3a04d1652dbcb5a09d7271a9706a
Author: Martin Sebor 
Date:   Mon Jul 27 13:54:50 2020 -0600

Diagnose just-past-the-end references for minor array bounds.

Resolves:
PR tree-optimization/84079 - missing -Warray-bounds taking the address of
past-the-end element of a multidimensional array

gcc/ChangeLog:

PR tree-optimization/84079
* gimple-array-bounds.cc (array_bounds_checker::check_addr_expr):
Only allow just-past-the-end references for the most significant
array bound.

gcc/testsuite/ChangeLog:

PR tree-optimization/84079
* gcc.dg/Warray-bounds-62.c: New test.

[Bug tree-optimization/84079] missing -Warray-bounds taking the address of a multidimensional array element

2020-07-22 Thread msebor at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84079

Martin Sebor  changed:

   What|Removed |Added

   Keywords||patch

--- Comment #4 from Martin Sebor  ---
Patch: https://gcc.gnu.org/pipermail/gcc-patches/2020-July/550502.html

[Bug tree-optimization/84079] missing -Warray-bounds taking the address of a multidimensional array element

2020-02-26 Thread msebor at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84079

Martin Sebor  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |msebor at gcc dot 
gnu.org
   Target Milestone|--- |11.0

[Bug tree-optimization/84079] missing -Warray-bounds taking the address of a multidimensional array element

2020-02-26 Thread msebor at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84079

--- Comment #3 from Martin Sebor  ---
Created attachment 47919
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47919=edit
Tested patch for GCC 11.

The attached patch adds the missing warning.

[Bug tree-optimization/84079] missing -Warray-bounds taking the address of a multidimensional array element

2020-02-26 Thread msebor at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84079

Martin Sebor  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2020-02-27
 Ever confirmed|0   |1
  Known to fail|8.0 |10.0, 8.2.0, 9.2.0

--- Comment #2 from Martin Sebor  ---
Confirmed based on bug 93848 comment 9.

[Bug tree-optimization/84079] missing -Warray-bounds taking the address of a multidimensional array element

2018-01-27 Thread msebor at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84079

Martin Sebor  changed:

   What|Removed |Added

   Keywords||diagnostic
 Blocks||56456
  Known to fail||4.1.0, 4.5.4, 4.8.3, 4.9.4,
   ||5.4.0, 6.3.0, 7.3.0, 8.0

--- Comment #1 from Martin Sebor  ---
This was never diagnosed so it's not a regression.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456
[Bug 56456] [meta-bug] bogus/missing -Warray-bounds