-misra_intermodule [Professional Edition only] [V1.08 or later] |
This option checks source code in multiple files against the MISRA-C:2012 rules.
None (checking of source code in multiple files against the MISRA-C:2012 rules is disabled)
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. |
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] |
To check source code in multiple files a.c, b.c, and c.c against the MISRA-C:2012 rules, describe as: |
.{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. |
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. |