I would leave this out or leave it at 'the behavior is unspecified'. Once you document it, changing it later on becomes much harder.