From mboxrd@z Thu Jan 1 00:00:00 1970 From: Richard Stallman To: law@cygnus.com Cc: mrs@wrs.com, gcc@gcc.gnu.org, jbuck@synopsys.COM Subject: Re: type based aliasing again Date: Sun, 12 Sep 1999 00:52:00 -0000 Message-id: <199909120801.EAA04326@psilocin.gnu.org> References: <9377.936981585@upchuck.cygnus.com> X-SW-Source: 1999-09/msg00460.html If we failed to document this feature (and IMHO, it is a feature), If you think it is a feature, it seems we are failing to communicate, because what I have proposed is nothing whatever like a feature. then a not-so-wise programmer might assume that the compiler is always going to detect violations of ISO aliasing rules, and arrange to work around the ISO aliasing violations. You haven't explained how you reach this conclusion, but it suggests that the proposal you are considering is not the one I made. I think you are considering some kind of idea for a new feature. Please try to think outside of the "feature" box. If the only kind of solution you can entertain is some kind of new feature, you will often be forced to choose between two undesirable alternatives. Please try to entertain another kind of solution. From mboxrd@z Thu Jan 1 00:00:00 1970 From: Richard Stallman To: law@cygnus.com Cc: mrs@wrs.com, gcc@gcc.gnu.org, jbuck@synopsys.COM Subject: Re: type based aliasing again Date: Thu, 30 Sep 1999 18:02:00 -0000 Message-ID: <199909120801.EAA04326@psilocin.gnu.org> References: <9377.936981585@upchuck.cygnus.com> X-SW-Source: 1999-09n/msg00460.html Message-ID: <19990930180200.8sAPqJ_p0S7XV_6crxT75y2Fweu4ZQVmC4JZ8CP0k-k@z> If we failed to document this feature (and IMHO, it is a feature), If you think it is a feature, it seems we are failing to communicate, because what I have proposed is nothing whatever like a feature. then a not-so-wise programmer might assume that the compiler is always going to detect violations of ISO aliasing rules, and arrange to work around the ISO aliasing violations. You haven't explained how you reach this conclusion, but it suggests that the proposal you are considering is not the one I made. I think you are considering some kind of idea for a new feature. Please try to think outside of the "feature" box. If the only kind of solution you can entertain is some kind of new feature, you will often be forced to choose between two undesirable alternatives. Please try to entertain another kind of solution.