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