Здравствуйте, CodeMonkey, Вы писали:

vsb>>А как ты это докажешь в общем случае?

CM>А зачем тебе в общем случае?

Потому, что в коде может быть написано что угодно. Если компилятор будет параллелить то, что приводит к ошибкам, значит это бесполезная фича.