09-01-2006, 03:34 PM
Dear Gavin,
it is clear that the compiler has to be ISO C compatible as it is granted for our compiler by the vendor (it is the Analog VDSP C compiler for Sharc processors).
However, according to the informations we've got from Mr. Chris Tapp (member of the MISRA C Working Group):
"simply having an ISO compatible compiler is unlikely to be considered suitable"
And according to the rules 6.1.1 and 6.1.2 it is clear that validation against the original C90 standard will not be sufficient, so it is still a question: how to prove the MISRA compliance of a compiler?
Gavin McCall Wrote:
[..]This can be validated using various recognised test suites, to show that the compiler conforms to the language requirements of ISO C.
Note: most current compilers are compliant to ISO C90+A1+TCs[..]
it is clear that the compiler has to be ISO C compatible as it is granted for our compiler by the vendor (it is the Analog VDSP C compiler for Sharc processors).
However, according to the informations we've got from Mr. Chris Tapp (member of the MISRA C Working Group):
"simply having an ISO compatible compiler is unlikely to be considered suitable"
And according to the rules 6.1.1 and 6.1.2 it is clear that validation against the original C90 standard will not be sufficient, so it is still a question: how to prove the MISRA compliance of a compiler?