We don't know where we were before and what expression needs to be indexed. All we care about, is that the array pointer is in rax and the resulting value will also be in rax!
(directAccess []DirectAccess, asm *ASM, s *SymbolTable)
source not stored for this graph (policy: none)
no test coverage detected