GCC doesn't understand that OrigAliasResult having a value is correlated with