Сейчас компилятор выдаёт хинты, если мы пытаемся передать в процедуру в качестве обычного или var параметра переменную, которая не была предварительно проинициализированна.
Моё мнение - в этом случае нужен не варнинг - а error.
На мой взгляд если первичная иницализация перменной происходит в процедуре то параметр для неё необходимо объявлять через out.
По моему хороший метод отлавливать глюки на этапе компиляции.