[Bug tree-optimization/38835] [4.3/4.4 Regression] field-insensitive PTA causes libstdc++ miscompiles

[rguenth at gcc dot gnu dot org]

------- Comment #10 from rguenth at gcc dot gnu dot org  2009-01-16 18:56 
-------
C testcase, fails with 4.3 and 4.4 with -O2 --param
max-fields-for-field-sensitive=0

#include <stdint.h>
extern void abort (void);
int main()
{
  int i = 1;
  int *p = &i;
  uintptr_t iptr;

  iptr = (uintptr_t)p - (uintptr_t)&iptr;
  p = (int *)((uintptr_t)&iptr + iptr);
  if (*p != 1)
    abort ();
  return 0;
}


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.3.2 4.4.0
            Summary|[4.4 Regression] field-     |[4.3/4.4 Regression] field-
                   |insensitive PTA causes      |insensitive PTA causes
                   |libstdc++ miscompiles       |libstdc++ miscompiles


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38835