Re: Undefined Behavior Optimizations in Fortran

"Steven G. Kargl" <sgk@REMOVEtroutmask.apl.washington.edu>
Thu, 26 Jan 2023 21:12:12 -0000 (UTC)

          From comp.compilers
Related articles
Re: Undefined Behavior Optimizations in C 864-117-4973@kylheku.com (Kaz Kylheku) (2023-01-09)
Re: Re: Undefined Behavior Optimizations in C jonathanchesterfield@gmail.com (Jon Chesterfield) (2023-01-10)
Re: Undefined Behavior Optimizations in C david.brown@hesbynett.no (David Brown) (2023-01-11)
Re: Undefined Behavior Optimizations in C spibou@gmail.com (Spiros Bousbouras) (2023-01-18)
Re: Undefined Behavior Optimizations in C david.brown@hesbynett.no (David Brown) (2023-01-18)
Re: Undefined Behavior Optimizations in C gah4@u.washington.edu (gah4) (2023-01-23)
Re: Undefined Behavior Optimizations in Fortran sgk@REMOVEtroutmask.apl.washington.edu (Steven G. Kargl) (2023-01-26)
Re: Undefined Behavior Optimizations in Fortran gah4@u.washington.edu (gah4) (2023-01-26)
| List of all articles for this month |
From: "Steven G. Kargl" <sgk@REMOVEtroutmask.apl.washington.edu>
Newsgroups: comp.compilers
Date: Thu, 26 Jan 2023 21:12:12 -0000 (UTC)
Organization: A noiseless patient Spider
References: 23-01-027 <sympa.1673343321.1624.383@lists.iecc.com> 23-01-031 23-01-041 23-01-062 23-01-063 23-01-073
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="90413"; mail-complaints-to="abuse@iecc.com"
Keywords: Fortran, comment
Posted-Date: 26 Jan 2023 21:05:52 EST

On Mon, 23 Jan 2023 18:50:31 -0800, gah4 wrote:
>
> As far as I can tell, Fortran makes no claims regarding
> fixed point overflow, being undefined or system dependent.
>


It makes claims. F2018 (18-007r1.pdf), p. 148.


      The execution of any numeric operation whose result is
      not defined by the arithmetic used by the processor is
      prohibited.


If you want to go back to F66, one finds in Sec. 6.4,
"Evaluation of Experssions."


      No element may be evaluated whose values is not
      mathematically defined.


--
steve
[Like I said, IBM didn't promise that SSP would work anywhere else. -John]

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.