On 6/13/22 06:55, Miika via Gcc wrote:
Thank you for the feedback!
On Sunday, June 12th, 2022 at 7:25 AM, Prathamesh Kulkarni
wrote:
On Mon, 6 Jun 2022 at 01:39, Miika via Gcc gcc@gcc.gnu.org wrote:
Based on Jakub's and Yair's comments I created a new attribute "inrange".
Inrage takes three
Thank you for the feedback!
On Sunday, June 12th, 2022 at 7:25 AM, Prathamesh Kulkarni
wrote:
> On Mon, 6 Jun 2022 at 01:39, Miika via Gcc gcc@gcc.gnu.org wrote:
>
> > Based on Jakub's and Yair's comments I created a new attribute "inrange".
> > Inrage takes three arguments, pos min and max.
> >
ue(+20), nonZero)
>
> I do recall that few other languages had similar abilities (Ada, Java (via
> annotations), ...)
>
> Yair
>
>
> >
> >
> >
> > ------ Forwarded message --
> > From: Miika
> > To: "gcc@gcc.gnu.org"
> > Cc:
> &g
On Mon, 6 Jun 2022 at 01:39, Miika via Gcc wrote:
>
> Based on Jakub's and Yair's comments I created a new attribute "inrange".
> Inrage takes three arguments, pos min and max.
> Pos being the argument position in the function, and min and max defines the
> range of valid integer. Both min and max
On Thursday, June 9th, 2022 at 7:36 AM, Eric Gallager
wrote:
> Nice, good to hear! I'm looking forward to seeing this get added!
I'll write some tests and try to send the patches next week!
Miika
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
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 th
On Sun, Jun 5, 2022 at 4:10 PM Miika via Gcc wrote:
>
> Based on Jakub's and Yair's comments I created a new attribute "inrange".
> Inrage takes three arguments, pos min and max.
> Pos being the argument position in the function, and min and max defines the
> range of valid integer. Both min and m
Miika - lot of thanks. In .y mind, this is a major improvement.
Also, want to suggest taking a nother look into the semnatic. I agreed
inrange should include the low and high, similar to the gcc extensions) ..
operator, the SQL in operator, perl .. operator, etc.
There is another use common use c
On Tuesday, June 7th, 2022 at 10:46 PM, Jonathan Wakely
wrote:
> On Tue, 7 Jun 2022 at 20:44, Jonathan Wakely wrote:
>
> > On Tue, 7 Jun 2022 at 20:40, Miika via Gcc gcc@gcc.gnu.org wrote:
> >
> > > On Monday, June 6th, 2022 at 9:42 PM, Ben Boeckel ben.boec...@kitware.com
> > > wrote:
> > >
> >
On Tue, 7 Jun 2022 at 20:44, Jonathan Wakely wrote:
>
> On Tue, 7 Jun 2022 at 20:40, Miika via Gcc wrote:
> >
> > On Monday, June 6th, 2022 at 9:42 PM, Ben Boeckel
> > wrote:
> > > > Based on Jakub's and Yair's comments I created a new attribute
> > > > "inrange".
> > > > Inrage takes three arg
On Tue, 7 Jun 2022 at 20:40, Miika via Gcc wrote:
>
> On Monday, June 6th, 2022 at 9:42 PM, Ben Boeckel
> wrote:
> > > Based on Jakub's and Yair's comments I created a new attribute "inrange".
> > > Inrage takes three arguments, pos min and max.
> > > Pos being the argument position in the funct
On Monday, June 6th, 2022 at 9:42 PM, Ben Boeckel
wrote:
> > Based on Jakub's and Yair's comments I created a new attribute "inrange".
> > Inrage takes three arguments, pos min and max.
> > Pos being the argument position in the function, and min and max defines the
> > range of valid integer. Bo
On Sun, Jun 05, 2022 at 20:09:04 +, Miika via Gcc wrote:
> Based on Jakub's and Yair's comments I created a new attribute "inrange".
> Inrage takes three arguments, pos min and max.
> Pos being the argument position in the function, and min and max defines the
> range of valid integer. Both min
Based on Jakub's and Yair's comments I created a new attribute "inrange".
Inrage takes three arguments, pos min and max.
Pos being the argument position in the function, and min and max defines the
range of valid integer. Both min and max are inclusive and work with enums.
Warnings are enabled with
Static checks will be a good starting point!
On Sat, Jun 4, 2022 at 7:55 AM Miika wrote:
> On Saturday, June 4th, 2022 at 1:26 PM, Yair Lenga via Gcc <
> gcc@gcc.gnu.org> wrote:
> > The specific non-zero constraint is a specific implementation of the
> range
> > operator (with some exception see
On Saturday, June 4th, 2022 at 1:26 PM, Yair Lenga via Gcc
wrote:
> The specific non-zero constraint is a specific implementation of the range
> operator (with some exception see below). Wanted to suggest going for
> more ambitious goal: add min and max attributes to (integer) types and
> variabl
Thank you for the feedback!
On Friday, June 3rd, 2022 at 7:45 PM, Jakub Jelinek wrote:
> 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
few other languages had similar abilities (Ada, Java (via
annotations), ...)
Yair
>
>
>
> -- Forwarded message --
> From: Miika
> To: "gcc@gcc.gnu.org"
> Cc:
> Bcc:
> Date: Fri, 03 Jun 2022 16:34:48 +
> Subject: [RFC] Support for nonzero
On Fri, Jun 03, 2022 at 04:34:48PM +, Miika via Gcc wrote:
> Hello,
>
> I would like to add support for new attribute: nonzero.
> Nonzero attribute works the same way as nonnull but instead of checking for
> NULL, it checks for integer or enum with value 0.
NULL/nullptr is very special pointe
Hello,
I would like to add support for new attribute: nonzero.
Nonzero attribute works the same way as nonnull but instead of checking for
NULL, it checks for integer or enum with value 0.
Nonzero attribute would issue warnings with new compiler flag
-Wnonzero and -Wnonzero-compare.
Nonzero coul
21 matches
Mail list logo
