More fold_negate in match.pd
[official-gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / foldaddr-1.c
blobaa5605f61443c87c28edd4aca011e3b485feb642
1 /* { dg-do compile } */
2 /* { dg-options "-O1 -fdump-tree-original" } */
3 #include <stddef.h>
5 char *a;
6 int foo(char *b)
8 return a+5+(ptrdiff_t)b == (ptrdiff_t)b+a;
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" } } */