1. A method for compiling program code, comprising: in a processing subsystem, performing operations for compiling the program code to generate compiled program code, the operations comprising: identifying a pointer in the program code that points to an unspecified address space; analyzing at least a portion of the program code to determine one or more address spaces to which the pointer may point; and updating metadata for the pointer to indicate the one or more address spaces to which the pointer may point, the metadata enabling a determination of an address space to which the pointer points during subsequent execution of the compiled program code.