-check_language_extension [Professional Edition only]


This option enables the source-code checking of the MISRA-C:2004 rules or MISRA-C: 2012 rules, which are partially suppressed by the extended language specifications.

[Specification format]

-check_language_extension

 

-

Interpretation when omitted

The source-code checking of the MISRA-C:2004 rules or MISRA-C: 2012 rules is disabled, which are partially suppressed by the extended language specifications.

[Detailed description]

-

This option enables the source-code checks of the MISRA-C:2004 rules or MISRA-C: 2012 rules in the following cases where they are suppressed by the unique language specifications extended from the C language standard.

-

When the function has no prototype declaration (rule 8.1) and #pragma interrupt is specified for it.

-

This option is valid only when the -misra2004 or -misra2012 option is specified.
If the -misra2004 or -misra2012 option is not specified, a warning is output and this option will be ignored.

[Example of use]

-

To enable the source-code checking of the MISRA-C:2004 rules, which are partially suppressed by the extended language specifications, describe as:

>ccrl -misra2004=all -check_language_extension -cpu=S2 -dev=dr5f100pj.dvf main.c

[Caution]

-

An error will occur when this option is specified in the Standard Edition of the compiler.