Make nocapture analysis work with addrspacecast