"Since there is no way to know at compile time what addresses are going to stored at a place"

Well, this is exactly what LLVM's (admittedly limited) mem2reg pass is for.