[Bug c/58092] New: BEQ (Branch on equal) jumps to wrong address (executes conditional code!)

[Bug c/58092] New: BEQ (Branch on equal) jumps to wrong address (executes conditional code!)

[zajec5 at gmail dot com]

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

            Bug ID: 58092
           Summary: BEQ (Branch on equal) jumps to wrong address (executes
                    conditional code!)
           Product: gcc
           Version: 4.6.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zajec5 at gmail dot com

Created attachment 30617
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30617&action=edit
Minimal test case (ANSI C)

In my code I'm using simple if (rev == 0x4) to make a conditional write.
Unfortunately when using mipsel gcc with "-Os" the code from conditional part
is *partially* executed even when "rev" doesn't equal 4.

> mipsel-openwrt-linux-uclibc-gcc -v
Reading specs from
/home/zajec/openwrt/openwrt.git/staging_dir/toolchain-mipsel_gcc-4.6-linaro_uClibc-0.9.33.2/lib64/gcc/mipsel-openwrt-linux-uclibc/4.6.4/specs
COLLECT_GCC=mipsel-openwrt-linux-uclibc-gcc
COLLECT_LTO_WRAPPER=/home/zajec/openwrt/openwrt.git/staging_dir/toolchain-mipsel_gcc-4.6-linaro_uClibc-0.9.33.2/lib/gcc/mipsel-openwrt-linux-uclibc/4.6.4/lto-wrapper
Target: mipsel-openwrt-linux-uclibc
Configured with:
/home/zajec/openwrt/openwrt.git/build_dir/toolchain-mipsel_gcc-4.6-linaro_uClibc-0.9.33.2/gcc-linaro-4.6-2012.12/configure
--with-bugurl=https://dev.openwrt.org/ --with-pkgversion='OpenWrt/Linaro GCC
4.6-2012.12 r36315'
--prefix=/home/zajec/openwrt/openwrt.git/staging_dir/toolchain-mipsel_gcc-4.6-linaro_uClibc-0.9.33.2
--build=x86_64-suse-linux --host=x86_64-suse-linux
--target=mipsel-openwrt-linux-uclibc --with-gnu-ld --enable-target-optspace
--disable-libgomp --disable-libmudflap --disable-multilib --disable-nls
--with-host-libstdcxx=-lstdc++ --with-float=soft
--with-gmp=/home/zajec/openwrt/openwrt.git/staging_dir/host
--with-mpfr=/home/zajec/openwrt/openwrt.git/staging_dir/host
--disable-decimal-float --with-mips-plt
--with-mpc=/home/zajec/openwrt/openwrt.git/staging_dir/host --disable-libssp
--disable-__cxa_atexit
--with-headers=/home/zajec/openwrt/openwrt.git/staging_dir/toolchain-mipsel_gcc-4.6-linaro_uClibc-0.9.33.2/include
--enable-languages=c,c++ --enable-shared --enable-threads
--with-slibdir=/home/zajec/openwrt/openwrt.git/staging_dir/toolchain-mipsel_gcc-4.6-linaro_uClibc-0.9.33.2/lib
--enable-lto --with-libelf=/home/zajec/openwrt/openwrt.git/staging_dir/host
Thread model: posix
gcc version 4.6.4 (OpenWrt/Linaro GCC 4.6-2012.12 r36315)

[Bug c/58092] BEQ (Branch on equal) jumps to wrong address (executes conditional code!)

[zajec5 at gmail dot com]

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

--- Comment #1 from Rafał Miłecki <zajec5 at gmail dot com> ---
Created attachment 30618
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30618&action=edit
Compiled version of test.c

Command I use to compile test.c:

