[FP] FieldsFromJoinsWithoutIsNull Отсутствие проверки на NULL для полей из присоединяемых таблиц

[artbear]

Диагностика

FieldsFromJoinsWithoutIsNull

Версия

develop на 11.10.2010 - сразу после мержа ПР #1650

Описание ложного срабатывания диагностики

пока нашел только два ФП
1 - когда есть явный отбор в ГДЕ Таблица.Поле ЕСТЬ NULL и больше обращений к этой таблице нет.
достаточно редкий случай

2 - в комментарии еще есть срабатывание
3 - в комментарии еще есть срабатывание

Подумаю, как исправить.

Пример кода

    Запрос = Новый Запрос;
    Запрос.Текст =
    "ВЫБРАТЬ Истина
    |ИЗ Справочник.Склады КАК Склады15
    |ЛЕВОЕ СОЕДИНЕНИЕ Справочник.Сотрудники КАК Сотрудники15
    |ПО Склады15.Кладовщик = Сотрудники15.Ссылка
    |ГДЕ Сотрудники15.Реквизит ЕСТЬ NULL // здесь не должно быть ошибки, а она есть
    |";

или

	Запрос.Текст = 
		"ВЫБРАТЬ
		|	ВерсииФайлов.Ссылка
		|ИЗ
		|	Справочник.ВерсииФайлов КАК ВерсииФайлов
		|		ЛЕВОЕ СОЕДИНЕНИЕ РегистрСведений.ДвоичныеДанныеФайлов КАК ДвоичныеДанныеФайлов
		|		ПО ВерсииФайлов.Ссылка = ДвоичныеДанныеФайлов.Файл
		|ГДЕ
		|	ДвоичныеДанныеФайлов.Файл ЕСТЬ NULL
		|	И ВерсииФайлов.ТипХраненияФайла = ЗНАЧЕНИЕ(Перечисление.ТипыХраненияФайлов.ВИнформационнойБазе)
		|
		|УПОРЯДОЧИТЬ ПО
		|	ВерсииФайлов.ДатаМодификацииУниверсальная УБЫВ";

Скриншоты

Дополнительная информация

Основной тикет на правило #1444

[artbear]

@nixel2007 @theshadowco Назначьте на меня, сделаю

[artbear]

Еще одно неожиданное ФП - такой код вроде бы обработан и тест есть (

[artbear]

Еще похожее ФП