isc_buffer_remaininglength
while (isc_buffer_remaininglength(&optbuf) >= 4) {
extrabytes = isc_buffer_remaininglength(b);
if (isc_buffer_remaininglength(source) > 0) {
if (isc_buffer_remaininglength(ecsbuf) < 4)
if (isc_buffer_remaininglength(ecsbuf) < addrbytes)
while (isc_buffer_remaininglength(&optbuf) != 0) {
INSIST(isc_buffer_remaininglength(&optbuf) >= 4U);
INSIST(isc_buffer_remaininglength(&optbuf) >= optlen);
tlen = isc_buffer_remaininglength(source);
length = isc_buffer_remaininglength(b);
(_r)->length = isc_buffer_remaininglength(_b); \
if (isc_buffer_remaininglength(source->pushback) == 0 &&
if (isc_buffer_remaininglength(source->pushback) == 0) {