h44z/uibk_703602-Compiler-Construction
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Clarify array type checking, no out-of-bounds analysis

Browse Source
This commit is contained in:
Alex Hirsch 2020-04-28 18:13:56 +02:00
parent e21a7c323b
commit 18c724071d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
specification.md
View File

@ -358,8 +358,8 @@ As the parser only does syntactic checking, additional semantic checks are imple
- Checking that all execution paths of a non-void function return a value - Checking that all execution paths of a non-void function return a value
- You may assume that there is no dead code - You may assume that there is no dead code
- Type checking (remember, neither implicit nor explicit type conversions) - 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 - Includes checking arguments and return types for call expressions
- Don't forget that an array's type includes its size
Semantic checking may stop on the first error encountered. Semantic checking may stop on the first error encountered.