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

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

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

vsb> Потому, что в коде может быть написано что угодно. Если компилятор будет параллелить то, что приводит к ошибкам, значит это бесполезная фича.
Хуже того. Распараллеливание кода даётся не бесплатно, и нередко приводит к падению производительности, если сделать неправильно.
Но некоторые простые и не очень циклы современные компиляторы умеют simd-ить.