From: jconner Date: Fri, 26 Aug 2005 22:42:44 +0000 (+0000) Subject: PR middle-end/23584 X-Git-Url: http://git.sourceforge.jp/view?p=pf3gnuchains%2Fgcc-fork.git;a=commitdiff_plain;h=c156e558a6e7283eb7ea917488ecd6495a2c1f8a;ds=sidebyside PR middle-end/23584 * ipa-pure-const.c (check_tree): Check for volatile-ness when considering a dereference. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@103546 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b2643c29516..cc3117c92da 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2005-08-26 Josh Conner + + PR middle-end/23584 + * ipa-pure-const.c (check_tree): Check for volatile-ness + when considering a dereference. + 2005-08-27 Jakub Jelinek * rtl.h (MEM_IN_STRUCT_P): Fix comment typo. diff --git a/gcc/ipa-pure-const.c b/gcc/ipa-pure-const.c index 0b659a0aee6..c60383118f2 100644 --- a/gcc/ipa-pure-const.c +++ b/gcc/ipa-pure-const.c @@ -182,13 +182,14 @@ check_tree (funct_state local, tree t, bool checking_write) /* Any indirect reference that occurs on the lhs disqualifies the function from being pure or const. Any - indirect reference that occurs on the rhs disqualifies - the function from being const. */ - if (checking_write) + indirect reference to a volatile disqualifies the + function from being pure or const. Any indirect + reference that occurs on the rhs disqualifies the + function from being const. */ + if (checking_write || TREE_THIS_VOLATILE (t)) local->pure_const_state = IPA_NEITHER; - else - if (local->pure_const_state == IPA_CONST) - local->pure_const_state = IPA_PURE; + else if (local->pure_const_state == IPA_CONST) + local->pure_const_state = IPA_PURE; } if (SSA_VAR_P (t))