From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on dcvr.yhbt.net X-Spam-Level: X-Spam-ASN: AS22989 209.51.188.0/24 X-Spam-Status: No, score=-3.2 required=3.0 tests=AWL,BAYES_00, DATE_IN_PAST_06_12,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI, SPF_PASS shortcircuit=no autolearn=no autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1 with cipher AES256-SHA (256/256 bits)) (No client certificate requested) by dcvr.yhbt.net (Postfix) with ESMTPS id A3BD320248 for ; Wed, 20 Mar 2019 23:34:56 +0000 (UTC) Received: from localhost ([127.0.0.1]:56708 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h6kjX-0004vO-3D for normalperson@yhbt.net; Wed, 20 Mar 2019 19:34:55 -0400 Received: from eggs.gnu.org ([209.51.188.92]:46747) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h6kjQ-0004v7-Me for bug-gnulib@gnu.org; Wed, 20 Mar 2019 19:34:51 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1h6kjQ-00019t-3O for bug-gnulib@gnu.org; Wed, 20 Mar 2019 19:34:48 -0400 Received: from smtp.lrde.epita.fr ([163.5.55.2]:53562) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h6kjP-0000yu-PG for bug-gnulib@gnu.org; Wed, 20 Mar 2019 19:34:48 -0400 Received: from io.home (unknown [83.202.133.85]) by smtp.lrde.epita.fr (Postfix) with ESMTPSA id 97D99430D4; Thu, 21 Mar 2019 00:34:39 +0100 (CET) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 12.2 \(3445.102.3\)) Subject: Re: undefined behaviour findings in bitset From: Akim Demaille In-Reply-To: <119492797.05XtEPGFlD@omega> Date: Wed, 20 Mar 2019 18:04:37 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: References: <1931657.LsgtlLSD0p@omega> <2593862.vejflyQVVE@omega> <01823B93-67BA-48A1-894E-92B3AC639E75@lrde.epita.fr> <119492797.05XtEPGFlD@omega> To: Bruno Haible X-Mailer: Apple Mail (2.3445.102.3) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 163.5.55.2 X-BeenThere: bug-gnulib@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: Gnulib discussion list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: bug-gnulib@gnu.org Errors-To: bug-gnulib-bounces+normalperson=yhbt.net@gnu.org Sender: "bug-gnulib" Hi Bruno, > Le 20 mars 2019 =C3=A0 04:39, Bruno Haible a =C3=A9cri= t : >=20 > Akim Demaille wrote: >> Also, the relationship with noreturn.h is not completely clear for >> me either. >=20 > I'm adding this documentation: >=20 > 2019-03-19 Bruno Haible >=20 > doc: Document the 'stdnoreturn' and 'noreturn' modules. > Reported by Akim Demaille. > * doc/noreturn.texi: New file. > * doc/gnulib.texi: Include it. Thanks!=