GCC uses a different encoding of pointers in the FDE when using