stage3/TODO
author mjsousa
Wed, 07 Aug 2013 10:24:32 +0100
changeset 828 a5f08df62002
parent 413 a9d377c4987a
permissions -rw-r--r--
Fix segfault when doing lvalue check of buggy IEC 61131-3 source code
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