-

Interpretation when omitted

-

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.

-

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.

-

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