From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <nykseli@protonmail.com>
Received: from mail-40141.protonmail.ch (mail-40141.protonmail.ch
 [185.70.40.141])
 by sourceware.org (Postfix) with ESMTPS id 6AF713856088
 for <gcc@gcc.gnu.org>; Sat,  4 Jun 2022 11:25:37 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 6AF713856088
Date: Sat, 04 Jun 2022 11:25:33 +0000
To: Jakub Jelinek <jakub@redhat.com>
From: Miika <nykseli@protonmail.com>
Cc: "gcc@gcc.gnu.org" <gcc@gcc.gnu.org>
Reply-To: Miika <nykseli@protonmail.com>
Subject: [RFC] Support for nonzero attribute
Message-ID: <JUX7HdHj_a0DdYc9QUShwc8hy5O1Yx5DfdDsT9kNU7ehMJeOK1x3rwF5L15BfBEl_4P-VmgjktCuxwFg_wF8ESwghS6jpfEN6zrk5kPnaQ8=@protonmail.com>
In-Reply-To: <Ypo6qAg0L19K+023@tucnak>
References: <jUYpPEW3Y9UZvEp25P0xyzRA4oaGxV_fPv6CkiFVUpCDLJlbKkXRTMeYWvmqSdIfFxO9GQedLgd0GVAikrAlG0yJ8nIl8w9ztCoXfWf2SHs=@protonmail.com>
 <Ypo6qAg0L19K+023@tucnak>
Feedback-ID: 17471336:user:proton
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Status: No, score=-4.5 required=5.0 tests=BAYES_00, DKIM_SIGNED,
 DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, SPF_HELO_PASS,
 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
X-BeenThere: gcc@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc mailing list <gcc.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <mailto:gcc-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Sat, 04 Jun 2022 11:25:38 -0000

Thank you for the feedback!

On Friday, June 3rd, 2022 at 7:45 PM, Jakub Jelinek <jakub@redhat.com> wrot=
e:
> For some functions, 0 could be a value it wants to avoid, for others
> such value could be -1, negative value, positive, whatever else...
> IMHO if we want to add anything like this, it should be more generic,
> specify that a particular argument must have value in a specific range.

That's a really good point. Making it generic makes a lot more sense.
I'll try to design some kind of a range attribute and see how it feels.