Re: Why doesn't combine like volatiles? (volatile_ok again, sorry!)

[Mike Stump <mrs at apple dot com>]

On Nov 22, 2005, at 7:52 AM, Richard Earnshaw wrote:
> 3) A volatile load isn't moved across any store that may alias (though
> I'd expect that to be volatile if there's a real risk of aliasning, so
> maybe we could have another dimension in the 'may-alias' test here).

?  Is this just a restatement of the general rule that one cannot  
move a load across a store that may alias?  If so, we don't need to  
list it here, as it comes under the normal rules of what one may not  
do, and sense we don't relist all of them, there isn't any point in  
listing any of them.