This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: gcc compile time support for assumptions

From: Paolo Carlini <pcarlini at suse dot de>
To: Richard Guenther <richard dot guenther at gmail dot com>
Cc: Ian Lance Taylor <iant at google dot com>, Andrew Haley <aph at redhat dot com>, Abramo Bagnara <abramobagnara at tin dot it>, gcc at gcc dot gnu dot org
Date: Thu, 18 Jan 2007 17:08:33 +0100
Subject: Re: gcc compile time support for assumptions
References: <45AF3FC9.7010507@tin.it> <m3sle8bb7h.fsf@dhcp-172-18-118-195.corp.google.com> <17839.38368.513909.514944@zebedee.pink> <m3bqkwbaeg.fsf@dhcp-172-18-118-195.corp.google.com> <84fc9c000701180759o39809836t79e29b44c3449d24@mail.gmail.com>

Richard Guenther wrote:

Providing a __builtin_assert () function is still one thing on my TODO, we can derive proper ASSERT_EXPRs from it in VRP even in the -DNDEBUG case.

Great! Certainly could be profitably used in libstdc++.

Paolo.

Follow-Ups:
- Re: gcc compile time support for assumptions
  - From: Gabriel Dos Reis

References:
- gcc compile time support for assumptions
  - From: Abramo Bagnara
- Re: gcc compile time support for assumptions
  - From: Ian Lance Taylor
- Re: gcc compile time support for assumptions
  - From: Andrew Haley
- Re: gcc compile time support for assumptions
  - From: Ian Lance Taylor
- Re: gcc compile time support for assumptions
  - From: Richard Guenther

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]