mipsel-openwrt-linux-uclibc-gcc \
-I arch/mips/include \
-I arch/mips/include/generated \
-I arch/mips/include/asm/mach-bcm47xx \
-I arch/mips/include/asm/mach-generic \
-I include  \
-include include/linux/kconfig.h \
-D__KERNEL__ -DMODULE \
-Wall -Wundef -Wstrict-prototypes -Wno-trigraphs
-Werror-implicit-function-declaration -Wno-format-security
-Wframe-larger-than=1024 -Wno-unused-but-set-variable
-Wdeclaration-after-statement -Wno-pointer-sign \
-fno-strict-aliasing -fno-common -fno-delete-null-pointer-checks
-fno-caller-saves -fno-stack-protector -fno-pic -pipe -fomit-frame-pointer
-femit-struct-debug-baseonly -fno-strict-overflow -fconserve-stack \
-mno-check-zero-division -mno-abicalls -mno-branch-likely -msoft-float
-mno-long-calls -ffreestanding -mabi=32 -march=mips32 -Wa,-mips32 -Wa,--trap \
-D CC_HAVE_ASM_GOTO \
-Os \
-c -o test.o test.c
>From gcc-bugs-return-427430-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Aug 06 12:12:17 2013
Return-Path: <gcc-bugs-return-427430-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 10434 invoked by alias); 6 Aug 2013 12:12:16 -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 10332 invoked by uid 48); 6 Aug 2013 12:12:12 -0000
From: "paolo.carlini at oracle dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/58091] Non-ambiguous member lookup rejected
Date: Tue, 06 Aug 2013 12:12:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: paolo.carlini at oracle dot com
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-58091-4-HQGaiI9ng5@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58091-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58091-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/msg00354.txt.bz2
Content-length: 359

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

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Generally speaking, this is a basic C++ issue, doesn't have to do with the
recent constexpr, and normally icc is very solid about those. Remember there
are also DRs, besides the published Standards. At the moment, I simply don't
know.

[Bug c/58092] BEQ (Branch on equal) jumps to wrong address (executes conditional code!)

[zajec5 at gmail dot com]

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

--- Comment #2 from Rafał Miłecki <zajec5 at gmail dot com> ---
### Decompiled object ###

00000000 <test>:
   0:   24020002        li      v0,2
   4:   24030004        li      v1,4
   8:   aca20000        sw      v0,0(a1)
   c:   10830002        beq     a0,v1,18 <test+0x18>
  10:   24020008        li      v0,8
  14:   8ca20040        lw      v0,64(a1)
  18:   aca20040        sw      v0,64(a1)
  1c:   03e00008        jr      ra
  20:   00000000        nop



### Decompiled with my explanations ###

   0:   24020002        li      v0,2
   4:   24030004        li      v1,4
   8:   aca20000        sw      v0,0(a1)
v0 (0x2) is stored in a1 unconditionally - this is fine

   c:   10830002        beq     a0,v1,18 <test+0x18>
  10:   24020008        li      v0,8
a0 (rev argument) is compared with v1 (0x4) - if equal CPU jumps to 0x18

  14:   8ca20040        lw      v0,64(a1)
the above line is executed to rev != 4

  18:   aca20040        sw      v0,64(a1)
the above lins (store v0 in a1+64) is always executed!
it should be executed for rev==4 only
v0 is 0x8 by default, or some different value for rev != 4

  1c:   03e00008        jr      ra
  20:   00000000        nop
>From gcc-bugs-return-427432-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Aug 06 12:27:57 2013
Return-Path: <gcc-bugs-return-427432-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 31951 invoked by alias); 6 Aug 2013 12:27:56 -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 31806 invoked by uid 48); 6 Aug 2013 12:27:50 -0000
From: "danglin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/58014] vshuf-v2si.C fails at -O3 on hppa64
Date: Tue, 06 Aug 2013 12:27:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: danglin 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-58014-4-x8D7M9PMq7@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58014-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58014-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/msg00356.txt.bz2
Content-length: 309

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

--- Comment #2 from John David Anglin <danglin at gcc dot gnu.org> ---
Introduced in r197845:

2013-04-12  Richard Biener  <rguenther@suse.de>

        * gimple.c (is_gimple_constant): Vector CONSTRUCTORs should
        not be considered a gimple constant.

[Bug c/58092] BEQ (Branch on equal) jumps to wrong address (executes conditional code!)

[mikpe at it dot uu.se]

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

--- Comment #3 from Mikael Pettersson <mikpe at it dot uu.se> ---
Please attach the pre-processed test.i (gcc -E or -save-temps).

