From nobody Tue Nov 18 21:16:32 2025 Delivered-To: importer@patchew.org Authentication-Results: mx.zohomail.com; spf=pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org ARC-Seal: i=1; a=rsa-sha256; t=1612737188; cv=none; d=zohomail.com; s=zohoarc; b=MaRc7yF8VLukkMBGUCCGWmYbYRecAnCpUJ8tPKixCSnzbuCSABNT2EI2aVaf6piOHBQoIeqly6SOdHycLRpQWo5tDiS2F5fY9LEV7LNwFHTfGqYK3k52ceI0fW/p1Q80jTaedABIZ+SQfUTlQv1CibSFmbBheiqWHiJr7rHFWco= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1612737188; h=Content-Type:Content-Transfer-Encoding:Date:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Archive:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:To; bh=WG+72Eb+ydRykEEHffGm51xQHUCleZCLDmkh18+KUcc=; b=VemDJ9okIypYYbuPdf5StRtGNybAQAwoJPfuF9LQTROgoYFRM7q2RJhv+tz30BS5P2wqA1VJdVMI5fJnbMzGHkTkoDGz5Frcmbc7cNDAoztAcyyCM79mqleypls8M6bAloW33OzUgp3dN2UrN3cRMGgOC5iZJLvmLRS8XwZ/lZU= ARC-Authentication-Results: i=1; mx.zohomail.com; spf=pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org Return-Path: Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mx.zohomail.com with SMTPS id 161273718808240.99350304211055; Sun, 7 Feb 2021 14:33:08 -0800 (PST) Received: from localhost ([::1]:41686 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1l8sc6-0005eX-SL for importer@patchew.org; Sun, 07 Feb 2021 17:33:06 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:45360) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l8sYT-0002gy-RL for qemu-devel@nongnu.org; Sun, 07 Feb 2021 17:29:21 -0500 Received: from mail.ilande.co.uk ([2001:41c9:1:41f::167]:52594 helo=mail.default.ilande.uk0.bigv.io) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l8sYS-0005K9-Dm for qemu-devel@nongnu.org; Sun, 07 Feb 2021 17:29:21 -0500 Received: from host109-153-84-1.range109-153.btcentralplus.com ([109.153.84.1] helo=kentang.home) by mail.default.ilande.uk0.bigv.io with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1l8sYk-00075W-5d; Sun, 07 Feb 2021 22:29:42 +0000 From: Mark Cave-Ayland To: qemu-devel@nongnu.org, peter.maydell@linaro.org Date: Sun, 7 Feb 2021 22:29:01 +0000 Message-Id: <20210207222902.29099-2-mark.cave-ayland@ilande.co.uk> X-Mailer: git-send-email 2.20.1 In-Reply-To: <20210207222902.29099-1-mark.cave-ayland@ilande.co.uk> References: <20210207222902.29099-1-mark.cave-ayland@ilande.co.uk> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-SA-Exim-Connect-IP: 109.153.84.1 X-SA-Exim-Mail-From: mark.cave-ayland@ilande.co.uk Subject: [PULL 1/2] utils/fifo8: change fatal errors from abort() to assert() X-SA-Exim-Version: 4.2.1 (built Wed, 08 May 2019 21:11:16 +0000) X-SA-Exim-Scanned: Yes (on mail.default.ilande.uk0.bigv.io) Received-SPF: pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as permitted sender) client-ip=209.51.188.17; envelope-from=qemu-devel-bounces+importer=patchew.org@nongnu.org; helo=lists.gnu.org; Received-SPF: pass client-ip=2001:41c9:1:41f::167; envelope-from=mark.cave-ayland@ilande.co.uk; helo=mail.default.ilande.uk0.bigv.io X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: qemu-devel-bounces+importer=patchew.org@nongnu.org Sender: "Qemu-devel" Developer errors are better represented with assert() rather than abort(). = Also improve the strictness of the checks by using range checks within the asser= t() rather than converting the existing equality checks to inequality checks. Signed-off-by: Mark Cave-Ayland Reviewed-by: Claudio Fontana Reviewed-by: Philippe Mathieu-Daud=C3=A9 Message-Id: <20210121102518.20112-1-mark.cave-ayland@ilande.co.uk> --- util/fifo8.c | 16 ++++------------ 1 file changed, 4 insertions(+), 12 deletions(-) diff --git a/util/fifo8.c b/util/fifo8.c index a5dd789ce5..d4d1c135e0 100644 --- a/util/fifo8.c +++ b/util/fifo8.c @@ -31,9 +31,7 @@ void fifo8_destroy(Fifo8 *fifo) =20 void fifo8_push(Fifo8 *fifo, uint8_t data) { - if (fifo->num =3D=3D fifo->capacity) { - abort(); - } + assert(fifo->num < fifo->capacity); fifo->data[(fifo->head + fifo->num) % fifo->capacity] =3D data; fifo->num++; } @@ -42,9 +40,7 @@ void fifo8_push_all(Fifo8 *fifo, const uint8_t *data, uin= t32_t num) { uint32_t start, avail; =20 - if (fifo->num + num > fifo->capacity) { - abort(); - } + assert(fifo->num + num <=3D fifo->capacity); =20 start =3D (fifo->head + fifo->num) % fifo->capacity; =20 @@ -63,9 +59,7 @@ uint8_t fifo8_pop(Fifo8 *fifo) { uint8_t ret; =20 - if (fifo->num =3D=3D 0) { - abort(); - } + assert(fifo->num > 0); ret =3D fifo->data[fifo->head++]; fifo->head %=3D fifo->capacity; fifo->num--; @@ -76,9 +70,7 @@ const uint8_t *fifo8_pop_buf(Fifo8 *fifo, uint32_t max, u= int32_t *num) { uint8_t *ret; =20 - if (max =3D=3D 0 || max > fifo->num) { - abort(); - } + assert(max > 0 && max <=3D fifo->num); *num =3D MIN(fifo->capacity - fifo->head, max); ret =3D &fifo->data[fifo->head]; fifo->head +=3D *num; --=20 2.20.1