[Bug c/67967] New: ICE in i386_pe_seh_unwind_emit

[Bug c/67967] New: ICE in i386_pe_seh_unwind_emit

[tprince at computer dot org]

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

            Bug ID: 67967
           Summary: ICE in i386_pe_seh_unwind_emit
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tprince at computer dot org
  Target Milestone: ---

Created attachment 36510
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36510&action=edit
C source

1st of many build failures on trunk:
$ /cygdrive/c/users/tim/tim/tim/src/gnu/gcc1/cyg64/gcc/xgcc -B/cygdrive/c/users
/tim/tim/tim/src/gnu/gcc1/cyg64/gcc/   -I../../../winsup/w32api/include -I../..
/../winsup/include -I../../../winsup/cygwin/include -g -O2 -DIN_GCC    -W -Wall
 -Wno-narrowing -Wwrite-strings -Wcast-qual -Wstrict-prototypes -Wmissing-proto
types -Wold-style-definition  -isystem ./include   -g -DIN_LIBGCC2 -fbuilding-l
ibgcc -fno-stack-protector   -I. -I../../gcc -I../../../libgcc -I../../../gcc -
I../../../include -I../../../libgcc/config/libbid -DENABLE_DECIMAL_BID_FORMAT -
DHAVE_CC_TLS -DUSE_EMUTLS -o _powitf2.o -MT _powitf2.o -MD -MP -MF _powitf2.dep
 -DL_powitf2 -c ../../../libgcc/libgcc2.c
../../../libgcc/libgcc2.c: In function ‘__powitf2’:
../../../libgcc/libgcc2.c:1851:1: internal compiler error: in
i386_pe_seh_unwind
_emit, at config/i386/winnt.c:1137
 }
 ^

unable to obtain pre-processed source

$ /cygdrive/c/users/tim/tim/tim/src/gnu/gcc1/cyg64/gcc/xgcc -v
Using built-in specs.
COLLECT_GCC=/cygdrive/c/users/tim/tim/tim/src/gnu/gcc1/cyg64/gcc/xgcc
Target: x86_64-unknown-cygwin
Configured with: ../configure --prefix=/usr/local/gcc6.0 --enable-languages='c
c
++ fortran' --enable-libgomp --enable-threads=posix --with-dwarf2
--without-libi
conv-prefix --without-libintl-prefix --with-system-zlib --disable-werror
--witho
ut-cloog --without-isl --disable-__cxa_atexit --disable-bootstrap
Thread model: posix
gcc version 6.0.0 20151014 (experimental) (GCC)
>From gcc-bugs-return-499559-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Oct 14 17:15:10 2015
Return-Path: <gcc-bugs-return-499559-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 16798 invoked by alias); 14 Oct 2015 17:15:09 -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 16745 invoked by uid 48); 14 Oct 2015 17:15:06 -0000
From: "mikael at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/47469] Check whether arrayfunc_assign_needs_temporary misses TBP/PPC attributes
Date: Wed, 14 Oct 2015 17:15: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: 4.6.0
X-Bugzilla-Keywords: patch, wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mikael at gcc dot gnu.org
X-Bugzilla-Status: WAITING
X-Bugzilla-Resolution:
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-47469-4-PBSwZnuPlQ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-47469-4@http.gcc.gnu.org/bugzilla/>
References: <bug-47469-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: 2015-10/txt/msg01114.txt.bz2
Content-length: 811

https://gcc.gnu.org/bugzilla/show_bug.cgi?idG469

