The comment thread seems to suggest that even if you define the behavior you can still optimize that case, and in fact Clang does.