[Bug ada/82393] Compilation error on cygwin64

2017-10-02 Thread didu31 at hotmail dot fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

--- Comment #1 from Didier G  ---
Created attachment 42280
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42280&action=edit
compressed preprocessed sysdep.c (if useful)

[Bug ada/82393] Compilation error on cygwin64

2017-10-02 Thread didu31 at hotmail dot fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

--- Comment #2 from Didier G  ---
Not tested but 
rtinit.c 
should be checked too.

[Bug ada/82393] Compilation error on cygwin64

2017-10-04 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

Eric Botcazou  changed:

   What|Removed |Added

  Attachment #42280|0   |1
is obsolete||
 CC||ebotcazou at gcc dot gnu.org

--- Comment #3 from Eric Botcazou  ---
Created attachment 42298
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42298&action=edit
Tentative fix

To be tested by someone who uses Cygwin.

[Bug ada/82393] Compilation error on cygwin64

2017-10-04 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |WAITING
   Last reconfirmed||2017-10-04
 Ever confirmed|0   |1

--- Comment #4 from Eric Botcazou  ---
Please try the attached patch.

[Bug ada/82393] Compilation error on cygwin64

2017-10-04 Thread didu31 at hotmail dot fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

--- Comment #5 from Didier G  ---
OK.
Build succeed.
Tests in progress ...

[Bug ada/82393] Compilation error on cygwin64

2017-10-04 Thread didu31 at hotmail dot fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

--- Comment #6 from Didier G  ---
Created attachment 42303
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42303&action=edit
Trace of check ada runtests

[Bug ada/82393] Compilation error on cygwin64

2017-10-04 Thread didu31 at hotmail dot fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

--- Comment #7 from Didier G  ---
Attached, the trace of ada run tests.
Please, feel free to inform me about output files to watch. I will do my best
to review and report them.

Best Regards,
Didier.

PS : Do you know we certainly live separated by 3,5 km at Toulouse City ?
I live at 35, rue Edmond Rostand 31200 ... :-)

[Bug ada/82393] Compilation error on cygwin64

2017-10-04 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

Eric Botcazou  changed:

   What|Removed |Added

 Status|WAITING |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |ebotcazou at gcc dot 
gnu.org

--- Comment #8 from Eric Botcazou  ---
Fixing.

[Bug ada/82393] Compilation error on cygwin64

2017-10-04 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

--- Comment #9 from Eric Botcazou  ---
> Trace of check ada runtests

You can do 'make mail-report.log' after 'make -k check' to have a report.

The results are acceptable although gnat.dg/entry_queues.adb and c380004, which
probably come from the same underlying issue, would need to be investigated.

[Bug ada/82393] Compilation error on cygwin64

2017-10-04 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

--- Comment #10 from Eric Botcazou  ---
> PS : Do you know we certainly live separated by 3,5 km at Toulouse City ?
> I live at 35, rue Edmond Rostand 31200 ... :-)

OK, this is a small world. :-)

[Bug ada/82393] Compilation error on cygwin64

2017-10-05 Thread didu31 at hotmail dot fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

--- Comment #11 from Didier G  ---
Created attachment 42306
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42306&action=edit
mail-report.log

log of make -k check-ada ; make mail-report.log

[Bug ada/82393] Compilation error on cygwin64

2017-10-05 Thread didu31 at hotmail dot fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

