[Bug c++/58174] gcc miscompiles code

[Bug c++/58174] gcc miscompiles code

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Given that the attached testcase isn't self-contained, it would be helpful if
you could state where exactly the miscompilation happens, why do you think it
is miscompilation and what to look for.

[Bug c++/58174] gcc miscompiles code

[galtgendo at o2 dot pl]

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

--- Comment #4 from Rafał Mużyło <galtgendo at o2 dot pl> ---
How could I narrow it down then ?
>From gcc-bugs-return-427927-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Aug 16 14:27:55 2013
Return-Path: <gcc-bugs-return-427927-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 26674 invoked by alias); 16 Aug 2013 14:27:54 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 26627 invoked by uid 48); 16 Aug 2013 14:27:54 -0000
From: "ebotcazou at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug libstdc++/58168] Installation of GCC 4.8.1 (libstdc++) hangs in make_sunver.pl on Solaris10/SPARC
Date: Fri, 16 Aug 2013 14:27:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: libstdc++
X-Bugzilla-Version: 4.8.1
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ebotcazou at gcc dot gnu.org
X-Bugzilla-Status: WAITING
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-58168-4-t3SGro1MYD@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58168-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58168-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-08/txt/msg00851.txt.bz2
Content-length: 1102

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

--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Maybe the version is too old:
> 
> ---------------------------------------------------
> [local@raymund6:~]>which c++filt
> /usr/local/bin/c++filt
> [local@raymund6:~]>c++filt --version
> GNU c++filt (C++ demangler), version 2.95.3

Probably, yes.  The configuration notes read:

"To enable symbol versioning in ‘libstdc++’ with Sun ld, you need to have any
version of GNU c++filt, which is part of GNU binutils. ‘libstdc++’ symbol
versioning will be disabled if no appropriate version is found. Sun c++filt
from the Sun Studio compilers does not work."

so I'd try to download and compile a recent version of GNU binutils.

> Here we have only the non-GNU version:
> 
> [local@raymund7:~]>which c++filt
> /opt/solarisstudio12.3/bin/c++filt
> [local@raymund7:~]>c++filt --version
> Could not open input file "--version"
> 
> Ok, I see ... maybe the filter step has been skipped???

Yes, and this means that the library isn't versioned.
>From gcc-bugs-return-427928-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Aug 16 14:50:06 2013
Return-Path: <gcc-bugs-return-427928-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 9636 invoked by alias); 16 Aug 2013 14:50:06 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 9611 invoked by uid 48); 16 Aug 2013 14:50:05 -0000
From: "pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/58158] internal compiler error: in extract_insn, at recog.c:2150 while compiling ImageMagick on mipsel
Date: Fri, 16 Aug 2013 14:50:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 4.8.1
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: pinskia at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-58158-4-PgJUB5hbnx@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58158-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58158-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-08/txt/msg00852.txt.bz2
Content-length: 546

http://gcc.gnu.org/bugzilla/show_bug.cgi?idX158

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Mikael Pettersson from comment #3)
> Started with the "Improve COND_EXPR expansion" patch in r187183.  Still
> occurs with recent trunk and head of 4.8 branch.  Author CC:d.

That means it was exposed by that.  We have had many target (PPC, x86, and arm)
specific bugs due to this patch too.  This is not surprising we have one in
MIPS too.  Though I did test on mips64 (only n64 and n32 and not loongson
though).

[Bug c++/58174] gcc miscompiles code

[paolo.carlini at oracle dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58174

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|---                         |INVALID

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Feedback not forthcoming.