Better code check before compile?

[Ioannis]

Added to the above, no one can guarantee you that the software will always run, even with faults in it. MCU's can stop anytime and hardware must protect itself in that case.

Now, regarding Subs, it is not easy or feasible at all, to check for correct pairs of gosub-return. It is not the same as open-close of { and } in C for example.

In the case of Returns, you can have one or 100 for the same sub. So, how will the compiler check?

Ioannis

[CuriousOne]

it is simple. Just count number of Subroutines and RETURNs and make sure they match, that's all, and already done 30 years ago.

Regarding what happened - it was huge (about 30 meters) Christmas tree 8 channel light controller. The code enables lights at max power for 0.1 second, to give "blink" effect. It worked for 2 years without any issues, until now, when I added some new programs, and forgot to add RETURN, so lights remain at high power for about 10 minutes, instead of 0.5second. It ended up with 9 pieces of solid state relays fried, until thermal switch cut off the power

[CuriousOne]

Even more simple.

Just add different label for subroutines, say, subroutines should start with SUB statement, after the label. At compile time, do check and that's all.

[pedja089]

Then 80% of my programs wouldn't compile. I often use multiple entry point in same sub. And have only one return at end.

[Ioannis]

Or the reverse. Have one entry and multiple exits:

gosub test

....

test:
if x=1 then
   a=1
   return
endif

if x=2 then
   a=2
   return
endif

return

Ioannis

[CuriousOne]

So you're doing it wrong - same for overlapping for-next cycles

[Ioannis]

If you mean my example, OK, it is a not efficient one but I was trying to show that you can have many Returns from the same sub.

Sure it can be made more compact or efficient, but still. Compiler has difficult time to check this for errors.

Ioannis