stage3/TODO
author mjsousa
Sat, 25 Oct 2014 11:21:40 +0100
changeset 940 61e2bdae5899
parent 413 a9d377c4987a
permissions -rw-r--r--
Filling of symbol->scope annotation moved from narrow to fill_candidate_datatypes_c (became possible because narrowing of struct, array and symbolic variables is now done directly in fill_candidate_datatypes_c)
413
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     1
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     2
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     3
 Things that we must still check for in stage 3:
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     4
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     5
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     6
1) Handling of CONSTANTs:
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     7
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     8
 1.a) "Any program organization unit attempts to modify the value of a variable that has been declared with the CONSTANT qualifier;"
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     9
 1.b) From table 16.a "The CONSTANT qualifier shall not be used in the declaration of function block instances as described in 2.5.2.1."
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    10
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    11
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    12
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    13