[Bug c/58092] BEQ (Branch on equal) jumps to wrong address (executes conditional code!)

[zajec5 at gmail dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 2717 bytes --]

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

--- Comment #4 from Rafał Miłecki <zajec5 at gmail dot com> ---
Created attachment 30619
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30619&action=edit
test.i generated by adding -save-temps

Hi Mikael!

I added -save-temps at the end of my "mipsel-openwrt-linux-uclibc-gcc" call and
got warning:
mipsel-openwrt-linux-uclibc-gcc: warning: -pipe ignored because -save-temps
specified
and test.i of course.

By looking at decompiled version of test.o it seems to still contain the bug,
so ignored "-pipe" shouldn't hurt us.

Hope this is what you expected!
>From gcc-bugs-return-427442-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Aug 06 15:16:41 2013
Return-Path: <gcc-bugs-return-427442-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 25669 invoked by alias); 6 Aug 2013 15:16:40 -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 25547 invoked by uid 48); 6 Aug 2013 15:16:36 -0000
From: "dje at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/58094] [4.9 Regression] IPA devirt testsuite errors
Date: Tue, 06 Aug 2013 15:16:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: dje at gcc dot gnu.org
X-Bugzilla-Status: NEW
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: attachments.created
Message-ID: <bug-58094-4-Kxq6r2vFUM@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58094-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58094-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/msg00366.txt.bz2
Content-length: 304

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

--- Comment #3 from David Edelsohn <dje at gcc dot gnu.org> ---
Created attachment 30620
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id0620&actioníit
ipa and tree dumps

-fdump-ipa-all -fdump-tree-all output file attached in gzipped tar file.

[Bug c/58092] BEQ (Branch on equal) jumps to wrong address (executes conditional code!)

[mikpe at it dot uu.se]

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

--- Comment #5 from Mikael Pettersson <mikpe at it dot uu.se> ---
I can't reproduce the wrong-code with 4.6.4. 4.7.2, or 4.8.1.  They all
generate:

00000000 <test>:
   0:   24020002        li      v0,2
   4:   aca20000        sw      v0,0(a1)
   8:   24020004        li      v0,4
   c:   14820002        bne     a0,v0,18 <test+0x18>
  10:   24020008        li      v0,8
  14:   aca20040        sw      v0,64(a1)
  18:   03e00008        jr      ra
  1c:   00000000        nop

which looks correct to me (not that I know MIPS very well).

Please try with a self-compiled gcc built from unmodified sources, or report
this to openwrt as your hacked gcc clearly indicated (see the bugurl in comment
#1).

[Bug target/58092] BEQ (Branch on equal) jumps to wrong address (executes conditional code!)

[zajec5 at gmail dot com]

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

--- Comment #6 from Rafał Miłecki <zajec5 at gmail dot com> ---
OK, I've installed "cross-mips-linux-gcc" package from:
http://download.opensuse.org/repositories/home:/duwe:/crosstools/openSUSE_12.2/
and it works. After compiling test.c with:

> /opt/cross/bin/mips-linux-gcc -v
Using built-in specs.
COLLECT_GCC=/opt/cross/bin/mips-linux-gcc
COLLECT_LTO_WRAPPER=/opt/cross/libexec/gcc/mips-linux/4.5.3/lto-wrapper
Target: mips-linux
Configured with: ../configure --prefix=/opt/cross --enable-bootstrap=no
--build=x86_64-suse-linux --target=mips-linux --enable-languages=c,c++
--with-float=soft --disable-libmudflap --disable-multilib
Thread model: posix
gcc version 4.5.3 (GCC)

I got a correct test.o.

So this issue is specific to Linaro or OpenWrt.
>From gcc-bugs-return-427478-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Aug 06 21:43:14 2013
Return-Path: <gcc-bugs-return-427478-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 2134 invoked by alias); 6 Aug 2013 21:43:14 -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 2020 invoked by uid 48); 6 Aug 2013 21:43:10 -0000
From: "rsandifo at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug rtl-optimization/58079] internal compiler error: in do_SUBST, at combine.c:711
Date: Tue, 06 Aug 2013 21:43:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: rtl-optimization
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rsandifo at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: rsandifo at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status bug_file_loc cf_reconfirmed_on cc everconfirmed
Message-ID: <bug-58079-4-jLWScFMzHX@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58079-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58079-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/msg00402.txt.bz2
Content-length: 683

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

rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
                URL|                            |http://gcc.gnu.org/ml/gcc-p
                   |                            |atches/2013-08/msg00326.htm
                   |                            |l
   Last reconfirmed|                            |2013-08-06
                 CC|rdsandiford at googlemail dot com  |
     Ever confirmed|0                           |1

[Bug target/58092] BEQ (Branch on equal) jumps to wrong address (executes conditional code!)

[zajec5 at gmail dot com]

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

--- Comment #7 from Rafał Miłecki <zajec5 at gmail dot com> ---
I compiled two versions of gcc on my own:
1) gcc-4.6.4.tar.bz2
2) gcc-linaro-4.6-2012.12.tar.bz2

For both of them I've used binutils-2.22.tar.bz2

test.o compiled with gcc-4.6.4.tar.bz2
00000000 <test>:
   0:   24020002        li      v0,2
   4:   aca20000        sw      v0,0(a1)
   8:   24020004        li      v0,4
   c:   14820002        bne     a0,v0,18 <test+0x18>
  10:   24020008        li      v0,8
  14:   aca20040        sw      v0,64(a1)
  18:   03e00008        jr      ra
  1c:   00000000        nop

test.o compiled with gcc-linaro-4.6-2012.12.tar.bz2
00000000 <test>:
   0:   24020002        li      v0,2
   4:   24030004        li      v1,4
   8:   aca20000        sw      v0,0(a1)
   c:   10830002        beq     a0,v1,18 <test+0x18>
  10:   24020008        li      v0,8
  14:   8ca20040        lw      v0,64(a1)
  18:   aca20040        sw      v0,64(a1)
  1c:   03e00008        jr      ra
  20:   00000000        nop

So it seems to be Linaro fault. I'll report that problem to them.
>From gcc-bugs-return-427510-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Aug 07 10:09:01 2013
Return-Path: <gcc-bugs-return-427510-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 31095 invoked by alias); 7 Aug 2013 10:09:00 -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 30490 invoked by uid 48); 7 Aug 2013 10:08:28 -0000
From: "paolo.carlini at oracle dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug libstdc++/58098] wrong return value of normal_distribution::min()
Date: Wed, 07 Aug 2013 10:09: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.2
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: paolo.carlini at oracle dot com
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: paolo.carlini at oracle dot com
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-58098-4-nJXIqc4KMm@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58098-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58098-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/msg00434.txt.bz2
Content-length: 337

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

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Note: it's indeed debatable whether lowest or -infinity is better. For now I'm
going to minimally change our code to use lowest, because we use max the other
side, and infinities aren't unconditionally available.

[Bug target/58092] BEQ (Branch on equal) jumps to wrong address (executes conditional code!)

[zajec5 at gmail dot com]

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

--- Comment #8 from Rafał Miłecki <zajec5 at gmail dot com> ---
I found link to bug repository on https://support.linaro.org/home and reported
that issue to Linaro developers:
https://bugs.launchpad.net/gcc-linaro/+bug/1209171

Hope they'll handle this.
>From gcc-bugs-return-427513-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Aug 07 10:42:18 2013
Return-Path: <gcc-bugs-return-427513-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 13728 invoked by alias); 7 Aug 2013 10:42:18 -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 12437 invoked by uid 48); 7 Aug 2013 10:41:45 -0000
From: "janus at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/58099] [4.8/4.9 Regression] [F03] over-zealous procedure-pointer error checking
Date: Wed, 07 Aug 2013 10:42:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: fortran
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords: rejects-valid
X-Bugzilla-Severity: normal
X-Bugzilla-Who: janus at gcc dot gnu.org
X-Bugzilla-Status: NEW
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-58099-4-SfwQ51u0Wd@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58099-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58099-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/msg00437.txt.bz2
Content-length: 803

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

--- Comment #7 from janus at gcc dot gnu.org ---
The following patch makes the error go away, but (as expected) causes a failure
of proc_ptr_result_8.f90 in the testsuite ...


