On May 8, 2008, at 2:54 PM, Dan Gohman wrote: > Hi Chris, > Should mayReadFromMemory consider that a volatile store > reads memory, similar to how mayWriteToMemory considers > that a volatile load may write to memory? Sure, that is conservatively correct. I'll take care of it. -Chris