From e21a7c323bf436a2df25299f0b8f4979888593a5 Mon Sep 17 00:00:00 2001
From: Alex Hirsch <w4rh4wk@bluephoenix.at>
Date: Tue, 28 Apr 2020 18:09:26 +0200
Subject: [PATCH] Clarify that no dead code analysis is needed

---
 specification.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/specification.md b/specification.md
index 487620e..0519bb1 100644
--- a/specification.md
+++ b/specification.md
@@ -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