-misra_intermodule [V2.01.00 or later] [Professional Edition only]


This option checks source code in multiple files against the MISRA-C:2012 rules.

[Specification format]

-misra_intermodule=file

 

-

Interpretation when omitted

None

[Detailed description]

-

This option saves symbol information of multiple files in file and checks source code in these files against the MISRA-C:2012 rules.

If file does not exist, a new file will be created. If file exists, symbol information will be added to the file.

-

This option is applied to rules classified as "System" in the analysis scope of MISRA-C:2012. Source code will be checked against the following MISRA-C:2012 rules.

5.1 5.6 5.7 5.8 5.9

8.3 8.5 8.6

-

.{c|a|f} cannot be specified as the extension of file. If specified, an error will occur.

-

Correct operation is not guaranteed if file overlaps with another input or output file.

-

If this option is specified more than once, the last specification is valid. At this time, a warning will be output.

-

This option will be ignored unless the -Xmisra2012 option is specified at the same time. At this time, a warning will be output.

-

An error will occur in the following case.

-

When the parameter is omitted

[Remark]

-

If any of the source files is modified after file was created, recompilation will update the information of file.

If any of the source files is deleted from a project or its file name is changed, delete file and recheck source code against the MISRA-C:2012 rules.

-

If there are many files to be checked and the symbol information to be stored in file is huge, the compilation speed gets slower.

[Example of use]

-

To check source code in a1.c, a2.c, and a3.c, describe as:

>ccrh -Xmisra2012=all -misra_intermodule=info.mi a1.c a2.c a3.c