[PATCH] libstdc++/8645

[Paolo Carlini]

Hi all,

I have analyzed in detail the logic underlying this PR and came to
the conclusion that submitter is right.

Lines 446-471 (and, similarly, 484-508) of stl_tree.h are of this
form:

          if ((!A || B) && C)
            {
              //
            }
          else
            {
              if (C)
                {
                  if (A) __w->_M_left->_M_color = _M_black;
                  //
                }
              //
            }

Therefore, the check for A (_w->_M_left, that is) in the innermost if
is definitely redundant.

Patch follows, tested x86-linux.

Ciao, Paolo.

///////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_8645
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20021122/595069a6/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_8645
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20021122/595069a6/attachment-0001.ksh>