ISO IEC JTC 1 Public Comment on ECMA Fast Track

1 ISO/IEC JTC 1 Public Comments on ECMA Fast Track 2 3 ISO/IEC DIS 23270, Information technology - C# Language Specification 4 5 6 7 Submitted by the United States 8 9 10 11 Prepared by Rex Jaeschke 12 rex@RexJaeschke.com 13 2002/04/15 14 15 1 ISO/IEC JTC 1 Public Comment on ECMA Fast Track 2 3 ISO/IEC DIS 23270, Information technology - C# Language Specification 4 5 Comment number: US-C#-001 6 7 Comment category: (please indicate one) _X_ Technical __ Editorial 8 9 Summary: 10 11 §12.3, Definite Assignment, does not stand on its own. 12 13 References: (use actual document page number, not the PDF page number) 14 15 Section 12.3, page 100, lines 5–14 16 17 Detailed description: 18 19 The sentence on line 5 states “At a given location in the executable code of a function 20 member, a variable is said to be definitely assigned if the compiler can prove, by static 21 flow analysis, that the variable has been automatically initialized or has been the target of 22 at least one assignment.” 23 24 This begs the question of what definite assignment is. Is there some particular compiler, 25 included by reference in the specification that must be able to supply this proof? If so, 26 where do I find that compiler? Or is every C# compiler required to be able to provide 27 this proof for some given program? If the latter, then does a valid C# program become 28 invalid when a new, less clever C# compiler becomes ...