From gcc-patches  Tue Jan 30 00:00:37 2007
From: Dirk Mueller <dmuell () gmx ! net>
Date: Tue, 30 Jan 2007 00:00:37 +0000
To: gcc-patches
Subject: Re: PR 21438 : Warning about division by zero depends on lexical  form
Message-Id: <200701300100.37646.dmuell () gmx ! net>
X-MARC-Message: https://marc.info/?l=gcc-patches&m=117011527625538

On Monday, 29. January 2007 23:50, Mark Mitchell wrote:

> In the absence of a clear reason for change, we should preserve existing
> behavior, so my feeling is that we shouldn't warn.

Note that your previous objection to my patch (which was similar) was that we 
should warn about: 

  int i = int(0.0/0.0)


Dirk