[Bug ada/11581] New: gnat1 segfaults if it does receive any arguments

[Bug ada/11581] New: gnat1 segfaults if it does receive any arguments

[steven at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: gnat1 segfaults if it does receive any arguments
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: minor
          Priority: P1
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: steven at gcc dot gnu dot org
                CC: 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

Freshly bootstrapped:

[steven@steven gcc]$ ./gnat1 --version
GNU Ada version 3.4 20030718 (experimental) (i686-pc-linux-gnu)
        compiled by GNU C version 3.4 20030718 (experimental).
GGC heuristics: --param ggc-min-expand=47 --param ggc-min-heapsize=31916
[steven@steven gcc]$ ./gnat1
Segmentation fault
[steven@steven gcc]$ 

[steven@steven gcc]$ /usr/lib/gcc-lib/i386-redhat-linux/3.2.2/gnat1
Usage: gnat1 switches sfile
 
  sfile     Source file name

---- 8< 8< 8< huuuuuuge snip with all flags and options ----
  -gnatz    Distribution stub generation (r/s for receiver/sender stubs)
  -gnatZ    Use zero cost exception handling
  -gnat83   Enforce Ada 83 restrictions
 
gnat1: you must provide one source file

So technically this is a regression.

[Bug ada/11581] gnat1 segfaults if it does receive any arguments

[pinskia at physics dot uc dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From pinskia at physics dot uc dot edu  2003-07-18 20:48 -------
This is most likely caused by Neil's patches fo the way options are handled.

[Bug ada/11581] gnat1 segfaults if it does receive any arguments

[pinskia at physics dot uc dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at physics dot uc dot edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING


------- Additional Comments From pinskia at physics dot uc dot edu  2003-07-19 16:07 -------
It does not happen to me on powerpc-apple-darwin6.6:
./gnat1 --version
GNU Ada version 3.4 20030719 (experimental) (powerpc-apple-darwin6.6)
        compiled by GNU C version 3.4 20030719 (experimental).
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
[zhivago2:src/objdir/gcc] pinskia% ./gnat1
Usage: gnat1 switches sfile

  sfile     Source file name

  -fstack-check Generate stack checking code
  -fno-inline   Inhibit all inlining (makes executable smaller)
  -g            Generate debugging information
  -Idir         Specify source files search path
  -I-           Do not look for sources in current directory
  -O[0123]      Control the optimization level
...

Can you try again?

[Bug ada/11581] gnat1 segfaults if it does receive any arguments

[s dot bosscher at student dot tudelft dot nl]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From s dot bosscher at student dot tudelft dot nl  2003-07-20 10:16 -------
Subject: Re:  gnat1 segfaults if it does receive any
	arguments

[steven@steven gcc]$ ./gnat1 --version
GNU Ada version 3.4 20030720 (experimental) (i686-pc-linux-gnu)
        compiled by GNU C version 3.4 20030720 (experimental).
GGC heuristics: --param ggc-min-expand=47 --param ggc-min-heapsize=31916
[steven@steven gcc]$ ./gnat1
Segmentation fault
[steven@steven gcc]$

[Bug ada/11581] gnat1 segfaults if it does receive any arguments

[pinskia at physics dot uc dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at physics dot uc dot edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2003-07-20 11:57:29
               date|                            |


------- Additional Comments From pinskia at physics dot uc dot edu  2003-07-20 11:57 -------
Looks like it does not effect on powerpc-apple-darwin6.6 for some reason and I do not have an 
Ada compiler on i686-pc-linux-gnu to check on this.

[Bug ada/11581] [3.4 Regression] gnat1 segfaults if it does receive any arguments

[ro at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


ro at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ro at techfak dot uni-
                   |                            |bielefeld dot de


------- Additional Comments From ro at gcc dot gnu dot org  2003-07-24 19:57 -------
The same problem happens with jc1 and f771 on sparc-sun-solaris2.8.  It seems to
happen on all platforms which crash on strlen(NULL).

All crashes show the same stack trace:

#0  0xff1b3200 in strlen () from /usr/lib/libc.so.1
#1  0x00490ff4 in output_file_directive (asm_file=0x879898, input_name=0x0)
    at /vol/gnu/src/gcc/gcc-dist/gcc/toplev.c:1403
#2  0x00495e14 in init_asm_output (name=0x657800 "")
    at /vol/gnu/src/gcc/gcc-dist/gcc/toplev.c:4077
#3  0x004966ac in lang_dependent_init (name=0x0)
    at /vol/gnu/src/gcc/gcc-dist/gcc/toplev.c:4409
#4  0x0049694c in do_compile () at /vol/gnu/src/gcc/gcc-dist/gcc/toplev.c:4517
#5  0x00496a78 in toplev_main (argc=1, argv=0xffbef4cc)
    at /vol/gnu/src/gcc/gcc-dist/gcc/toplev.c:4567

In toplev.c (output_file_directive), strlen is called with a NULL input_name.
The fix may be to simply initialize toplev.c (main_input_filename) to <stdin>,
as cppfiles.c does.  cc1, cc1plus, and cc1obj are not affected and simply
emit <stdin>.s instead.

[Bug ada/11581] [3.4 Regression] gnat1 segfaults if it does receive any arguments

[pinskia at physics dot uc dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at physics dot uc dot edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|minor                       |critical

[Bug other/11581] [3.4 Regression] gnat1/cc1/jc1/cc1plus/f771 segfaults if it does receive any arguments

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |segher at kernel dot
                   |                            |crashing dot org


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-10-17 18:55 -------
*** Bug 12663 has been marked as a duplicate of this bug. ***

[Bug other/11581] [3.4 Regression] gnat1/cc1/jc1/cc1plus/f771 segfaults if it does receive any arguments

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |WAITING


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-10-23 14:44 -------
I think this is fixed by:
	2003-10-22  Andrew Haley  <aph@redhat.com>
	
	* toplev.c (output_file_directive): Allow for null input_name

Can someone try again?

Re: [Bug other/11581] [3.4 Regression] gnat1/cc1/jc1/cc1plus/f771 segfaults if it does receive any arguments

[Arnaud Charlet]

> 	* toplev.c (output_file_directive): Allow for null input_name
> 
> Can someone try again?

OK with gnat1

Arno

[Bug other/11581] [3.4 Regression] gnat1/cc1/jc1/cc1plus/f771 segfaults if it does receive any arguments

[charlet at act-europe dot fr]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From charlet at act-europe dot fr  2003-10-23 15:17 -------
Subject: Re:  [3.4 Regression] gnat1/cc1/jc1/cc1plus/f771 segfaults if it does receive any arguments

> 	* toplev.c (output_file_directive): Allow for null input_name
> 
> Can someone try again?

OK with gnat1

Arno

[Bug other/11581] [3.4 Regression] gnat1/cc1/jc1/cc1plus/f771 segfaults if it does receive any arguments

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

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


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-10-23 15:25 -------
Fixed for 3.4 by that patch.