From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ot1-x32b.google.com (mail-ot1-x32b.google.com [IPv6:2607:f8b0:4864:20::32b]) by sourceware.org (Postfix) with ESMTPS id 7F1453858D28 for ; Thu, 22 Jun 2023 01:09:13 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 7F1453858D28 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com Received: by mail-ot1-x32b.google.com with SMTP id 46e09a7af769-6b5915d0816so2464032a34.1 for ; Wed, 21 Jun 2023 18:09:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1687396153; x=1689988153; h=mime-version:user-agent:message-id:in-reply-to:date:errors-to :references:organization:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=W0HjsCxFJJ/mOjsjbDZ1dcRBUGOhgO2emefGoojW9Fo=; b=KnqKPH4JWRH4moUe+oEUBC8TYVOaSW2QvM5FE1oCGPQw+ztr0xRqBf6cRGDYVR6aX0 MDFxRQzbIhT/apDgn93+CusSVizezH5X3xmD41Lzjb4j7RrUfxArhwx/XlALtYDjnfv3 5knejKHB8RqFx4UDfJ9em46F9eiFBPcM72WP+6T+W2irRWp/6d0D57WvOOQ8wPzJ0ici CjgW4Z3szI7EH+MakSsXEZtM5BgllqP66WalW0v3yWPQI1+6Au0Ua0zmEk1n/orH6bwC 6YMlB9wQLEobeONEvfbCbmX0TkVRnx5KgvF4OhDWFpx3boTotNvh4xh8tA2JtHurAdU3 fcDQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1687396153; x=1689988153; h=mime-version:user-agent:message-id:in-reply-to:date:errors-to :references:organization:subject:cc:to:from:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=W0HjsCxFJJ/mOjsjbDZ1dcRBUGOhgO2emefGoojW9Fo=; b=SXXgUHzLlpnRUcVjcjsMXJQyeIoKYeADh+sRqPrck4UYxsiKO3ZUyvtfkHcGheU2nd ugx48hZ1zy254eoxb3UvyTgjc9AlP1lxAoSuWQCflPEHWnBdqTMz8XDeGwHyyMPQ2bKz 0RX3yWvbz8fjwzmnct4T/Z3Kn0UD2aPCfZ3klYMTOsd1Jl+F4CBnTl8BIZJqt6akwJBH woMgiTltY9SucAJ7sGnzu5CJi6I2idMGycqLcwDpckWe23H5ab55cl4IIoCvTtwhh6HW ZdC2g5aQrzLlfoWFqixcF5HuAr0P3npENASeRrcnoByFNdb7yYCrfzLIhvfXQxPodpcI l4Zw== X-Gm-Message-State: AC+VfDw8J7nv3nhq4uI+nAAW4/2cnmL1LMDN0if5uJ3HBXT6mzlyGtwa 9B1Yx4Izqm1yin1S86TdQusJSg== X-Google-Smtp-Source: ACHHUZ4XGRhlMu/DIuUxukKy3o/UYkTKH60TxSdYf6FhWK5KIah1awJy7waG/mBB9BJXu9Qg7qRNhw== X-Received: by 2002:aca:2109:0:b0:398:29ce:81f7 with SMTP id 9-20020aca2109000000b0039829ce81f7mr16819920oiz.11.1687396152834; Wed, 21 Jun 2023 18:09:12 -0700 (PDT) Received: from free.home ([2804:7f1:2080:2a97:1921:3495:99b3:9c74]) by smtp.gmail.com with ESMTPSA id w25-20020a056808091900b0039ca25378fasm2711161oih.7.2023.06.21.18.09.11 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 21 Jun 2023 18:09:12 -0700 (PDT) Received: from livre (livre.home [172.31.160.2]) by free.home (8.15.2/8.15.2) with ESMTPS id 35M18tMR783457 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Wed, 21 Jun 2023 22:08:56 -0300 From: Alexandre Oliva To: Bernhard Reutner-Fischer Cc: Alexandre Oliva via Gcc-patches , Joseph Myers , fortran@gcc.gnu.org Subject: Re: [PATCH] Introduce hardbool attribute for C Organization: Free thinker, does not speak for AdaCore References: Errors-To: aoliva@lxoliva.fsfla.org Date: Wed, 21 Jun 2023 22:08:55 -0300 In-Reply-To: (Bernhard Reutner-Fischer's message of "Mon, 19 Jun 2023 20:48:24 +0200") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Scanned-By: MIMEDefang 2.84 X-Spam-Status: No, score=-5.0 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Thanks for the test. Did you mean for me to incorporate it into the patch, or do you mean to contribute it separately, if the feature happens to be accepted? On Jun 19, 2023, Bernhard Reutner-Fischer wrote: > I don't see explicit tests with _Complex nor __complex__. Would we > want to check these here, or are they handled thought the "underlying" > tests above? Good question. The notion of using complex types to hold booleans hadn't even crossed my mind. On the one hand, there doesn't seem to be reason to rule them out, and that could go for literally any other type. On the other, there doesn't seem to be any useful case for them. Can anyone think of one? > I'd welcome a fortran interop note in the docs Is there any good place for such interop notes? I'm not sure I'm best-suited to write them up, since Fortran is not a language I'm very familiar with, but I suppose I could give it a try. -- Alexandre Oliva, happy hacker https://FSFLA.org/blogs/lxo/ Free Software Activist GNU Toolchain Engineer Disinformation flourishes because many people care deeply about injustice but very few check the facts. Ask me about