My point was if the compiler will go as far as protecting the developer from this type of quit misshap
It seems that this kind of checkup would be difficult to implement because of variety of methods how the code could be branched depending on its call type. E.g.
if $quit {
...
quit rc
} else {
...
quit
}or
quit:$quit rc ... ... quit
Of course, both code fragments demonstrate not very good coding style, but they are semantically correct. If one gets many false positives from a (hypothetical) code checker, he would likely drop it.
- Log in to post comments