Posts: 117
Threads: 25
Joined: Apr 2016
Reputation:
0
All you have to do is check the syntax/keywords against the C language standard?
It is even possible with some compilers (e.g. a strict mode)?
<t></t>
Posts: 632
Threads: 18
Joined: Jan 2006
Reputation:
1
Language extensions may cover more than just extra syntax or keywords. It's legal for an extension to provide a well-defined behaviour for something that is undefined in The Standard. Since detecting some of the undefined behaviours is undecidable it's not possible to decide whether a program is making use of the extension.
Posted by and on behalf of the MISRA C Working Group