From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 24464 invoked by alias); 25 Nov 2001 16:56:01 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 24450 invoked by uid 71); 25 Nov 2001 16:56:01 -0000 Date: Tue, 20 Nov 2001 17:56:00 -0000 Message-ID: <20011125165601.24449.qmail@sourceware.cygnus.com> To: nobody@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: aoliva@gcc.gnu.org Subject: Re: optimization/4570: error reading bytes from double variable Reply-To: aoliva@gcc.gnu.org X-SW-Source: 2001-11/txt/msg00594.txt.bz2 List-Id: The following reply was made to PR optimization/4570; it has been noted by GNATS. From: aoliva@gcc.gnu.org To: gcc-bugs@gcc.gnu.org, gcc-gnats@gcc.gnu.org, gcc-prs@gcc.gnu.org, nobody@gcc.gnu.org, philippe_ribet@hotmail.com Cc: Subject: Re: optimization/4570: error reading bytes from double variable Date: 25 Nov 2001 16:45:59 -0000 Synopsis: error reading bytes from double variable State-Changed-From-To: open->closed State-Changed-By: aoliva State-Changed-When: Sun Nov 25 08:45:58 2001 State-Changed-Why: Not a bug. GCC is allowed by the aliasing rules in the C Standard to assume an int* can't possibly point to the same memory as e, that has type double. If you depend on this behavior, use -fno-strict-aliasing, or access the storage using pointers to char, that can alias anything. http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&pr=4570&database=gcc