From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-oi1-x234.google.com (mail-oi1-x234.google.com [IPv6:2607:f8b0:4864:20::234]) by sourceware.org (Postfix) with ESMTPS id 967FC3858D35 for ; Thu, 22 Jun 2023 01:09:13 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 967FC3858D35 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-oi1-x234.google.com with SMTP id 5614622812f47-39eab4bbe8aso4373348b6e.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=P8BL4VowgZq8U1nFnqTJlsszjU3F2FaYrkA3LJtx3FyE5Ewu9pTW6k5Hie0xU9Mncf GpWQ1yrJQ46C3GOLKtYkvvuXHcxRy8ByFyNuQhqflcTvdQ8Dz68vVH7S4bPUeT2Ng/uj Twhly0uug6n8Db/HMFVn+BNpJ7IKa7bzmUl16K/I7TkVlXZYtkm5BHrqF8KRjj2g4RzB AwiWYu/XJORcwtuIlypZPPTwa6T7IsZWy2mm8mSU8axuBK6EptVJ5ZBWLOmERunBMDJz OpWAj67hUbwEBDdDkOtS+I0ApPbMXLEa/hg/dplzeyr2XLJ9XmVNlf8UrExq+x1Fo6dv twqw== X-Gm-Message-State: AC+VfDzfM7yG0+pNT4CIDCTPBboqqLFmg2iA7T3DINphxLPsO8thZFaG j9fF4m39eD8PsTjeNtNZZ0BGng== 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=-3.1 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=unavailable 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