--- Comment #4 from Mikael Morin <mikael at gcc dot gnu.org> ---
(In reply to Dominique d'Humieres from comment #3)
> > Tobias' version is prettier! Does it apply without regressions?
>
> Obviously the patch in comment 0 no longer applies.
>
> Now finding 'gfc_expr_attr (expr2).pointer' prettier than
> 'expr2->symtree->n.sym->attr.pointer' is just a matter of taste (29
> characters compared to 35). For a newbie like the later is easier to
> understand than the former.
It isn't just a matter of taste.
when expr2 is a subreference (say obj%proc_ptr(...)), it's the pointerness of
the result of the proc_ptr interface that matters, not that of obj.

>
> BTW what should it be for 'value.function.esym'?

Hmm, gfc_expr_attr should handle it gracefully.

[Bug c/67967] ICE in i386_pe_seh_unwind_emit

[tprince at computer dot org]

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

--- Comment #1 from tprince at computer dot org ---
Created attachment 36511
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36511&action=edit
include file

[Bug c/67967] ICE in i386_pe_seh_unwind_emit

[tprince at computer dot org]

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

--- Comment #2 from tprince at computer dot org ---
Created attachment 36512
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36512&action=edit
C source

According to ChangeLog, ktietz is the one who modified this since it was last
working (verified on 26 Sept. 2015).  There are hundreds of failures pointing
to the same source line, between build and test suite.

[Bug c/67967] ICE in i386_pe_seh_unwind_emit

[ubizjak at gmail dot com]

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

--- Comment #3 from Uroš Bizjak <ubizjak at gmail dot com> ---
Actually, gcc can now handle misaligned stack for x86_64 and it emits 

    {
      rtx unspec = gen_rtx_UNSPEC (mode, gen_rtvec (1, reg), UNSPEC_STOREU);
      insn = emit_insn (gen_rtx_SET (mem, unspec));
    }

that is later decorated with:

    add_reg_note (insn, REG_CFA_EXPRESSION, gen_rtx_SET (mem, reg));

So, i386_pe_seh_unwind_emit has to be updated to handle REG_CFA_EXPRESSION.
>From gcc-bugs-return-499568-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Oct 14 18:50:30 2015
Return-Path: <gcc-bugs-return-499568-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 64578 invoked by alias); 14 Oct 2015 18:50:29 -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 64514 invoked by uid 48); 14 Oct 2015 18:50:25 -0000
From: "dominiq at lps dot ens.fr" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/53800] [OOP] Wrong copy-in/copy-out when passing CLASS array to assumed-shape TYPE
Date: Wed, 14 Oct 2015 18:50: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: 4.8.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: dominiq at lps dot ens.fr
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution:
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: bug_status cf_reconfirmed_on everconfirmed
Message-ID: <bug-53800-4-GMFJVbTF8o@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-53800-4@http.gcc.gnu.org/bugzilla/>
References: <bug-53800-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: 2015-10/txt/msg01123.txt.bz2
Content-length: 714

https://gcc.gnu.org/bugzilla/show_bug.cgi?idS800

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-10-14
     Ever confirmed|0                           |1

--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> See http://j3-fortran.org/pipermail/j3/2012-June/005438.html
> and http://j3-fortran.org/pipermail/j3/2012-June/005445.html

The links are broken. At r228818 the output of the code in comment 0 is still

          42
          42

[Bug c/67967] [5.2/6 Regression] ICE in i386_pe_seh_unwind_emit

[tkoenig at gcc dot gnu.org]

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

Thomas Koenig <tkoenig at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tkoenig at gcc dot gnu.org
   Target Milestone|---                         |5.3
            Summary|ICE in                      |[5.2/6 Regression] ICE in
                   |i386_pe_seh_unwind_emit     |i386_pe_seh_unwind_emit

[Bug c/67967] [5.2/6 Regression] ICE in i386_pe_seh_unwind_emit

[ubizjak at gmail dot com]

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

--- Comment #4 from Uroš Bizjak <ubizjak at gmail dot com> ---
A totaly untested, bit kind of obvious patch:

--cut here--
Index: config/i386/winnt.c
===================================================================
--- config/i386/winnt.c (revision 228818)
+++ config/i386/winnt.c (working copy)
@@ -1128,11 +1128,11 @@ i386_pe_seh_unwind_emit (FILE *asm_out_file, rtx_i
       switch (REG_NOTE_KIND (note))
        {
        case REG_FRAME_RELATED_EXPR:
+       case REG_CFA_EXPRESSION:
          pat = XEXP (note, 0);
          goto found;

        case REG_CFA_DEF_CFA:
-       case REG_CFA_EXPRESSION:
          /* Only emitted with DRAP, which we disable.  */
          gcc_unreachable ();
          break;
--cut here--

Can you please check the above patch?
>From gcc-bugs-return-499571-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Oct 14 18:58:02 2015
Return-Path: <gcc-bugs-return-499571-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 75070 invoked by alias); 14 Oct 2015 18:58:02 -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 74425 invoked by uid 48); 14 Oct 2015 18:57:59 -0000
From: "dominiq at lps dot ens.fr" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug libfortran/48958] Add runtime diagnostics for SIZE intrinsic function
Date: Wed, 14 Oct 2015 18:58:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: libfortran
X-Bugzilla-Version: 4.7.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: dominiq at lps dot ens.fr
X-Bugzilla-Status: WAITING
X-Bugzilla-Resolution:
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: bug_status cf_reconfirmed_on everconfirmed
Message-ID: <bug-48958-4-u7Gsy5FIWh@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-48958-4@http.gcc.gnu.org/bugzilla/>
References: <bug-48958-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: 2015-10/txt/msg01126.txt.bz2
Content-length: 557

