From nobody Wed Jun 29 08:23:56 2022 X-Original-To: dev-commits-src-branches@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 9E1AE86599D; Wed, 29 Jun 2022 08:23:56 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4LXvcr2qB7z4nqs; Wed, 29 Jun 2022 08:23:56 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1656491036; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=AY+jsEQdMl1+NXcqbJJNW/HhCpwVs7V6SHeJJAjnV2c=; b=oIr5QeUADwqp9RMRz9W0AynqSntUfR9kYHJRmepYPk9QbIxbLpm5V1O3lyxP/pGFUDkrUX 2tDA8NBijkJfz481o9zPBBV143xGfE952JBRt8jMKgwi0+qlSSOTwDUqXJKCUXpBpkETKV Sdc38f/fIx5I7Enx8JhwTpPYlNCCjlauzLOmms0xU7F7bGbQtzKE9sWAds1gggXu841E0V ozxsRGRAA/RlIoueVn0UGYfCR16Gzi5k/DC9dg59ovpV+qhmcvf9kVID5XHwmbnRL4tCdc IkrTUvxeu2VOmyvPLu9IkUQ4xEUd+Yzg6kUEpUCj7730PmthjhwIggAaXDPbpQ== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 2CB0E63D1; Wed, 29 Jun 2022 08:23:56 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 25T8NuHX018797; Wed, 29 Jun 2022 08:23:56 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 25T8NunJ018796; Wed, 29 Jun 2022 08:23:56 GMT (envelope-from git) Date: Wed, 29 Jun 2022 08:23:56 GMT Message-Id: <202206290823.25T8NunJ018796@gitrepo.freebsd.org> To: src-committers@FreeBSD.org, dev-commits-src-all@FreeBSD.org, dev-commits-src-branches@FreeBSD.org From: Mateusz Piotrowski <0mp@FreeBSD.org> Subject: git: 7e6f5e494a76 - stable/13 - assert.3: Document static_assert and _Static_assert List-Id: Commits to the stable branches of the FreeBSD src repository List-Archive: https://lists.freebsd.org/archives/dev-commits-src-branches List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-src-branches@freebsd.org X-BeenThere: dev-commits-src-branches@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: 0mp X-Git-Repository: src X-Git-Refname: refs/heads/stable/13 X-Git-Reftype: branch X-Git-Commit: 7e6f5e494a76b91ae23c7dbd250dff2d1c6e03bf Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1656491036; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=AY+jsEQdMl1+NXcqbJJNW/HhCpwVs7V6SHeJJAjnV2c=; b=C2y6vmKjJxDRKE+hL1Atlv/6RTO8bC/wEBeWR/t2A7Ryz85UZ1edCvCS9RIfXE1MidWBIW VZrTvAfms2qUyh3ScLiah4Z4ORqb9tB8cdWSAgAb/arBFscuqHlPRdf0ykqh+189YfOeDC Iv7qwHkD5tUzV7uGMEPMXUdHW996EIzFDr94eDYvVoL0ewvX3CJSk2qng4a13KuNtmqQn9 blBWkJmrK6LIP2ioI0OnWYvMh/jTGUtcgldkiEFtGbgvmK41ZbrEtegs1JGSiP5KXj0cvO PY3VjgqjPKif9XVrN4vCkHbh2nj8nuNBC9jVUS+3CjCXa413vnhSjLbGBaomEg== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1656491036; a=rsa-sha256; cv=none; b=cidH5PdeX5ozzp5BQSUgrMD4U8OEfDP2azmbiuYEo+8CkyWHErbboySjZbIl+RVPsLqzH3 oA1G8/B+b9w8y0uheXtETce4qLCnditSO+pkN7TGjKEAkKE1yjyyrpXhiWfzBmqYHKinzZ BUaajpwvTlJE7Tr7WbtAwamzo2GTnQ+qV/nrmIsUtxCl9Jm59iratEVZTNWbgDq2o0nyjn 0jGIKpHAxSORBYpa2Cx845+ule6j8GArizV/mEI7XEHMBaNLV9suUppTQgVNWLfflETAU6 0B/4m8y5R2YBmn/THIStmBoQphl2Az1gZDucr+vlTWTX+3x5nEqA0Uv9OndDVQ== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N The branch stable/13 has been updated by 0mp (doc, ports committer): URL: https://cgit.FreeBSD.org/src/commit/?id=7e6f5e494a76b91ae23c7dbd250dff2d1c6e03bf commit 7e6f5e494a76b91ae23c7dbd250dff2d1c6e03bf Author: Faraz Vahedi AuthorDate: 2021-04-20 08:50:36 +0000 Commit: Mateusz Piotrowski <0mp@FreeBSD.org> CommitDate: 2022-06-29 08:22:38 +0000 assert.3: Document static_assert and _Static_assert Reviewed by: imp, 0mp MFC after: 1 week Differential Revision: https://reviews.freebsd.org/D29833 (cherry picked from commit 33f8d79d765230e3189876dec9f0dad2d768de1a) --- share/man/man3/Makefile | 1 + share/man/man3/assert.3 | 37 +++++++++++++++++++++++++++++++++++-- 2 files changed, 36 insertions(+), 2 deletions(-) diff --git a/share/man/man3/Makefile b/share/man/man3/Makefile index 324a843201aa..33101026c01a 100644 --- a/share/man/man3/Makefile +++ b/share/man/man3/Makefile @@ -72,6 +72,7 @@ MLINKS= arb.3 ARB8_ENTRY.3 \ arb.3 ARB_RIGHT.3 \ arb.3 ARB_RIGHTIDX.3 \ arb.3 ARB_ROOT.3 +MLINKS+= assert.3 static_assert.3 MLINKS+= ATOMIC_VAR_INIT.3 atomic_compare_exchange_strong.3 \ ATOMIC_VAR_INIT.3 atomic_compare_exchange_strong_explicit.3 \ ATOMIC_VAR_INIT.3 atomic_compare_exchange_weak.3 \ diff --git a/share/man/man3/assert.3 b/share/man/man3/assert.3 index 8bdf076233c8..cc23f96360f0 100644 --- a/share/man/man3/assert.3 +++ b/share/man/man3/assert.3 @@ -28,15 +28,18 @@ .\" @(#)assert.3 8.1 (Berkeley) 6/9/93 .\" $FreeBSD$ .\" -.Dd May 31, 2018 +.Dd April 20, 2021 .Dt ASSERT 3 .Os .Sh NAME -.Nm assert +.Nm assert , +.Nm static_assert .Nd expression verification macro .Sh SYNOPSIS .In assert.h .Fn assert expression +.Fn static_assert expression +.Fn static_assert expression message .Sh DESCRIPTION The .Fn assert @@ -81,6 +84,21 @@ The macro should only be used for ensuring the developer's expectations hold true. It is not appropriate for regular run-time error detection. +.Pp +The +.Fn static_assert +macro expands to +.Fn _Static_assert , +and, contrarily to +.Fn assert , +makes assertions at compile-time. +Once the constraint is violated, the compiler produces a diagnostic +message including the string literal message, if provided. +The initial form of the +.Fn _Static_assert +containing a string literal message was introduced in C11 standard, and +the other form with no string literal is to be implemented by C2x and +some compilers may lack its adoption at present. .Sh EXAMPLES The assertion: .Dl "assert(1 == 0);" @@ -95,14 +113,29 @@ indicate a bug. Second, the code will disappear if .Dv NDEBUG is defined, changing the semantics of the program. +.Pp +The following asserts that the size of the S structure is 16. +Otherwise, it produces a diagnostic message which points at the +constraint and includes the provided string literal: +.Dl "static_assert(sizeof(struct S) == 16, ""size mismatch"");" +If none is provided, it only points at the constraint. .Sh SEE ALSO .Xr abort2 2 , .Xr abort 3 .Sh STANDARDS +.Rs The .Fn assert macro conforms to .St -isoC-99 . +.Re +.Pp +.Rs +The +.Fn static_assert +macro conforms to +.St -isoC-2011 . +.Re .Sh HISTORY An .Nm