|
From: <sv...@va...> - 2005-07-26 23:47:05
|
Author: sewardj
Date: 2005-07-27 00:47:00 +0100 (Wed, 27 Jul 2005)
New Revision: 4276
Log:
Make VG_(clo_vex_control) tool-visible so tools can control how
aggressive Vex is, if they need to do that.
Modified:
trunk/coregrind/pub_core_options.h
trunk/include/pub_tool_options.h
Modified: trunk/coregrind/pub_core_options.h
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
--- trunk/coregrind/pub_core_options.h 2005-07-26 23:43:26 UTC (rev 4275)
+++ trunk/coregrind/pub_core_options.h 2005-07-26 23:47:00 UTC (rev 4276)
@@ -42,8 +42,6 @@
/* The max number of suppression files. */
#define VG_CLO_MAX_SFILES 10
=20
-/* Vex iropt control */
-extern VexControl VG_(clo_vex_control);
/* Should we stop collecting errors if too many appear? default: YES */
extern Bool VG_(clo_error_limit);
/* Enquire about whether to attach to a debugger at errors? default: N=
O */
Modified: trunk/include/pub_tool_options.h
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
--- trunk/include/pub_tool_options.h 2005-07-26 23:43:26 UTC (rev 4275)
+++ trunk/include/pub_tool_options.h 2005-07-26 23:47:00 UTC (rev 4276)
@@ -31,6 +31,9 @@
#ifndef __PUB_TOOL_OPTIONS_H
#define __PUB_TOOL_OPTIONS_H
=20
+#include "libvex.h" // for VexControl
+
+
/* Use these for recognising tool command line options -- stops comparin=
g
once whitespace is reached. */
#define VG_CLO_STREQ(s1,s2) (0=3D=3DVG_(strcmp_ws)((s1),(s2)))
@@ -80,6 +83,10 @@
from VG_(tdict).tool_process_cmd_line_option) to indicate that. */
extern void VG_(bad_option) ( Char* opt );
=20
+/* Vex iropt control. Tool-visible so tools can make Vex optimise
+ less aggressively if that is needed (callgrind needs this). */
+extern VexControl VG_(clo_vex_control);
+
#endif // __PUB_TOOL_OPTIONS_H
=20
/*--------------------------------------------------------------------*/
|