function value_expr

node を評価したときに、確実に値が得られない式があるならば警告またはエラーにする。