В данном случае неважно, do_something() может и заведомо не влиять на foo или ptr. Суть в том, что это неправильный компилятор, который заранее решает, что предусловия второй части кода выполнены, а посему закроем глаза и будем надеяться на лучшее, а значит, иф из первой части кода не нужен.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
branchandroot
no subject
Date: 2016-04-06 02:11 pm (UTC)Суть в том, что это неправильный компилятор, который заранее решает, что предусловия второй части кода выполнены, а посему закроем глаза и будем надеяться на лучшее, а значит, иф из первой части кода не нужен.