URL
https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk
Subversion Repositories openrisc_2011-10-31
[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [gcc.c-torture/] [execute/] [pr15262-1.c] - Rev 378
Go to most recent revision | Compare with Previous | Blame | View Log
/* PR 15262. The alias analyzer only considers relations between pointers and symbols. If two pointers P and Q point to the same symbol S, then their respective memory tags will either be the same or they will have S in their alias set. However, if there are no common symbols between P and Q, TBAA will currently miss their alias relationship altogether. */ struct A { int t; int i; }; int foo () { return 3; } main () { struct A loc, *locp; float f, g, *p; int T355, *T356; /* Avoid the partial hack in TBAA that would consider memory tags if the program had no addressable symbols. */ f = 3; g = 2; p = foo () ? &g : &f; if (*p > 0.0) g = 1; /* Store into *locp and cache its current value. */ locp = malloc (sizeof (*locp)); locp->i = 10; T355 = locp->i; /* Take the address of one of locp's fields and write to it. */ T356 = &locp->i; *T356 = 1; /* Read the recently stored value. If TBAA fails, this will appear as a redundant load that will be replaced with '10'. */ T355 = locp->i; if (T355 != 1) abort (); return 0; }
Go to most recent revision | Compare with Previous | Blame | View Log