-misra_intermodule [Professional Edition only] [V3.01.00 or later] |
< Compile Options / Source Options >
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 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. |
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. |
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 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. |
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. |