[Bug sanitizer/83392] FAIL: c-c++-common/ubsan/ptr-overflow-sanitization-1.c scan-tree-dump-times

[marxin at gcc dot gnu.org]

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

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Ok so with -O the difference is in between x86_64 and i586:

i586:
Visiting statement:
p_3 = &b + 2147483649;
which is likely CONSTANT
Lattice value changed to CONSTANT &MEM[(void *)&b + 2147483649B].  Adding SSA
edges to worklist.
marking stmt to be not simulated again

x86_64:
Visiting statement:
p_3 = &b + 9223372036854775809;
which is likely CONSTANT
Lattice value changed to CONSTANT &MEM[(void *)&b + -9223372036854775807B]. 
Adding SSA edges to worklist.
marking stmt to be not simulated again

It's for reduced test-case:

#define SMAX   __PTRDIFF_MAX__

void foo(void)
{
  char *p;
  char *p2;
  char b[1];
  char c[1];

  p = b + SMAX; /* pointer overflow check is needed */
  p = b;

  p = b - SMAX; /* pointer overflow check is needed */
  p2 = p + SMAX; /* b: pointer overflow check is needed */
}

Hope it's correct, thus I'll disable cycling of optimizations.
Jakub?