SPRAC71A March 2019 – February 2020
A relocation that refers to an undefined weak symbol is satisfied as follows:
All other cases are non-conformant with the ABI.