Does SCADE generate dead code?
No, SCADE code generators do not create dead code neither generates code for the dead branches it detects. All SCADE code generators respect the following principles: • code is generated only for the part of the model that contributes to the computation of the root node outputs. Therefore, a dead branch in the SCADE model will be pointed out by SCADE Code Generator, which will not produce code for this branch. • SCADE Code Generators do not add dead code to the specification of the SCADE model. Example of a dead branch detected by SCADE Code generator: dead branch In this example, local variable AorB is never consumed: SCADE Code Generator won’t generate code for AorB. But if a SCADE model contains (in its part that contributes to the root node outputs) portions that cannot be activated, the generated code will stick to the specification and contain code that cannot be activated either. Example: if ( (x <3) and (x > 5) ) It is widely agreed that elimination of such dead code is not fea
No, SCADE code generators do not create dead code neither generates code for the dead branches it detects. All SCADE code generators respect the following principles: • code is generated only for the part of the model that contributes to the computation of the root node outputs. Therefore, a dead branch in the SCADE model will be pointed out by SCADE Code Generator, which will not produce code for this branch. • SCADE Code Generators do not add dead code to the specification of the SCADE model. Example of a dead branch detected by SCADE Code generator: In this example, local variable AorB is never consumed: SCADE Code Generator won’t generate code for AorB. But if a SCADE model contains (in its part that contributes to the root node outputs) portions that cannot be activated, the generated code will stick to the specification and contain code that cannot be activated either. Example: if ( (x <3) and (x > 5) ) It is widely agreed that elimination of such dead code is not feasible in the
