gcc/testsuite/gcc.c-torture/execute/pr17252.c

   1 /* PR 17252.  When a char * pointer P takes its own address, storing
   2    into *P changes P itself.  */
   3
   4 char *a;
   5
   6 main ()
   7 {
   8   /* Make 'a' point to itself.  */
   9   a = (char *)&a;
  10
  11   /* Change what 'a' is pointing to.  */
  12   a[0]++;
  13
  14   /* If a's memory tag does not contain 'a' in its alias set, we will
  15      think that this predicate is superfluous and change it to
  16      'if (1)'.  */
  17   if (a == (char *)&a)
  18     abort ();
  19
  20   return 0;
  21 }