forums.silverfrost.com Forum Index forums.silverfrost.com
Welcome to the Silverfrost forums
 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

Improper argument to UPCASE@ not caught even with /checkmate
Goto page 1, 2  Next
 
Post new topic   Reply to topic    forums.silverfrost.com Forum Index -> Support
View previous topic :: View next topic  
Author Message
mecej4



Joined: 31 Oct 2006
Posts: 1885

PostPosted: Tue Sep 03, 2019 5:21 pm    Post subject: Improper argument to UPCASE@ not caught even with /checkmate Reply with quote

Would it be possible to provide built-in interfaces to the Silverfrost utility functions and subroutines such as UPCASE@?

In the following test program, I made the mistake of passing a similarly named integer variable instead of a character variable to UPCASE@. Even with /checkmate, the program crashes with access violation, whether built for 32-bit or 64-bit.

Code:
program upc
!test program to show upcase@ bug
implicit none
integer :: ipc = Z'00636261'
character(4) :: cpc = 'pqr '
!
call upcase@(ipc)  !error, should have passed CPC instead of IPC
print *,ipc
print *,cpc
end program
Back to top
View user's profile Send private message
PaulLaidler
Site Admin


Joined: 21 Feb 2005
Posts: 7916
Location: Salford, UK

PostPosted: Wed Sep 04, 2019 7:18 am    Post subject: Reply with quote

I have made a note to look into this.
Back to top
View user's profile Send private message AIM Address
LitusSaxonicum



Joined: 23 Aug 2005
Posts: 2388
Location: Yateley, Hants, UK

PostPosted: Thu Sep 05, 2019 11:19 am    Post subject: Reply with quote

... and presumably, LCASE@

E
Back to top
View user's profile Send private message
PaulLaidler
Site Admin


Joined: 21 Feb 2005
Posts: 7916
Location: Salford, UK

PostPosted: Thu Sep 05, 2019 12:41 pm    Post subject: Reply with quote

Yes, thanks for the prompting.
Back to top
View user's profile Send private message AIM Address
John-Silver



Joined: 30 Jul 2013
Posts: 1520
Location: Aerospace Valley

PostPosted: Sat Sep 07, 2019 2:18 am    Post subject: Reply with quote

What's meant by the request:-

Quote:
...provide built-in interfaces to ....


?
_________________
''Computers (HAL and MARVIN excepted) are incredibly rigid. They question nothing. Especially input data.Human beings are incredibly trusting of computers and don't check input data. Together cocking up even the simplest calculation ... Smile "
Back to top
View user's profile Send private message
mecej4



Joined: 31 Oct 2006
Posts: 1885

PostPosted: Sat Sep 07, 2019 2:25 am    Post subject: Re: Reply with quote

John-Silver wrote:
What's meant by the request:-

Quote:
...provide built-in interfaces to ....


?


The compiler should know the types of arguments that built-in routines (whether standard "intrinsics" or Silverfrost extensions), and should be able to check that actual arguments in calls to such routines are of the correct types (or compatible, at least).
Back to top
View user's profile Send private message
PaulLaidler
Site Admin


Joined: 21 Feb 2005
Posts: 7916
Location: Salford, UK

PostPosted: Wed Sep 11, 2019 2:11 pm    Post subject: Reply with quote

Argument type checking has now been added to FTN95 for UPCASE@, LCASE@ and about 80 other native intrinsics. This will be included in the next release of FTN95.
Back to top
View user's profile Send private message AIM Address
LitusSaxonicum



Joined: 23 Aug 2005
Posts: 2388
Location: Yateley, Hants, UK

PostPosted: Thu Sep 12, 2019 1:26 pm    Post subject: Reply with quote

Paul,

That's excellent. There are loads of subprograms in FTN that have their origins in FTN77, and it's great that they are being kept up to date.

Is it possible to have a list of what the SF routines are, above and beyond what are in the standard, please? I keep forgetting to look in the FTN77 manuals.

Eddie
Back to top
View user's profile Send private message
PaulLaidler
Site Admin


Joined: 21 Feb 2005
Posts: 7916
Location: Salford, UK

PostPosted: Thu Sep 12, 2019 1:55 pm    Post subject: Reply with quote

Here is the list without the trailing @ or $. There are some native intrinsics that are currently not tested. In particular only routines ending in @ or $ are tested.

