3 ms·
MISRA C 2012 allows scoped goto. I can't see anything disallowing pointers to functions or continue. There are advisory rules against unscoped goto and multipl
by kurtisc 8y ago
MISRA C 2012 allows scoped goto. I can't see anything disallowing pointers to functions or continue.
There are advisory rules against unscoped goto and multiple returns. These can be ignored with justification.
Rules are described as 'decidable' if they can be found reliably with static analysis. I'd say that's outside the scope of MISRA C, though, and more of a missing feature of ISO 26262.