-misra_intermodule [Professional Edition only] [V1.08 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 (checking of source code in multiple files against the MISRA-C:2012 rules is disabled)

[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 only valid when the -misra2012 option is specified. A warning is output and this option will be ignored if the -misra2012 option is not specified.

-

An error will occur if file is omitted.

-

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. [V1.08]

5.1 5.6 5.7 5.8 5.9

8.3 8.5 8.6

[Example of use]

-

To check source code in multiple files a.c, b.c, and c.c against the MISRA-C:2012 rules, describe as:

>ccrl -cpu=S2 -dev=dr5f100pj.dvf -misra2012=all -misra_intermodule=test.mi a.c b.c c.c

[Caution]

-

.{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 there are many files to be checked and the symbol information to be stored in file is huge, the compilation speed gets slower.

-

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 or its file name is changed, delete file and recheck source code against the MISRA-C:2012 rules because the information of file cannot be updated.

-

An error will occur if this option is specified in the Standard edition of the compiler.