re PR tree-optimization/23584 (ipa-pure-const pass ignores dereferencing a volatile pointer type)
PR middle-end/23584 * gcc.dg/pr23584.c: New test. From-SVN: r104284
This commit is contained in:
parent
c5e04c908b
commit
a325b0be7e
2 changed files with 26 additions and 0 deletions
|
@ -1,3 +1,8 @@
|
|||
2005-09-14 Josh Conner <jconner@apple.com>
|
||||
|
||||
PR middle-end/23584
|
||||
* gcc.dg/pr23584.c: New test.
|
||||
|
||||
2005-09-14 Jerry DeLisle <jvdelisle@verizon.net>
|
||||
|
||||
PR fortran/21875 Internal Unit Array I/O, NIST
|
||||
|
|
21
gcc/testsuite/gcc.dg/pr23584.c
Normal file
21
gcc/testsuite/gcc.dg/pr23584.c
Normal file
|
@ -0,0 +1,21 @@
|
|||
/* Regression test for PR middle-end/23584 */
|
||||
/* Verify that dereferencing an absolute address inside of a function
|
||||
makes that function impure. */
|
||||
|
||||
/* { dg-do compile } */
|
||||
/* { dg-options "-O1 -fdump-ipa-pure-const" } */
|
||||
|
||||
int test1 (void)
|
||||
{
|
||||
return * (volatile int *) 0x1234;
|
||||
}
|
||||
|
||||
int test2 (void)
|
||||
{
|
||||
int local = * (volatile int *) 0x1234;
|
||||
return local;
|
||||
}
|
||||
|
||||
/* { dg-final { scan-ipa-dump-not "found to be pure: test1" "pure-const" } } */
|
||||
/* { dg-final { scan-ipa-dump-not "found to be pure: test2" "pure-const" } } */
|
||||
/* { dg-final { cleanup-ipa-dump "pure-const" } } */
|
Loading…
Add table
Reference in a new issue