[Bug c++/23512] New: wrong code with boolean refs, -O2

[Bug c++/23512] New: wrong code with boolean refs, -O2

[mec at google dot com]

gcc generates wrong code
command line: gcc -O2

works on: 3.4.4, 4.1.0-20050819
wrong code on: 4.0.1, 4.0.2-20050818

I am just guessing at the priority + severity levels.

Test program attached.  It can be compiled and run standalone -- it succeeds
normally, and aborts if wrong-code is generated.

The wrong code is for the source line:

  if (_v3 != _v4)

Where _v3 and _v4 are "const bool &".

-- 
           Summary: wrong code with boolean refs, -O2
           Product: gcc
           Version: 4.0.1
            Status: UNCONFIRMED
          Severity: critical
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: mec at google dot com
                CC: dank at kegel dot com,gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23512

[Bug c++/23512] wrong code with boolean refs, -O2

[mec at google dot com]

------- Additional Comments From mec at google dot com  2005-08-22 06:59 -------
Created an attachment (id=9551)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9551&action=view)
source file to demonstrate wrong code


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23512

[Bug tree-optimization/23512] [4.0 Regression] wrong code with boolean refs, -O2

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-22 10:49 -------
This is most likely a dup of PR 23326.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c++                         |tree-optimization
           Keywords|                            |wrong-code
            Summary|wrong code with boolean     |[4.0 Regression] wrong code
                   |refs, -O2                   |with boolean refs, -O2
   Target Milestone|---                         |4.0.2


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23512

[Bug tree-optimization/23512] [4.0 Regression] wrong code with boolean refs, -O2

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-22 12:15 -------
Yes looking at the tree dumps comfirm that this is a dup of bug 23326 which already have a patch for.

*** This bug has been marked as a duplicate of 23326 ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |DUPLICATE


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23512