https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86741
Martin Sebor changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86741
--- Comment #8 from Martin Sebor ---
Author: msebor
Date: Tue Jul 31 16:47:39 2018
New Revision: 263166
URL: https://gcc.gnu.org/viewcvs?rev=263166=gcc=rev
Log:
PR tree-optimization/86741 - ICE in -Warray-bounds indexing into an object of
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86741
Richard Biener changed:
What|Removed |Added
Target Milestone|--- |9.0
--- Comment #7 from Richard Biener
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86741
Martin Sebor changed:
What|Removed |Added
Keywords||patch
--- Comment #6 from Martin Sebor
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86741
Martin Sebor changed:
What|Removed |Added
Status|NEW |ASSIGNED
Assignee|unassigned
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86741
--- Comment #4 from Marek Polacek ---
Reduced:
struct S
{
int s;
};
void fn2 (void);
void
fn1 ()
{
extern void a;
struct S *b =
if (b->s)
fn2 ();
}
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86741
--- Comment #3 from Marek Polacek ---
So I think this ought to fix it:
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -5051,7 +5051,8 @@ vrp_prop::check_mem_ref (location_t location, tree ref,
bool ignore_off_by_one)
to identify the member
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86741
--- Comment #2 from Marek Polacek ---
#4 0x01250010 in vrp_prop::check_mem_ref (this=0x7fffced0,
location=102528417, ref=
, ignore_off_by_one=false) at
/home/marek/src/gcc/gcc/tree-vrp.c:5097
5097 arrbounds[1] =
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86741
Marek Polacek changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
