</para>
</listitem>
- <listitem id="strlen">
- <para><computeroutput>--avoid-strlen-errors=no</computeroutput></para>
- <para><computeroutput>--avoid-strlen-errors=yes</computeroutput> [default]</para>
- <para>Enable or disable a heuristic for dealing with highly-optimized
- versions of strlen. These versions of strlen can cause spurious errors
- to be reported by Memcheck, so it's usually a good idea to leave this
- enabled.</para>
- </listitem>
-
</itemizedlist>
</sect1>
/*--- Command line options ---*/
/*------------------------------------------------------------*/
-/* When instrumenting, omit some checks if tell-tale literals for
- inlined strlen() are visible in the basic block. default: YES */
-extern Bool MC_(clo_avoid_strlen_errors);
+/* There are no memcheck-specific ones, only mac-specific
+ ones (those shared by both memcheck and addrcheck). */
/*------------------------------------------------------------*/
/*--- Command line args ---*/
/*------------------------------------------------------------*/
-Bool MC_(clo_avoid_strlen_errors) = True;
-
static Bool mc_process_cmd_line_option(Char* arg)
{
- VG_BOOL_CLO(arg, "--avoid-strlen-errors", MC_(clo_avoid_strlen_errors))
- else
- return MAC_(process_common_cmd_line_option)(arg);
-
- return True;
+ return MAC_(process_common_cmd_line_option)(arg);
}
static void mc_print_usage(void)
{
MAC_(print_common_usage)();
- VG_(printf)(
-" --avoid-strlen-errors=no|yes suppress errs from inlined strlen [yes]\n"
- );
}
static void mc_print_debug_usage(void)
{
MAC_(print_common_debug_usage)();
- VG_(printf)(
-" --cleanup=no|yes improve after instrumentation? [yes]\n"
- );
}
+
/*------------------------------------------------------------*/
/*--- Client requests ---*/
/*------------------------------------------------------------*/