[gumby]

I think a compliant c++ implementation is allowed to do this and I think all do so at least for straightforward cases.

[mhh__]

It's allowed to but you aren't allowed to assume.