V3125 Ложный Позитив

Question

PVS Studio выдает V3125: объект 'control.Parent' использовался после того, как он был проверен на нулевое значение. Проверьте строки: 11, 9.

using System.Windows.Forms;

namespace V3125_False_Positive
{
    static class Program
    {
        static void Main()
        {
            if (new Control() is Control control && control.Parent != null)
            {
                string parentname = control.Parent.Name;
            }
        }
    }
}

Это ложный положительный результат?

Answer 1

Действительно, это ложный положительный результат. Мы рассмотрим его и попробуем исправить его для следующего выпуска (на самом деле, для выпуска после следующего, так как мы планируем выпустить новую версию примерно через неделю, поэтому исправление не произойдет).

Спасибо за чаевые!