-Xcheck_language_extension [Professional Edition only]


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

[Specification format]

-Xcheck_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 checking of the MISRA-C:2004 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 (MISRA-C:2004 rule 8.1, MISRA-C:2012 rule 8.4) and #pragma interrupt is specified for it.

-

This option is valid only when the -Xmisra2004 option or -Xmisra2012 option is specified.
If the -Xmisra2004 option or -Xmisra2012 option is not specified, this option will be ignored (A warning will not be output).

The __fp16 type is handled as the float type during the check. This affects the following rules.

-

MISRA-C:2004 rule 10.2

-

MISRA-C:2004 rule 10.3

-

MISRA-C:2004 rule 10.4

[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:

>ccrh -Xmisra2004=all -Xcheck_language_extension -Xcommon=rh850 main.c