[Bug fortran/30947] New: intrinsic: ALARM

[Bug fortran/30947] New: intrinsic: ALARM

[dfranke at gcc dot gnu dot org]

$> cat alarm.f90
program test_alarm
  integer(kind=1) :: sec  = 1
  integer(kind=1) :: h    = 0
  integer(kind=1) :: stat = -1

  CALL alarm(sec, h, stat)
  if (stat == -1) call abort()
end program

$> gfortran-svn -fdump-tree-original alarm.f90
$> cat alarm.f90.003t.original
MAIN__ ()
{
  static int1 h = 0;
  static int1 stat = -1;
  static int1 sec = 1;

  _gfortran_set_std (70, 127, 0, 0);
  {
    int4 D.1005;
    int4 D.1004;
    int4 D.1003;

    D.1003 = (int4) sec;
    D.1004 = (int4) h;
    D.1005 = (int4) stat;
    _gfortran_alarm_sub_int (&D.1003, &D.1004, &D.1005);
  }
  if (stat == -1)
    {
      _gfortran_abort ();
    }
}

Here, the status (optional return value) is lost.


-- 
           Summary: intrinsic: ALARM
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dfranke at gcc dot gnu dot org
OtherBugsDependingO 30932
             nThis:


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

[Bug fortran/30947] intrinsic: ALARM

[fxcoudert at gcc dot gnu dot org]

-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-03-03 10:23:07
               date|                            |


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

[Bug fortran/30947] intrinsic: ALARM

[dfranke at gcc dot gnu dot org]

------- Comment #1 from dfranke at gcc dot gnu dot org  2007-03-08 21:45 -------
Subject: Bug 30947

Author: dfranke
Date: Thu Mar  8 21:45:22 2007
New Revision: 122715

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122715
Log:
2007-03-08  Daniel Franke  <franke.daniel@gmail.com>

        PR fortran/30947
        * check.c (gfc_check_alarm_sub): Added check for default integer 
        kind of status argument.
        * iresolve.c (gfc_resolve_alarm_sub): Removed conversion of 
        status argument.
        * intrinsic.texi (ALARM): Extended documentation.


Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/check.c
    trunk/gcc/fortran/intrinsic.texi
    trunk/gcc/fortran/iresolve.c


-- 


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

[Bug fortran/30947] intrinsic: ALARM

[dfranke at gcc dot gnu dot org]

------- Comment #2 from dfranke at gcc dot gnu dot org  2007-03-08 21:46 -------
Subject: Bug 30947

Author: dfranke
Date: Thu Mar  8 21:46:16 2007
New Revision: 122716

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122716
Log:
2007-03-08  Daniel Franke  <franke.daniel@gmail.com>

        PR fortran/30947
        * intrinsics/signal.c (alarm_sub_int): Avoid SEGFAULT with
        integer arguments.


Modified:
    trunk/libgfortran/ChangeLog
    trunk/libgfortran/intrinsics/signal.c


-- 


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

[Bug fortran/30947] intrinsic: ALARM

[dfranke at gcc dot gnu dot org]

------- Comment #3 from dfranke at gcc dot gnu dot org  2007-03-08 21:50 -------
Subject: Bug 30947

Author: dfranke
Date: Thu Mar  8 21:49:59 2007
New Revision: 122717

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122717
Log:
2007-03-08  Daniel Franke  <franke.daniel@gmail.com>

        Backport from trunk:
        PR fortran/30947
        * check.c (gfc_check_alarm_sub): Added check for default integer
        kind of status argument.
        * iresolve.c (gfc_resolve_alarm_sub): Removed conversion of
        status argument.
        * intrinsic.texi (ALARM): Extended documentation.


Modified:
    branches/gcc-4_2-branch/gcc/fortran/ChangeLog
    branches/gcc-4_2-branch/gcc/fortran/check.c
    branches/gcc-4_2-branch/gcc/fortran/intrinsic.texi
    branches/gcc-4_2-branch/gcc/fortran/iresolve.c


-- 


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

[Bug fortran/30947] intrinsic: ALARM

[dfranke at gcc dot gnu dot org]

------- Comment #4 from dfranke at gcc dot gnu dot org  2007-03-08 21:53 -------
Subject: Bug 30947

Author: dfranke
Date: Thu Mar  8 21:53:02 2007
New Revision: 122719

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122719
Log:
2007-03-08  Daniel Franke  <franke.daniel@gmail.com>

        Backport from trunk:
        PR fortran/30947
        * intrinsics/signal.c (alarm_sub_int): Avoid SEGFAULT with
        integer arguments.


Modified:
    branches/gcc-4_2-branch/libgfortran/ChangeLog
    branches/gcc-4_2-branch/libgfortran/intrinsics/signal.c


-- 


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

[Bug fortran/30947] intrinsic: ALARM

[dfranke at gcc dot gnu dot org]

------- Comment #5 from dfranke at gcc dot gnu dot org  2007-03-08 21:56 -------
With commits #1 to #4, the problem is only partially solved.

As Brooks Moses [1] points out:
"Thus, to make this work right, you'll still need to implement alarm_sub4 
and alarm_sub8 library functions (along with alarm_sub_int4 and 
alarm_sub_int8), and have gfc_resolve_alarm_sub call the appropriate one 
depending on the kind of the STATUS argument.  This is what the other 
intrinsics that use default-integer-only arguments do."

[1] http://gcc.gnu.org/ml/fortran/2007-03/msg00146.html


-- 

dfranke at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dfranke at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-03-03 10:23:07         |2007-03-08 21:56:56
               date|                            |


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

[Bug fortran/30947] intrinsic: ALARM

[fxcoudert at gcc dot gnu dot org]

------- Comment #6 from fxcoudert at gcc dot gnu dot org  2007-08-06 23:03 -------
Subject: Bug 30947

Author: fxcoudert
Date: Mon Aug  6 23:02:38 2007
New Revision: 127259

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=127259
Log:
        PR fortran/30947

        * iresolve.c (gfc_resolve_alarm_sub): Suffix the subroutine name
        with the kind of the STATUS argument.

        * intrinsics/signal.c: Create specific versions of alarm_sub and
        alarm_sub_int according to the integer kind of the last argument.
        * gfortran.map (GFORTRAN_1.0): Remove _gfortran_alarm_sub and
        _gfortran_alarm_sub_int, add _gfortran_alarm_sub_i4,
        _gfortran_alarm_sub_i8, _gfortran_alarm_sub_int_i4 and
        _gfortran_alarm_sub_int_i8.

Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/iresolve.c
    trunk/libgfortran/ChangeLog
    trunk/libgfortran/gfortran.map
    trunk/libgfortran/intrinsics/signal.c


-- 


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

[Bug fortran/30947] intrinsic: ALARM

[fxcoudert at gcc dot gnu dot org]

------- Comment #7 from fxcoudert at gcc dot gnu dot org  2007-08-06 23:05 -------
This should fix the remaining part.


-- 

fxcoudert at gcc dot gnu dot org changed:

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


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