[Bug c++/83060] ICE on valid C++ code: in ignore_overflows, at cp/cvt.c:583

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |msebor at gcc dot gnu.org

--- Comment #5 from Martin Sebor <msebor at gcc dot gnu.org> ---
Only pointer expressions that compute the value of a pointer that points to the
same [sub]object or just past it are valid.  The following is undefined whether
or not there is padding between a.i and a.s:

  struct A { int i; int s[8]; } a;
  int *p = &a.s[-1];