From nobody Sun Nov 24 09:39:38 2024 Delivered-To: importer@patchew.org Authentication-Results: mx.zohomail.com; dkim=pass; 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; dmarc=pass(p=none dis=none) header.from=linaro.org ARC-Seal: i=1; a=rsa-sha256; t=1726006633; cv=none; d=zohomail.com; s=zohoarc; b=P9Be33f6gP+1D4YtSnWCFH2gVExNVYYXjrJC24CP9D9BCbvt3WNG6FK3AC4D9eCb0RVnuMYPqJLIdkDtPtVFBYcKwb2ANTEJs71q+uKnzVUEY2wdyeirEpDTfGPOgCxZ4OsyaBk8OQOxSgd5bMkIjWg96D4U7ug0oNED5Im7HNk= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1726006633; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Archive:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=CeSGQFthD+JPD1wVuC9PwgsK3RUFyGiI0SGu9xd9Ivo=; b=IT9NkpVSgD5hnH8wlt39mGu0O3N9WUcgK4clyd8+yjSjPsqtRhdJRq//gFlrtkSd3jkgf1t3zkJINZz5V2gWTvXTu1HIJjsnwTVedmhQaGcJNgmOFWmNi7jcpwiFHk0Rh5LqWIhLx4+3IEj169Rv6bfuxL14qoMhx40kpqcoK9o= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass; 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; dmarc=pass header.from= (p=none dis=none) Return-Path: Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mx.zohomail.com with SMTPS id 1726006633180876.5521093874793; Tue, 10 Sep 2024 15:17:13 -0700 (PDT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1so99w-00075a-VV; Tue, 10 Sep 2024 18:16:30 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1so99l-0006U3-5E for qemu-devel@nongnu.org; Tue, 10 Sep 2024 18:16:17 -0400 Received: from mail-pf1-x430.google.com ([2607:f8b0:4864:20::430]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1so99i-0006Rx-78 for qemu-devel@nongnu.org; Tue, 10 Sep 2024 18:16:16 -0400 Received: by mail-pf1-x430.google.com with SMTP id d2e1a72fcca58-718a3b8a2dcso3687294b3a.2 for ; Tue, 10 Sep 2024 15:16:13 -0700 (PDT) Received: from linaro.vn.shawcable.net ([2604:3d08:9384:1d00::9633]) by smtp.gmail.com with ESMTPSA id d2e1a72fcca58-71909003d0esm1884055b3a.93.2024.09.10.15.16.10 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 10 Sep 2024 15:16:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1726006573; x=1726611373; darn=nongnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=CeSGQFthD+JPD1wVuC9PwgsK3RUFyGiI0SGu9xd9Ivo=; b=rhbZGnlDNOC+F4FxLysBk2HCD3E4ibnAxbiI1Z29HlvOIxnBURjejLNtLPupD0a38d ieKSqotaNDCgJnw3GdtoGuNFMMJhp77l7v0hPuV6Ttgk/Z2qBhrIhyuE1zNGr1ON2yws s8somf5nUWKBHjxeNmatTYyE8WJes48SmXuOL437fshEW/mqAHxHBsBAPwSjyfVlHhyZ UOcBrMvvdEZ5dvitpGr82qVMVba6I4Pyz2btDznt89TcBA6rAIvk5eP1gybf4ciIUagx dNjjWjtyiX2VrTvPs45kkRXKcf2Za1FfyVguvGw99BBnSMhk2VDPfq5p57ECu/0f9rKz Q80w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1726006573; x=1726611373; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=CeSGQFthD+JPD1wVuC9PwgsK3RUFyGiI0SGu9xd9Ivo=; b=tkemAe76K65uzgxtwVVR3H2CD/C9HpzVHVzOlRrPIIiU3hubd92kZfHzFayJCo+Zug RTmpTs3PW00Sgf5xn2oLVTfYWd0v8asyIdabNwBxdMOzvv1iA+YJidSY6w6A+FDWRmQY +S7SWfu2PyWOmqzrZC1Rq1cr253ss5MhQgPDOLMzBqV1x1MClX2MiyBqWEllsKy4YFSn HzFGWtZlsXZtpKoGMQIYImBgklTG0eRlFo7l/oryRyVyYl+Sim2zjsL6k2hY6yeQjZHn Tt/G52aA/neKbdJD5zm5jDnb2GVTOm6VT/AXcUYVZLQOWssENK8CdQBA7EO8tJ2RtECS wYag== X-Gm-Message-State: AOJu0Yzve709O6QOlgamF73kQ0oyfx9E8cGSQw9+uml7+l6a3uu8Kllm PjCGf+mvzF1mzfbayOHbnZ3U6HSxgdgPCeqPZ1r7LrLBwhX69YA3iXMz1YbTQb9Quk8np1g5ZfV TmsP8HqXu X-Google-Smtp-Source: AGHT+IE7453ZnoDagMTvxw086SwFz1gaHnvHw1jrau87eetjbI39fjMwGBgCRYADVfAcbJ/ECITkzQ== X-Received: by 2002:a05:6a20:c703:b0:1cf:590f:ddbc with SMTP id adf61e73a8af0-1cf5e0b7845mr3064462637.18.1726006572754; Tue, 10 Sep 2024 15:16:12 -0700 (PDT) From: Pierrick Bouvier To: qemu-devel@nongnu.org Cc: Zhao Liu , "Richard W.M. Jones" , Joel Stanley , Kevin Wolf , Paolo Bonzini , qemu-arm@nongnu.org, Corey Minyard , Eric Farman , Thomas Huth , Keith Busch , WANG Xuerui , Hyman Huang , Stefan Berger , Michael Rolnik , Alistair Francis , =?UTF-8?q?Marc-Andr=C3=A9=20Lureau?= , Markus Armbruster , Sriram Yagnaraman , Palmer Dabbelt , qemu-riscv@nongnu.org, Ani Sinha , Halil Pasic , Jesper Devantier , Laurent Vivier , Peter Maydell , Igor Mammedov , kvm@vger.kernel.org, =?UTF-8?q?Alex=20Benn=C3=A9e?= , Richard Henderson , Fam Zheng , qemu-s390x@nongnu.org, Hanna Reitz , Nicholas Piggin , Eduardo Habkost , Laurent Vivier , Rob Herring , Marcel Apfelbaum , qemu-block@nongnu.org, "Maciej S. Szmigiero" , qemu-ppc@nongnu.org, Daniel Henrique Barboza , Christian Borntraeger , Harsh Prateek Bora , =?UTF-8?q?Philippe=20Mathieu-Daud=C3=A9?= , Nina Schoetterl-Glausch , "Michael S. Tsirkin" , Fabiano Rosas , Helge Deller , Dmitry Fleytman , Daniel Henrique Barboza , Akihiko Odaki , Marcelo Tosatti , David Gibson , Aurelien Jarno , Liu Zhiwei , Yanan Wang , Peter Xu , Bin Meng , Weiwei Li , Klaus Jensen , Jean-Christophe Dubois , Jason Wang , Pierrick Bouvier Subject: [PATCH 01/39] docs/spin: replace assert(0) with g_assert_not_reached() Date: Tue, 10 Sep 2024 15:15:28 -0700 Message-Id: <20240910221606.1817478-2-pierrick.bouvier@linaro.org> X-Mailer: git-send-email 2.39.2 In-Reply-To: <20240910221606.1817478-1-pierrick.bouvier@linaro.org> References: <20240910221606.1817478-1-pierrick.bouvier@linaro.org> MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable 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=2607:f8b0:4864:20::430; envelope-from=pierrick.bouvier@linaro.org; helo=mail-pf1-x430.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, 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.29 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-bounces+importer=patchew.org@nongnu.org X-ZohoMail-DKIM: pass (identity @linaro.org) X-ZM-MESSAGEID: 1726006634863116600 Content-Type: text/plain; charset="utf-8" Signed-off-by: Pierrick Bouvier Reviewed-by: Richard Henderson --- docs/spin/aio_notify_accept.promela | 6 +++--- docs/spin/aio_notify_bug.promela | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/spin/aio_notify_accept.promela b/docs/spin/aio_notify_acc= ept.promela index 9cef2c955dd..f929d303281 100644 --- a/docs/spin/aio_notify_accept.promela +++ b/docs/spin/aio_notify_accept.promela @@ -118,7 +118,7 @@ accept_if_req_not_eventually_false: if :: req -> goto accept_if_req_not_eventually_false; fi; - assert(0); + g_assert_not_reached(); } =20 #else @@ -141,12 +141,12 @@ accept_if_event_not_eventually_true: :: !event && notifier_done -> do :: true -> skip; od; :: !event && !notifier_done -> goto accept_if_event_not_eventually= _true; fi; - assert(0); + g_assert_not_reached(); =20 accept_if_event_not_eventually_false: if :: event -> goto accept_if_event_not_eventually_false; fi; - assert(0); + g_assert_not_reached(); } #endif diff --git a/docs/spin/aio_notify_bug.promela b/docs/spin/aio_notify_bug.pr= omela index b3bfca1ca4f..ce6f5177ed5 100644 --- a/docs/spin/aio_notify_bug.promela +++ b/docs/spin/aio_notify_bug.promela @@ -106,7 +106,7 @@ accept_if_req_not_eventually_false: if :: req -> goto accept_if_req_not_eventually_false; fi; - assert(0); + g_assert_not_reached(); } =20 #else @@ -129,12 +129,12 @@ accept_if_event_not_eventually_true: :: !event && notifier_done -> do :: true -> skip; od; :: !event && !notifier_done -> goto accept_if_event_not_eventually= _true; fi; - assert(0); + g_assert_not_reached(); =20 accept_if_event_not_eventually_false: if :: event -> goto accept_if_event_not_eventually_false; fi; - assert(0); + g_assert_not_reached(); } #endif --=20 2.39.2