(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