Insure++ is an extremely customizable tool. While this flexibility is one of the great strengths of Insure++, it can present a problem for new users. Although we ship Insure++ with defaults that will serve the majority of users quite well, we realize that some users have their own special needs and preferences. That’s why Insure++ provide a wide range of configuration options (referred to as "psrc options" in this user’s guide).

To help you configure Insure++ for your use, we would like to introduce some of the most popular options. You can then pick and choose those that will be helpful in your particular situation. More information about these and other options is available in Configuration Options (psrc).

All of the options listed in the following table can be placed in a file called .psrc in your local build directory with a prefix of insure++. They are applicable at different times in the build process.

OptionPurpose
suppress code  [context]

Allows you to suppress error messages by error code as well as by context.

See Error Codes for a list of error codes.

See Suppressing Messages for more details on suppressions.

Example:

suppress BAD_DECL

unsuppress code [context]

Enables the reporting of error messages that were suppressed by default or explicitly suppressed.

You can use the unsuppress command to unsuppress all error messages or combine suppress and unsuppress commands to customize error reporting.

Example:

unsuppress all

summarize [bugs] [leaks] [outstanding] [coverage]

Generates summary reports of errors detected, memory leaks, outstanding allocated memory blocks, and/or coverage analysis.

Example:

summarize bugs coverage

report_file file

Sends Insure++ output to a specified file instead of stderr. The file name insra sends output to the Insra GUI.

report_limit

Determines the maximum number of reported errors per source line.

The default configuration suppresses all but the first error of any given kind at a source line. If you use the insure++.report_limit 5 option, Insure++ will report the first five errors of each type at each source line.

Setting the value to 0 suppresses all messages except those shown in summaries.

Setting the report_limit value to -1 shows all errors as they occur.

function_ignor

function_name

Prevents Insure++ from instrumenting the given function. This is equivalent to turning off the checking for that routine. If the function in question is a bottleneck, this may dramatically increase the runtime performance of the code processed with Insure++.
file_ignore string

Prevents any file matching the string from being processed by Insure++. The file will still be passed straight through to the compiler. The string should be a glob-style regular expression.

This option allows you to avoid processing files that you know are correct. This can significantly speed up execution and shrink your code.

  • No labels