ALLOCSTR,APPEND_STRING,ATTACH,CENTRE,CISSUE,CLOCK,CLOSEF,CLOSEFD,
CNUM,COMPRESS,CONVDATE,COU,COUA,CURRENT_DIR,DCLOCK,DOSERR,DOSPARAM,
DOS_ERROR_MESSAGE,EMPTY,ERASE,ERROR,EXIT,FEXISTS,FILEINFO,FILE_EXISTS,
FILE_SIZE,FILE_SIZE8,FILE_TRUNCATE,FLUSH_FORTRAN_HANDLE,FORTRAN_ERROR_MESSAGE,
FPOS,FPOSLONG,FPOS_EOF,FPOS_EOFLONG,GETENV,GETENVIRON,GETSTR,GET_CURRENT_FORTRAN_UNIT,
GET_GSTORAGE,GET_GSTORAGE64,GET_KEY,GET_KEY_OR_YIELD,GET_PATH,GET_PROGRAM_NAME,
GET_STORAGE,GET_STORAGE64,GLOBALMEMORYSTATUS,LCASE,MKDIR,NONBLK,OPENF,
OPENR,OPENRW,OPENW,PRERR,PROCESSMEMORYINFO,READF,READFA,READFLONG,RENAME,
RETURN_GSTORAGE,RETURN_STORAGE,RFPOS,RFPOSLONG,RUNERR,SET_FILE_ATTRIBUTE,
SET_SEED,SLEEP,SLEEP1,SOUND,START_PPROCESS,START_PROCESS,TEMP_FILE,TEMP_PATH,
TRIM,TRIMR,UPCASE,WRITEF,WRITEFA,WRITEFLONG
Back to top
View user's profile Send private message AIM Address
LitusSaxonicum



Joined: 23 Aug 2005
Posts: 2388
Location: Yateley, Hants, UK

PostPosted: Thu Sep 12, 2019 2:06 pm    Post subject: Reply with quote

Paul,

Many thanks for the quick response.

I once had a school report that "Edward is easily amused." It was nearly 60 years ago, and I still am. It's that mischievous easily amused sense that makes me chortle ar 'READFA'. Perhaps it just needs to be complemented with 'DOFA' and 'PRINTFA' for completeness.

Eddie

PS. For those who don't understand the meaning of 'FA', please send me a PM and I will explain.
Back to top
View user's profile Send private message
PaulLaidler
Site Admin


Joined: 21 Feb 2005
Posts: 7916
Location: Salford, UK

PostPosted: Fri Sep 27, 2019 8:16 am    Post subject: Reply with quote

This kind of argument type checking has now been extended to the routines in clearwin.ins. REF and VAL keywords in this header file have been extended by the simple expediency of adding one character that represents the type (for example, REFD for double precision and REF3 for INTEGER(3)).

This will be included in the next full release and, after an initial trial period, the aim is to include this information in the corresponding module CLRWIN for a subsequent release. So initially you will get better diagnostics by using the header file rather than the module.
Back to top
View user's profile Send private message AIM Address
mecej4



Joined: 31 Oct 2006
Posts: 1885

PostPosted: Fri Sep 27, 2019 9:25 am    Post subject: Reply with quote

Paul, this is a welcome addition to the error catching capabilities of FTN95 and will be appreciated by the many users of this compiler.
Back to top
View user's profile Send private message
LitusSaxonicum



Joined: 23 Aug 2005
Posts: 2388
Location: Yateley, Hants, UK

PostPosted: Fri Sep 27, 2019 12:56 pm    Post subject: Reply with quote

I'd like to add my voice in support of updating those excellent but rather old facilities that have carried over from the early days of FTN77 and which continue to be useful. Keeping them current is a valuable enhancement.

When the DBOS graphics system was converted to Windows, several of the functions fell by the wayside. One set of them included CREATE_POLYGON@, COMBINE_POLYGONS@, DELETE_POLYGON@ and MOVE_POLYGON@ - a set of useful drawing tools for which CW+ has no replacement, despite FTN95 saying that there is.

Also, especially in connection with the drawing of equations and mathematical functions, the loss of DRAW_HERSHEY@ (and HERSHEY_PRESENT@) is a bit of a pity too.

Eddie
Back to top
View user's profile Send private message
PaulLaidler
Site Admin


Joined: 21 Feb 2005
Posts: 7916
Location: Salford, UK

PostPosted: Sat Oct 05, 2019 7:23 pm    Post subject: Reply with quote

CREATE_POLYGON@ etc. should work for 32 bits. These are hard-wired (no header required) into salflibc.dll. They were also ported as CREATE_POLYGON_L@ etc. which are available via clearwin.ins. I have tested the latter set and they work for me.

CREATE_POLYGON_L@ etc. have now been ported to 64 bits. Also two new routines have been added to this set (both 32 and 64 bits) namely DRAW_POLYGON_L@ and COPY_POLYGON_L@. You will also be able to use smoothing with this update when it is released.

I have not looked at the HERSHEY routines but the original DBOS routines are present for 32 bits in salflibc.dll.
Back to top
View user's profile Send private message AIM Address
DanRRight



Joined: 10 Mar 2008
Posts: 2813
Location: South Pole, Antarctica

PostPosted: Sun Oct 06, 2019 2:43 am    Post subject: Re: Reply with quote

LitusSaxonicum wrote:
It's that mischievous easily amused sense that makes me chortle ar 'READFA'.
PS. For those who don't understand the meaning of 'FA', please send me a PM and I will explain.


in READFA FA as well as in READF F means exactly what FA and F means: eFfin FAst. I'm sure all know what effing means but i'm also sure no one knows HOW is it fast. Hell fast.
Back to top
View user's profile Send private message
Display posts from previous:   
Post new topic   Reply to topic    forums.silverfrost.com Forum Index -> Support All times are GMT + 1 Hour
Goto page 1, 2  Next
Page 1 of 2

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum


Powered by phpBB © 2001, 2005 phpBB Group