(j3.2006) F03/0110

Malcolm Cohen malcolm
Thu Aug 25 22:37:40 EDT 2011


>>>
The answer given for interpretation F03/0110 says that
the example

      FUNCTION S()
      T = 13.0
      ENTRY T()
      END

is not standard-conforming "since no return value
is set for T()."
<<<

That is correct.

>>>
Consider the program
<<<

Why.  It is not relevant.

>>>
Thus, the requirement

     If the result variable is not a pointer,
     its value shall be defined by the function.

(paragraph 4 of Clause 12.6.2.2) is satisfied.
<<<

No it is not satisfied, function T is part of the program and it does not 
satisfy that requirement.  Function T does not use only the "forms and 
relationships" because it does not obey the rules that go with those 
relationships.

>>>
I find it difficult to understand how a program that
is standard conforming can contain a function that
is not standard conforming.
<<<

The program is not standard conforming BECAUSE it contains a function that is 
not standard conforming.

The function
  FUNCTION F()
  END
is also clearly not standard-conforming.

I find it difficult to understand how anyone thinks we can produce quality 
software if obviously non-conforming programs are required to be accepted on the 
grounds that with appropriate input data they might not end up actually 
executing any of the fragments that make them non-conforming.

Cheers,
-- 
................................Malcolm Cohen, Nihon NAG, Tokyo. 




More information about the J3 mailing list