Если есть функция, которая не инлайнится, проверка должна быть сделана на каждый содержательно используемый параметр.

Многие типы, включая то же целое, от доопределения меняют математические свойства. К тому же доопределять можно не единственным способом.

Было бы прекрасно, если бы проверка неопределенности всегда могла быть выполнена статически.

Кстати, хочется именно неопределенности значения или неопределенности переменной? Можно ли неопределенное значение присваивать (литералом, другой переменной, передавать параметром)?