[Bug tree-optimization/89720] [9 Regression] Spurious -Warray-bounds warning on a range with max < min

[steinar+gcc at gunderson dot no]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89720

--- Comment #7 from Steinar H. Gunderson  ---
The inlining context, yes. Thanks for pointing out the relevant bug.

[Bug tree-optimization/89720] [9 Regression] Spurious -Warray-bounds warning on a range with max < min

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89720

--- Comment #6 from Martin Sebor  ---
(In reply to Steinar H. Gunderson from comment #3)
> Are there also any plans to make the warning easier to trace?

If you are referring to the missing inlining context (as discussed in bug
86650) then hopefully in GCC 10.  Otherwise please explain what you mean, or
better yet, open a bug pointing out the problem.

[Bug tree-optimization/89720] [9 Regression] Spurious -Warray-bounds warning on a range with max < min

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89720

Martin Sebor  changed:

   What|Removed |Added

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

--- Comment #5 from Martin Sebor  ---
Patch committed in r269785.

[Bug tree-optimization/89720] [9 Regression] Spurious -Warray-bounds warning on a range with max < min

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89720

--- Comment #4 from Martin Sebor  ---
Author: msebor
Date: Mon Mar 18 23:48:50 2019
New Revision: 269785

URL: https://gcc.gnu.org/viewcvs?rev=269785=gcc=rev
Log:
PR tree-optimization/89720 - Spurious -Warray-bounds warning on a range with
max < min

gcc/ChangeLog:

PR tree-optimization/89720
* tree-vrp.c (vrp_prop::check_mem_ref): Treat range with max < min
more conservatively, the same as anti-range.

gcc/testsuite/ChangeLog:

PR tree-optimization/89720
* gcc.dg/Warray-bounds-42.c: New test.


Added:
trunk/gcc/testsuite/gcc.dg/Warray-bounds-42.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-vrp.c

[Bug tree-optimization/89720] [9 Regression] Spurious -Warray-bounds warning on a range with max < min

[steinar+gcc at gunderson dot no]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89720

--- Comment #3 from Steinar H. Gunderson  ---
Are there also any plans to make the warning easier to trace?

[Bug tree-optimization/89720] [9 Regression] Spurious -Warray-bounds warning on a range with max < min

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89720

Martin Sebor  changed:

   What|Removed |Added

   Keywords||patch
Summary|[9 Regression] Spurious |[9 Regression] Spurious
   |-Warray-bounds warning  |-Warray-bounds warning on a
   ||range with max < min

--- Comment #2 from Martin Sebor  ---
Patch: https://gcc.gnu.org/ml/gcc-patches/2019-03/msg00860.html