diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ipa-pure-const.c | 7 |
2 files changed, 12 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8fc9c977e73..c9d4ea0f72a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2010-07-26 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/45052 + * ipa-pure-const.c (check_stmt): Check volatileness. + 2010-07-25 Eric Botcazou <ebotcazou@adacore.com> PR target/44707 diff --git a/gcc/ipa-pure-const.c b/gcc/ipa-pure-const.c index 1ff15bf22e6..0e07e448295 100644 --- a/gcc/ipa-pure-const.c +++ b/gcc/ipa-pure-const.c @@ -651,6 +651,13 @@ check_stmt (gimple_stmt_iterator *gsip, funct_state local, bool ipa) print_gimple_stmt (dump_file, stmt, 0, 0); } + if (gimple_has_volatile_ops (stmt)) + { + local->pure_const_state = IPA_NEITHER; + if (dump_file) + fprintf (dump_file, " Volatile stmt is not const/pure\n"); + } + /* Look for loads and stores. */ walk_stmt_load_store_ops (stmt, local, ipa ? check_ipa_load : check_load, |