Index: gcc/fortran/expr.c
==================================================================--- gcc/fortran/expr.c    (revision 201520)
+++ gcc/fortran/expr.c    (working copy)
@@ -3581,14 +3581,6 @@ gfc_check_pointer_assign (gfc_expr *lvalue, gfc_ex
       return false;
     }

-      if (!gfc_compare_interfaces (s2, s1, name, 0, 1,
-                   err, sizeof(err), NULL, NULL))
-    {
-      gfc_error ("Interface mismatch in procedure pointer assignment "
-             "at %L: %s", &rvalue->where, err);
-      return false;
-    }
-
       return true;
     }

[Bug target/58092] BEQ (Branch on equal) jumps to wrong address (executes conditional code!)

[zajec5 at gmail dot com]

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

Rafał Miłecki <zajec5 at gmail dot com> changed:

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

--- Comment #9 from Rafał Miłecki <zajec5 at gmail dot com> ---
Not our bug
>From gcc-bugs-return-427515-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Aug 07 10:53:24 2013
Return-Path: <gcc-bugs-return-427515-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 28059 invoked by alias); 7 Aug 2013 10:53:24 -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 27362 invoked by uid 48); 7 Aug 2013 10:52:52 -0000
From: "janus at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/58099] [4.8/4.9 Regression] [F03] over-zealous procedure-pointer error checking
Date: Wed, 07 Aug 2013 10:53:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: fortran
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords: rejects-valid
X-Bugzilla-Severity: normal
X-Bugzilla-Who: janus at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: janus at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status assigned_to
Message-ID: <bug-58099-4-SI6QljEEMy@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58099-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58099-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/msg00439.txt.bz2
Content-length: 1246

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

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |janus at gcc dot gnu.org

--- Comment #8 from janus at gcc dot gnu.org ---
(In reply to janus from comment #7)
> The following patch makes the error go away, but (as expected) causes a
> failure of proc_ptr_result_8.f90 in the testsuite ...

... which can be made up for with this hunk:


Index: gcc/fortran/interface.c
==================================================================--- gcc/fortran/interface.c    (revision 201520)
+++ gcc/fortran/interface.c    (working copy)
@@ -1416,7 +1416,8 @@ gfc_compare_interfaces (gfc_symbol *s1, gfc_symbol
       if (s1->attr.function && s2->attr.function)
     {
       /* If both are functions, check result characteristics.  */
-      if (!check_result_characteristics (s1, s2, errmsg, err_len))
+      if (!check_result_characteristics (s1, s2, errmsg, err_len)
+          || !check_result_characteristics (s2, s1, errmsg, err_len))
         return 0;
     }

[Bug target/58092] BEQ (Branch on equal) jumps to wrong address (executes conditional code!)

[zajec5 at gmail dot com]

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

Rafał Miłecki <zajec5 at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|INVALID                     |FIXED

--- Comment #10 from Rafał Miłecki <zajec5 at gmail dot com> ---
Well... I spent more time testing that and it has appeared *to be* our bug. It
was a bug in 4.6.3 that was fixed in 4.6.4. Linaro was simply based on 4.6.3 at
some point.
>From gcc-bugs-return-427521-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Aug 07 15:07:26 2013
Return-Path: <gcc-bugs-return-427521-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 12693 invoked by alias); 7 Aug 2013 15:07:25 -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 12532 invoked by uid 48); 7 Aug 2013 15:07:18 -0000
From: "rearnsha at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/56979] ICE in output_operand: invalid operand for code 'P'
Date: Wed, 07 Aug 2013 15:07: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.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rearnsha at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: rearnsha at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status assigned_to
Message-ID: <bug-56979-4-L8ob5fkgJh@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-56979-4@http.gcc.gnu.org/bugzilla/>
References: <bug-56979-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/msg00445.txt.bz2
Content-length: 472

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

Richard Earnshaw <rearnsha at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |rearnsha at gcc dot gnu.org

--- Comment #5 from Richard Earnshaw <rearnsha at gcc dot gnu.org> ---
Testing a patch.