stage3/TODO
author mjsousa
Tue, 20 Aug 2013 11:15:40 +0100
changeset 834 783ef40344dd
parent 413 a9d377c4987a
permissions -rw-r--r--
Add support for FB call semantics of 'S' and 'R' IL operators!
Remove segfaults when analysing buggy IL code (IL operators with no operands).
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