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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Reduced testcase below.  Started with r224643.

/* PR tree-optimization/83177 */
/* { dg-do compile } */
/* { dg-options "-mmpx -fcheck-pointer-bounds" } */

extern int setjmp (void *);
void *buf[64];
void bar (void);

int
foo (int *a)
{
  int i, r = 0;
  for (i = 0; i < 64; ++i)
    {
      bar ();
      r += *--a;
      bar ();
    }
  for (i = 0; i < 64; ++i)
    {
      r += *a;
      setjmp (buf);
      bar ();
    }
  return r;
}

Reply via email to