This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: signed is undefined and has been since 1992 (in GCC)
- From: Gabriel Dos Reis <gdr at integrable-solutions dot net>
- To: Andrew Pinski <pinskia at physics dot uc dot edu>
- Cc: gcc mailing list <gcc at gcc dot gnu dot org>
- Date: 28 Jun 2005 06:34:10 +0200
- Subject: Re: signed is undefined and has been since 1992 (in GCC)
- References: <27fdc0d8dc588cfdb3a14a153c5d037c@physics.uc.edu>
Andrew Pinski <pinskia@physics.uc.edu> writes:
| The first change in GCC which changed signed overflow/wrapping to be
| undefined
| was added back in 1992 in loop.c. The next change was in 1999 with the
| addition of simplify-rtx.c. Why are we talking about this now,
| instead of back
| when they were added? (note both of these changes were before fwrapv
| can into
| play).
Because the world has evolved, we have gained more experience, more
users and there are opportunities to make GCC useful to more people?
But, you do have a point; in 1992, you weren't here, I wasn't here, GCC
development was not as open as today for wider people to scrutinize and
contribute and we could not have discussed it. But it does not really
matter we did not discuss it in 1992 or 1999. We don't have a time
travel machine to change the past. But we can make a difference for the
future. The attitude that "undefined behaviour" should be interpreted
as "we should not make things more useful when we can" is beyond
understanding.
-- Gaby