From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 18184 invoked by alias); 24 Feb 2003 21:59:00 -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 18156 invoked by uid 48); 24 Feb 2003 21:58:59 -0000 Date: Mon, 24 Feb 2003 21:59:00 -0000 Message-ID: <20030224215859.18152.qmail@sources.redhat.com> To: gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, gsasha@cs.technion.ac.il, nobody@gcc.gnu.org From: bangerth@dealii.org Reply-To: bangerth@dealii.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, gsasha@cs.technion.ac.il, nobody@gcc.gnu.org, gcc-gnats@gcc.gnu.org Subject: Re: optimization/9840: Incorrect optimization for floating-point aliasing to int X-SW-Source: 2003-02/txt/msg01296.txt.bz2 List-Id: Synopsis: Incorrect optimization for floating-point aliasing to int State-Changed-From-To: open->closed State-Changed-By: bangerth State-Changed-When: Mon Feb 24 21:58:59 2003 State-Changed-Why: Not a bug. You are violating aliasing rules, so the compiler may generate whatever code it likes. If you need to play type games, check the manual for ways to do that. http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9840