| /* { dg-do compile } */ |
| /* Disable FRE1 because that for the sake of __builtin_object_size |
| will not consider the equality but still valueize 'i', defeating |
| the purpose of the check. */ |
| /* { dg-options "-O -fdump-tree-fre3 -fdisable-tree-fre1" } */ |
| |
| struct S { int a[4]; }; |
| |
| int i; |
| int bar (struct S *p) |
| { |
| char *q = (char *)p + 4; |
| i = 1; |
| int *r = &((struct S *)p)->a[i]; |
| return q == (char *)r; |
| } |
| int baz (struct S *p) |
| { |
| i = 1; |
| int *r = &((struct S *)p)->a[i]; |
| char *q = (char *)p + 4; |
| return q == (char *)r; |
| } |
| |
| /* Verify FRE can handle valueizing &p->a[i] and value-numbering it |
| equal to a POINTER_PLUS_EXPR. */ |
| /* { dg-final { scan-tree-dump-times "return 1;" 2 "fre3" } } */ |