--- Comment #12 from Didier G  ---
(In reply to Eric Botcazou from comment #9)
> > Trace of check ada runtests
> 
> You can do 'make mail-report.log' after 'make -k check' to have a report.
> 
> The results are acceptable although gnat.dg/entry_queues.adb and c380004,
> which probably come from the same underlying issue, would need to be
> investigated.

FYI, to make you an idea of the c380004's failure, a SEGV occurs in
cygwin.S:___chkstk_ms, caused by stack check at c380004.adb:132.

The trace, here :

Starting program: /home/didier/c380004.exe
[New Thread 11216.0x1fc4]
[New Thread 11216.0x1e4]
[New Thread 11216.0x2794]
[New Thread 11216.0x1f00]

,.,. C380004 ACATS 2.5 17-10-05 11:45:34
 C380004 Check evaluation of discriminant expressions when the
constraint depends on a discriminant, and the
discriminants have defaults -
discriminant-dependententry families and protected
components.
   - C380004 Discriminant-dependent entry families for task types.
[New Thread 11216.0x1b6c]
[New Thread 11216.0x265c]
[Thread 11216.0x1b6c exited with code 1]
[Thread 11216.0x265c exited with code 1]
[New Thread 11216.0x15a4]
[Thread 11216.0x15a4 exited with code 1]
[New Thread 11216.0xac4]
[Thread 11216.0xac4 exited with code 1]
[New Thread 11216.0x34e8]
[Thread 11216.0x34e8 exited with code 1]
[New Thread 11216.0x2170]
[New Thread 11216.0x1698]
[Thread 11216.0x1698 exited with code 1]
[Thread 11216.0x2170 exited with code 1]
[New Thread 11216.0xfd8]
[New Thread 11216.0x356c]
[Thread 11216.0xfd8 exited with code 1]
[Thread 11216.0x356c exited with code 1]
[New Thread 11216.0x520]
   - C380004 Discriminant-dependent entry families for protected types.
[Thread 11216.0x520 exited with code 1]

Program received signal SIGSEGV, Segmentation fault.
___chkstk_ms () at
/cygdrive/c/Users/didier/git/gcc/libgcc/config/i386/cygwin.S:146
146 orq $0x0, (%rcx)/* probe there */
(gdb) info registers
rax0x283b0  164784
rbx0x880e80 8916608
rcx0xffe032d0   4292883152
rdx0x0  0
rsi0xc2d0   4294951632
rdi0xcab0   4294953648
rbp0xc350   0xc350
rsp0xc2b8   0xc2b8
r8 0x0  0
r9 0x0  0
r100xcab0   4294953648
r110x10042d9c9  4299348425
r120x100441768  4299429736
r130x100441958  4299430232
r140x1004416a0  4299429536
r150x100441720  4299429664
rip0x10043b0b6  0x10043b0b6 <___chkstk_ms+22>
eflags 0x10202  [ IF RF ]
cs 0x33 51
ss 0x2b 43
ds 0x2b 43
es 0x2b 43
fs 0x53 83
gs 0x2b 43
(gdb) up
#1  0x00010040dfb2 in c380004.chk () at c380004.adb:132
132 X : Arr;

[Bug ada/82393] Compilation error on cygwin64

2017-10-05 Thread didu31 at hotmail dot fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

--- Comment #13 from Didier G  ---
gnat.dg/entry_queues.adb debug execution :

(gdb) run
Starting program: /home/didier/entry_queues.exe
[New Thread 8264.0x299c]
[New Thread 8264.0x1950]
[New Thread 8264.0x1a94]
[New Thread 8264.0x3508]

Program received signal SIGSEGV, Segmentation fault.
___chkstk_ms () at
/cygdrive/c/Users/didier/git/gcc/libgcc/config/i386/cygwin.S:146
146 orq $0x0, (%rcx)/* probe there */
(gdb) info registers
rax0x283b0  164784
rbx0xcb00   4294953728
rcx0xffe037f0   4292884464
rdx0x0  0
rsi0xc7f0   4294952944
rdi0x880e80 8916608
rbp0xc870   0xc870
rsp0xc7d8   0xc7d8
r8 0x0  0
r9 0x1101d0 1114576
r100x0  0
r110x1101d0 1114576
r120x0  0
r130x0  0
r140x1101d0 1114576
r150x0  0
rip0x1004198f6  0x1004198f6 <___chkstk_ms+22>
eflags 0x10206  [ PF IF RF ]
cs 0x33 51
ss 0x2b 43
ds 0x2b 43
es 0x2b 43
fs 0x53 83
gs 0x2b 43
(gdb) c
Continuing.

raised STORAGE_ERROR : EXCEPTION_STACK_OVERFLOW
[Thread 8264.0x1a94 exited with code 1]
[Thread 8264.0x3508 exited with code 1]
[Inferior 1 (process 8264) exited with code 01]

[Bug ada/82393] Compilation error on cygwin64

2017-10-05 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

--- Comment #14 from Eric Botcazou  ---
> FYI, to make you an idea of the c380004's failure, a SEGV occurs in
> cygwin.S:___chkstk_ms, caused by stack check at c380004.adb:132.

Ah, yes, it's a known issue on 64-bit Windows.  Both tests are pathological and
require more than 2 MB of stack to pass on 64-bit platforms, so the special
pragma Link_With in s-taprop-mingw.adb would need to be bumped to 0x40.

[Bug ada/82393] Compilation error on cygwin64

2017-10-05 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

Eric Botcazou  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED
   Target Milestone|--- |7.3

--- Comment #17 from Eric Botcazou  ---
Patch applied.

[Bug ada/82393] Compilation error on cygwin64

2017-10-05 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

--- Comment #16 from Eric Botcazou  ---
Author: ebotcazou
Date: Thu Oct  5 16:32:40 2017
New Revision: 253455

URL: https://gcc.gnu.org/viewcvs?rev=253455&root=gcc&view=rev
Log:
PR ada/82393
* mingw32.h (_O_U8TEXT, _O_U16TEXT, _O_WTEXT): Delete.
* sysdep.c (__gnat_set_mode ): Use DJGPP version for Cygwin.

Modified:
branches/gcc-7-branch/gcc/ada/ChangeLog
branches/gcc-7-branch/gcc/ada/mingw32.h
branches/gcc-7-branch/gcc/ada/sysdep.c

[Bug ada/82393] Compilation error on cygwin64

2017-10-05 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

--- Comment #15 from Eric Botcazou  ---
Author: ebotcazou
Date: Thu Oct  5 16:32:21 2017
New Revision: 253454

URL: https://gcc.gnu.org/viewcvs?rev=253454&root=gcc&view=rev
Log:
PR ada/82393
* mingw32.h (_O_U8TEXT, _O_U16TEXT, _O_WTEXT): Delete.
* sysdep.c (__gnat_set_mode ): Use DJGPP version for Cygwin.

Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/mingw32.h
trunk/gcc/ada/sysdep.c

[Bug ada/82393] Compilation error on cygwin64

2017-10-05 Thread didu31 at hotmail dot fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82393

--- Comment #18 from Didier G  ---
Fine.
That's all folk !
;°)