Development Tools

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

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.

-	This option cannot correctly check the source code when files are compiled in parallel by using, for example, parallel builds. Specify this option without performing parallel compilation.

[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