> Yes, as long as the original pointer was to a non-const location.

So then actually no - it's not guaranteed to be portable. That non-const location qualification of course means portable code cannot just cast const pointers to non-const.