Fix comment (bug found by Manuele).
authorMario de Sousa <msousa@fe.up.pt>
Fri, 20 Jul 2012 15:57:02 +0100
changeset 614 31bda4cde875
parent 613 65a2e5ac2576
child 615 509b79602f7c
Fix comment (bug found by Manuele).
stage3/array_range_check.cc
--- a/stage3/array_range_check.cc	Fri Jul 20 15:53:58 2012 +0100
+++ b/stage3/array_range_check.cc	Fri Jul 20 15:57:02 2012 +0100
@@ -33,13 +33,10 @@
 
 
 /*
- * TODO:
- *   - Check subscript values fall within allowed range.
- *     For the checking of subscript values to work correctly, we would need to have constant folding working too:
+ * Array Range Checking:
+ *   - Check whether array subscript values fall within the allowed range.
+ *     Note that for the checking of subscript values to work correctly, we need to have constant folding working too:
  *     array_var[8 + 99] can not be checked without constant folding.
- *     However, even without constant folding range check may be usefull,
- *     and later changing it to use the values coming out of constant folding should not be very difficult.
- *
  */