On 9/6/07, Richard Guenther <[EMAIL PROTECTED]> wrote: > $subject?
It is not. You can have a statement that references memory and have no virtual operands at all (volatile or totally pruned VOPs for instance). Also, the very first alias analysis pass will find statements with no VOPs but with memory references. stmt_references_memory_p() must work regardless. > So, is it ok to replace those checks by checking the variable annotation > instead? What variable annotation? This is a statement annotation.