set_reached
case LC_NOTREACHED: set_reached(false);
set_reached(true);
set_reached(true);
set_reached(true);
set_reached(true);
set_reached(true);
set_reached(constant_is_nonzero(tn));
set_reached(!cstmt->c_always_then);
set_reached(true);
set_reached(false);
set_reached(true);
set_reached(false);
set_reached(true);
set_reached(true);
set_reached(true);
set_reached(body_reached);
set_reached(!cstmt->c_maybe_endless || cstmt->c_break);
set_reached(true);
set_reached(true);
set_reached(false);
set_reached(true);
set_reached(true);
set_reached(!is_zero(tn2));
set_reached(true);
set_reached(true);
set_reached(cstmt->c_break || !cstmt->c_maybe_endless);
set_reached(false);
set_reached(false);
set_reached(false);
set_reached(false);
set_reached(false);