* SPDX-License-Identifier: GPL-3.0-or-later
*/
-#include <assert.h>
#include <errno.h>
#include <stdio.h>
#include <stdlib.h>
if (ret < 0)
return NGHTTP2_ERR_CALLBACK_FAILURE;
data->pos += length;
- assert(data->pos <= data->len);
+ if (!kr_assume(data->pos <= data->len))
+ return NGHTTP2_ERR_CALLBACK_FAILURE;
ret = send_padding(ctx, (uint8_t)frame->data.padlen);
if (ret < 0)
struct http_ctx *ctx = (struct http_ctx *)user_data;
ssize_t len;
int32_t stream_id = frame->hd.stream_id;
- assert(stream_id != -1);
+ if(!kr_assume(stream_id != -1))
+ return NGHTTP2_ERR_CALLBACK_FAILURE;
if ((frame->hd.flags & NGHTTP2_FLAG_END_STREAM) && ctx->incomplete_stream == stream_id) {
if (ctx->current_method == HTTP_METHOD_GET) {
if (!ctx->h2)
return kr_error(ENOSYS);
- assert(ctx->session == session);
+ if (!kr_assume(ctx->session == session))
+ return kr_error(EINVAL);
ctx->submitted = 0;
ctx->buf = session_wirebuf_get_free_start(session);