1 /* { dg-do compile } */
2 /* { dg-options "-O1 -fdump-tree-original" } */
3 #include <stddef.h>
4 
5 char *a;
foo(char * b)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 
16