Make the definition of the noalias attribute clearer.