Коллеги,

под постом в сообществе Гершельhttps://vk.com/herschelcompiler?w=wall-196590190_62_r75
> -- Илья Ермаков писал(а):
> научить бы компилятор определять обращение до инициализации

Как я это понимаю: было бы полезно (в ряде случаев?) иметь гарантии того, что использование неопределенных значений переменных приводит к аварийному останову. Это можно было бы ввести в компилятор как опцию, наподобие проверки области допустимых значений (range checks, разд. 12 Platform-specific issues). Включаешь, обращаешься к переменной с неопределенным значением - и получаешь авост.

Напомню, что ныне Сообщение о языке гарантирует инициализацию только указательных и процедурных локальных переменных до выполнения тела процедуры. Это позволяет компилятору КП не инициализировать локальные переменные других типов, и СР2 так и делает.

В соседнем цехе Денис Будяк подверг такое положение вещей резкой критике, привел обоснования. Как я его понял, он считает, что язык должен гарантировать начальные значения всем типам. Но, как гласит предание ), в Оберонах это считается слишком накладным в отношении локальных переменных.

Что думаете по поводу целесообразности и технической возможности таких проверок?