Currently call instructions are not considered active until they complete, but this can cause states to be represented incorrectly during the time that the callee is active. For example, in a SeeC-Clang Mapped program, if we do the following:
void foo() {
int x = 5;
bar();
}
Then during the execution of bar(), the local 'x' will never be displayed, because the initialisation is still considered to be "active" (and thus, according to SeeC-Clang, incomplete).
Currently call instructions are not considered active until they complete, but this can cause states to be represented incorrectly during the time that the callee is active. For example, in a SeeC-Clang Mapped program, if we do the following:
Then during the execution of bar(), the local 'x' will never be displayed, because the initialisation is still considered to be "active" (and thus, according to SeeC-Clang, incomplete).