From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 22871 invoked by alias); 27 Jan 2008 12:49:07 -0000 Received: (qmail 22481 invoked by uid 48); 27 Jan 2008 12:48:21 -0000 Date: Sun, 27 Jan 2008 13:27:00 -0000 Message-ID: <20080127124821.22480.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug c++/26099] support for type traits is not available In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "rguenth at gcc dot gnu dot org" 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: 2008-01/txt/msg03319.txt.bz2 ------- Comment #13 from rguenth at gcc dot gnu dot org 2008-01-27 12:48 ------- If a function isn't marked nothrow and the function can be overridden by a shared library (that is, it doesn't bind locally), the compiler cannot derive such property from its body. (I didn't look at the tests, but usually marking the affected functions nothrow or making them bind locally works around this problem). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26099