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


< Compile Options / Source Options >

[Format]

-misra_intermodule=<file name>

 

-

Interpretation when omitted

None (checking of source code in multiple files against the MISRA-C:2012 rules is disabled)

[Description]

-

This option saves symbol information of multiple files in <file name> and checks source code in these files against the MISRA-C:2012 rules. If <file name> does not exist, a new file will be created. If <file name> 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 name> is omitted.

-

This option is applied to rules whose valid range of analysis is the system. 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

[Example]

-

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

> ccrx -isa=rxv3 -misra2012=all -misra_intermodule=test.mi a.c b.c c.c

[Remarks]

-

.{c|a|f} cannot be specified as the extension of <file name>. If specified, an error will occur. Correct operation is not guaranteed if <file name> is same as the name of another input or output file.

-

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

-

If any of the source files is modified after <file name> was created, recompilation will update the information of <file name>. If any of the source files is deleted or its file name is changed, delete <file name> and recheck source code against the MISRA-C:2012 rules because the information of <file name> cannot be updated.

-

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