diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ipa-prop.cc | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/ipa/pr105739.c | 30 |
2 files changed, 34 insertions, 0 deletions
diff --git a/gcc/ipa-prop.cc b/gcc/ipa-prop.cc index 7c7bba0..55c9c37 100644 --- a/gcc/ipa-prop.cc +++ b/gcc/ipa-prop.cc @@ -1112,6 +1112,10 @@ ipa_load_from_parm_agg (struct ipa_func_body_info *fbi, if (!base) return false; + /* We can not propagate across volatile loads. */ + if (TREE_THIS_VOLATILE (op)) + return false; + if (DECL_P (base)) { int index = ipa_get_param_decl_index_1 (descriptors, base); diff --git a/gcc/testsuite/gcc.dg/ipa/pr105739.c b/gcc/testsuite/gcc.dg/ipa/pr105739.c new file mode 100644 index 0000000..8dbe8fc --- /dev/null +++ b/gcc/testsuite/gcc.dg/ipa/pr105739.c @@ -0,0 +1,30 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-optimized" } */ + + +__attribute__((noinline)) +static int +test2(int a) +{ + if (__builtin_constant_p (a)) + __builtin_abort (); + return a; +} +static int +test(int *a) +{ + int val = *(volatile int *)a; + if (__builtin_constant_p (val)) + __builtin_abort (); + if (val) + return test2(val); + return 0; +} +int a; +int +main() +{ + a = 0; + return test (&a); +} +/* { dg-final { scan-tree-dump "test2" "optimized" } } */ |