https://gcc.gnu.org/bugzilla/show_bug.cgi?idH958

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2015-10-14
     Ever confirmed|0                           |1

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
PR20406 has been closed as WONTFIX, any reason to keep this PR opened?

[Bug c/67967] [5.2/6 Regression] ICE in i386_pe_seh_unwind_emit

[ubizjak at gmail dot com]

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

Uroš Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2015-10-14
           Assignee|unassigned at gcc dot gnu.org      |ubizjak at gmail dot com
     Ever confirmed|0                           |1

--- Comment #5 from Uroš Bizjak <ubizjak at gmail dot com> ---
Created attachment 36513
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36513&action=edit
Alternative patch that avoids REG_CFA_EXPRESSION for aligned moves

I'm testing the above patch.
>From gcc-bugs-return-499573-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Oct 14 20:46:29 2015
Return-Path: <gcc-bugs-return-499573-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 98760 invoked by alias); 14 Oct 2015 20:46:29 -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 98725 invoked by uid 48); 14 Oct 2015 20:46:25 -0000
From: "vogt at linux dot vnet.ibm.com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug rtl-optimization/67443] [5/6 regression] DSE removes required store instruction
Date: Wed, 14 Oct 2015 20:46: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: 5.2.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: vogt at linux dot vnet.ibm.com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.3
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-67443-4-iFNKZHVXv8@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-67443-4@http.gcc.gnu.org/bugzilla/>
References: <bug-67443-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: 2015-10/txt/msg01128.txt.bz2
Content-length: 1378

https://gcc.gnu.org/bugzilla/show_bug.cgi?idg443

--- Comment #7 from Dominik Vogt <vogt at linux dot vnet.ibm.com> ---
Almost.  Note the strange bit numbering on s390.  The highest order bit in any
operation always has the number 0, and the lowest order bit has the highest
number.  So the 8-bit-move instruction "mvi" stores a byte into *a (bit 0-7),
then the 32-bit-and instruction "n" reads *a as a 32 bit value.  The bits 0-7
are the highest order bits of the result, so the value read is actually
0x03xxxxxx (bits 0-7 have the value 0x03, the rest is random data).

(Actually, I couldn't read this assembly code right without the help of a
debugger.)

                       # r2 contains the address a at start of function
  larl  %r5,.L3
  mvi  0(%r2),3        # b-byte store of value 3 to the *(a + 0)
                       #   -> memory at a: 03 ** ** ** ** ** ** **
  l  %r1,.L4-.L3(%r5)  # 32-bit-load 0xff000000 to r1

  n  %r1,0(%r2)        # 32-bit "and" of *(a + 0) and $1, result
                       # stored in r1 -> 0x03000000

  oill  %r1,5          # 64-bit "or" of r1 with the immediate value
                       # 0x00000000 00000005
                       # r1 -> 0x03000005
  st  %r1,0(%r2)       # 32-bit store or r1 to a
                       #   -> memory at a: 03 00 00 05 ** ** ** **
  br  %r14
.L3:
.L4:
  .long  -16777216

[Bug c/67967] [5.2/6 Regression] ICE in i386_pe_seh_unwind_emit

[uros at gcc dot gnu.org]

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

--- Comment #6 from uros at gcc dot gnu.org ---
Author: uros
Date: Wed Oct 14 21:18:19 2015
New Revision: 228826

URL: https://gcc.gnu.org/viewcvs?rev=228826&root=gcc&view=rev
Log:
        PR target/67967
        * config/i386/i386.c (ix86_emit_save_reg_using_mov): Do not add
        REG_CFA_EXPRESSION to aligned SSE stores.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/i386/i386.c

[Bug c/67967] [5.2/6 Regression] ICE in i386_pe_seh_unwind_emit

[uros at gcc dot gnu.org]

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

--- Comment #7 from uros at gcc dot gnu.org ---
Author: uros
Date: Wed Oct 14 22:30:04 2015
New Revision: 228830

URL: https://gcc.gnu.org/viewcvs?rev=228830&root=gcc&view=rev
Log:
        PR target/67967
        * config/i386/i386.c (ix86_emit_save_reg_using_mov): Do not add
        REG_CFA_EXPRESSION to aligned SSE stores.


Modified:
    branches/gcc-5-branch/gcc/ChangeLog
    branches/gcc-5-branch/gcc/config/i386/i386.c

[Bug target/67967] [5.2/6 Regression] ICE in i386_pe_seh_unwind_emit

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
          Component|c                           |target
         Resolution|---                         |FIXED

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.