Re: gcc compile time support for assumptions

[Paolo Carlini]

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.