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

P>На правах гипотезы — возможно, визуальник защищается не от того, что функция кинет, а от разыменовывания нулевого указателя. Может, если там будет, например, ссылка — ему будет легче?
Нет, он защищается не от разыменования нулевого указателя. И защищаться он от этого не должен: это undefined behaviour.

P>Или __assume (obj != 0). Только обратите внимание что __assume с неправильным условием крайне опасен.
Это не помогает. Но, спасибо, что сказали о наличии __assume, не знал об этом.