From owner-sc22wg14+sc22wg14-domo2=www.open-std.org@open-std.org Sun Sep 29 20:26:32 2024 Return-Path: X-Original-To: sc22wg14-domo2 Delivered-To: sc22wg14-domo2@www.open-std.org Received: by www.open-std.org (Postfix, from userid 521) id 52F0B3570BE; Sun, 29 Sep 2024 20:26:32 +0200 (CEST) Delivered-To: sc22wg14@open-std.org Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by www.open-std.org (Postfix) with ESMTP id 054A8356FF0 for ; Sun, 29 Sep 2024 20:26:29 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:subject:message-id:mime-version: content-transfer-encoding; bh=KimdzFjYObxJDSjWltdRl+sAqy/xfkWUVkMrMZGA/UA=; b=g+iJGd70bP3RHNDxt0OuIYp1lYeXHTN2DTm3fbLXBAxoujn88zDuwL2K /sKbN0fz5K6Ef6WKRCotLaKNli/sCP5Pdp0iRj5yqhYmz+faJYHkjqzWd BjxM+a/M2O5c0O57NArecgawmE1wtY4q1+tw+664vmOO+koku8OSj/t0K 4=; Authentication-Results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=jens.gustedt@inria.fr; dmarc=fail (p=none dis=none) d=inria.fr X-IronPort-AV: E=Sophos;i="6.11,163,1725314400"; d="scan'208";a="97703821" Received: from unknown (HELO inria.fr) ([50.233.255.141]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 29 Sep 2024 20:26:29 +0200 Date: Sun, 29 Sep 2024 13:26:25 -0500 From: =?UTF-8?B?SuKCkeKCmeKCmw==?= Gustedt To: "sc22wg14@open-std.org" Subject: N3347 slay ... IX Message-ID: <20240929132625.0033908e@inria.fr> Organization: inria.fr X-Mailer: Claws Mail 4.2.0 (GTK 3.24.41; x86_64-pc-linux-gnu) X-Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAAXNSR0IArs4c6QAAACRQTFRFERslNjAsLTE9Ok9wUk9TaUs8iWhSrYZkj42Rz6aD3sGZ MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Sender: owner-sc22wg14@open-std.org Precedence: bulk Hello, I prefer a direct statement instead of a double negation, something like 1 If the declaration of an identifier for an object is a tentative definition with incomplete type and internal linkage, the type of the object shall be completed before the end of the translation unit. This is meant to be less ambiguous than the proprosed change, because in fact there are at least two types involved. The first is the type of the tentative definition at hand, and the second is the possible type of a compatible declaration that completes the first. The "before the end" is there, such that it is not implied that there is some miracle intervening that forces the type to be considered to be complete, but that a completion has effectively to be provided. J=E2=82=91=E2=82=99=E2=82=9B --=20 :: ICube :::::::::::::::::::::::::::::: deputy director :: :: Universit=C3=A9 de Strasbourg :::::::::::::::::::::: ICPS :: :: INRIA antenne de Strasbourg :::::::::::::::::: Camus :: :: INRIA PIQ program Strasbourg :::::::::: piq.inria.fr :: :: :::::::::::::::::::::::::::::::::::: =E2=98=8E +33 368854536 :: :: https://icube-icps.unistra.fr/index.php/Jens_Gustedt ::