From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-vs1-xe36.google.com (mail-vs1-xe36.google.com [IPv6:2607:f8b0:4864:20::e36]) by sourceware.org (Postfix) with ESMTPS id A7CC6385C325 for ; Thu, 9 Jun 2022 04:36:40 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org A7CC6385C325 Received: by mail-vs1-xe36.google.com with SMTP id c62so21553414vsc.10 for ; Wed, 08 Jun 2022 21:36:40 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=UWFftleLQkkIGMrvlwkpJrpy+hacutdnjoWcQIZ0WU0=; b=diCN/5jCXK9E5m1gaI/yOGnBImV0TCZ6IvpkGqM2//WlpJUNNbn1FzcRkFcaPgr4+/ 1VsdeAJfjj5T5Q/SObfsb7Rlt4GbIisGRqwKAAIZJsgEpn9UAEDTAXPKBojK8cbisvCq 4mtEc0AjLQ839zLWqYT/JfNTiNj3H7gzV1Udb6T/OYZYZgBuXT+2FlhiBERan+sIHZC9 r1fVTIJJ7H2bpuPYolxAYsFDLu8Cd10tDXuzyI5Rajfyhu1cuaZVIHxxBxfInwY7btb2 e+KrAjvW/9BP40z7VbmNG2kr9MHY9me7+LypkmPkB4cFaeez6NCGWZroENLwhBcw5zos 7RUg== X-Gm-Message-State: AOAM5332vuCsaPCxnjrIZLPvCTdhWH4z2IZ5Q7h2rF6gUJZgOZRXmyPn o2CUQM+Hic7v8ZsP/qXLToA8YkkR5tCoIygYXRCuwA== X-Google-Smtp-Source: ABdhPJze9Bu26IuheXvspuANE/NusI4x+SS1ZwUExJ9obYP5+N7fLiSCnBt2chh5BBR0nFlxS8W3Fg8ky4XdBMrnWeU= X-Received: by 2002:a67:f644:0:b0:34c:3cb:852b with SMTP id u4-20020a67f644000000b0034c03cb852bmr2063804vso.83.1654749399973; Wed, 08 Jun 2022 21:36:39 -0700 (PDT) MIME-Version: 1.0 References: <6PeOfngSW_gLKMPtqp7UWs9ZQRv6KpLer221P_B9lNGGC7nJD0p-ta_7b0fwgSdz6cw7UzXsO0OGg0t2UUux81cVfIZkQcbjPwcRHFsNomI=@protonmail.com> In-Reply-To: From: Eric Gallager Date: Thu, 9 Jun 2022 00:36:28 -0400 Message-ID: Subject: Re: [RFC] Support for nonzero attribute To: Miika Cc: "gcc@gcc.gnu.org" Content-Type: text/plain; charset="UTF-8" X-Spam-Status: No, score=-2.2 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, JMQ_SPF_NEUTRAL, KAM_SHORT, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 09 Jun 2022 04:36:42 -0000 On Wed, Jun 8, 2022 at 5:00 PM Miika wrote: > > On Wednesday, June 8th, 2022 at 8:42 PM, Eric Gallager wrote: > > Could you take a look at bug 78155 too? There was a request to add > > something like this in that bug: > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78155 > > (and I think I've seen similar requests elsewhere, too) > > I took a look at the bug and looks like the inrange attribute can be applied to > builtin functions too. > > So now the example code > int main (void) > { > __builtin_printf ("%i\n", __builtin_isalpha (999999)); > } > > Now gives the following error: > > foo.c: In function 'main': > foo.c:3:31: warning: argument in position 1 not in rage of 0..255 [-Winrange] > 3 | __builtin_printf ("%i\n", __builtin_isalpha (999999)); > | > > Miika Nice, good to hear! I'm looking forward to seeing this get added! Thanks, Eric