gcc/testsuite/gcc.dg/tree-ssa/foldaddr-1.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O1 -fdump-tree-original" } */
   3 #include <stddef.h>
   4
   5 char *a;
   6 int foo(char *b)
   7 {
   8         return a+5+(ptrdiff_t)b == (ptrdiff_t)b+a;
   9 }
  10
  11 /* Folding should have determined that the two addresses were
  12    not identical and thus collapsed the function into a trivial
  13    "return 0".  */
  14 /* { dg-final { scan-tree-dump-times "return 0" 1 "original"} } */
  15 /* { dg-final { cleanup-tree-dump "original" } } */
  16