Re: Some extra decorations

[Paolo Carlini <paolo dot carlini at oracle dot com>]

Hi,
> Thanks! Note that there is still one patch adding nothrow attribute to
> specializations of hash () operator.
I see. I say, let's commit your patch and leave the primary template
itself alone for now.
>   This is one of few remaining
> issues.  I plan to add detection of throw (sometypes) markers now too,
> since this seems important for closure property of throw() markers that
> will probably add some extra annotations.
>
> There are also few annotations that I would like to add to functions
> declared in headers where GCC don't know if they are finite so it is not
> sure it can remove call to them even if it can prove there are no side
> effects otherwise.
>
> These are especially couple loops in rb tree that seems important
> because they are used for std::map that is quite common thing to use.
> I already got about 40% speedup on one raytracer kernel I randomly found
> in Microsoft bugzilla while looking for STL oriented benchamrks (still
> don't have any resonable). There is nothing in the loops itself that
> would suggest they are finite unless you know what RB tree really is..
>   
I see, interesting. Thanks a lot for this work!

Paolo.