CSC448: Well-formedness: Poperties [10/18]

Well-formedness addresses the following issues:

• No void array types
• No two global variable declarations have the same name
• No two functions declarations have the same name
• All parameter and variable declarations have non-void types
• No two labels in the same compound statement have the same name
• Every label used in a compound statement is declared in the same compound statement