Понимаю, что надо тестировать, но есть унаследованный код с ошибками, и просто опечатки бывают, и недотестированные процедуры..

Компилятор вроде бы обязан ловить такие вещи, но увы. А без таких проверок вообще ни в чем нельзя быть уверенным. Ну и кому такой (пусть и синтаксически правильный) код нужен?

Вообще это дикость для меня после Оракле, что даже статический SQL в скомпилированных процедурах может не работать. Я уж не говорю о зависимостях, инвалидировании. Думал что такое невозможно в наше-то время. Где это всё? Как без этого работать??

Alex_Ustinov,

Может я плохой DBForge скачал, прогоните у себя что нибудь типа этого куска и скажите как всё прошло:

CREATE PROCEDURE test_var1()
BEGIN
DECLARE a int;
SET a = b + c ;
END

Alex_Ustinov,

Пардон, какими полями, если тут всего одна строчка и селектов даже нет?

Для компилятора тут никакой неопределенности быть не может, это ошибка и всё.