MISRA Discussion Forums

MISRA Discussion Forums > MISRA C > MISRA C:2012 and MISRA C:2023 guidelines > 8.1 A standard C environment > Why is rule 1.2 classified as undecidable?
Full Version: Why is rule 1.2 classified as undecidable?
You're currently viewing a stripped down version of our content. View the full version with proper formatting.

dg1980

13-07-2018, 06:31 AM
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)?

misra-c

04-10-2018, 10:18 AM
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.
MISRA Discussion Forums > MISRA C > MISRA C:2012 and MISRA C:2023 guidelines > 8.1 A standard C environment > Why is rule 1.2 classified as undecidable?