From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 21346 invoked by alias); 21 Feb 2010 12:54:00 -0000 Received: (qmail 21317 invoked by uid 48); 21 Feb 2010 12:53:49 -0000 Date: Sun, 21 Feb 2010 12:54:00 -0000 Message-ID: <20100221125349.21316.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug libstdc++/22200] numeric_limits::is_modulo is inconsistent with gcc In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "paolo dot carlini at oracle dot com" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2010-02/txt/msg02136.txt.bz2 ------- Comment #33 from paolo dot carlini at oracle dot com 2010-02-21 12:53 ------- (In reply to comment #32) > If this hazard is so prevalent shouldn't it deserve a separate PR? > If a method or function depend on a flag or macro then it can be handled > by overloading and specialization without ODR violation. It would be closed immediately as WONTFIX, to be clear. There is nothing we can do in the foreseeable future, it's **everywhere** and totally unfixable without breaking ABI and much more than that. > When this hazard is, like in this case, appears in a constant then things > are more difficult. An unexpected behavior may be observed when is_modulo > is passed by reference, and I don't see what can be done in this case, > not in 100% of the scenarios. Even if GCC annotates the two different > variants of is_modulo differently, such that there will be two different > physical allocations of is_modulo, it will still be possible to get to > some misbehavior in weird cases. Oh well... I see that I'm not going to work on it. Actually, I'll wait one month or so, and then if I will not get at least one concrete proposal, I will close this one as WONTFIX. -- paolo dot carlini at oracle dot com changed: What |Removed |Added ---------------------------------------------------------------------------- AssignedTo|paolo dot carlini at oracle |unassigned at gcc dot gnu |dot com |dot org Status|ASSIGNED |NEW http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22200