Clarify that no dead code analysis is needed
This commit is contained in:
parent
03021e01cc
commit
e21a7c323b
@ -356,6 +356,7 @@ As the parser only does syntactic checking, additional semantic checks are imple
|
||||
- Checking for calls to unknown functions
|
||||
- Checking for presence of `main` and correct signature
|
||||
- Checking that all execution paths of a non-void function return a value
|
||||
- You may assume that there is no dead code
|
||||
- Type checking (remember, neither implicit nor explicit type conversions)
|
||||
- Includes checking operations on arrays (including array size)
|
||||
- Includes checking arguments and return types for call expressions
|
||||
|
Loading…
Reference in New Issue
Block a user