Проблема покрытия - разыменование после нулевой проверки

Question

//vData is BOOL
*var_compare_op: Comparing vData null implies that vData might be null.*

        if (!vData)

        {
              *vData = FALSE;
        } 

Я столкнулся с проблемой скрытности в приведенном выше коде.

будет работать ниже решения, без изменения значения кода

if (vData)

{
    vData = FALSE;
}