question on memory dependence analyzer


I am trying to do some code motion, but there is a memory dependence due to an alias between a store to a static int and unrelated loads from other int pointers. I also see that this static int’s address is never taken. That could have been useful information for the alias analyzer. Is this a limitation or am I using the memory dependence analyzer incorrectly?