update comments.
authorMario de Sousa <msousa@fe.up.pt>
Thu, 19 Jul 2012 13:42:05 +0100
changeset 611 8e81d7db54be
parent 610 50b708dff319
child 612 c062ff18d04f
update comments.
stage3/stage3.cc
--- a/stage3/stage3.cc	Thu Jul 19 11:05:41 2012 +0100
+++ b/stage3/stage3.cc	Thu Jul 19 13:42:05 2012 +0100
@@ -55,8 +55,11 @@
 }
 
 
-/* Type safety analysis assumes that flow control analysis has already been completed,
- * so be sure to call flow_control_analysis() before calling this function
+/* Type safety analysis assumes that 
+ *    - flow control analysis 
+ *    - constant folding (constant check)
+ * has already been completed, so be sure to call those semantic checkers
+ * before calling this function
  */
 static int type_safety(symbol_c *tree_root){
 	fill_candidate_datatypes_c fill_candidate_datatypes(tree_root);