|
From: <sv...@va...> - 2011-09-23 18:08:07
|
Author: florian
Date: 2011-09-23 19:03:21 +0100 (Fri, 23 Sep 2011)
New Revision: 2207
Log:
Document and assert that needs_self_check of VexTranslateArgs
must not be NULL.
Modified:
trunk/priv/main_main.c
trunk/pub/libvex.h
Modified: trunk/priv/main_main.c
===================================================================
--- trunk/priv/main_main.c 2011-09-23 15:04:29 UTC (rev 2206)
+++ trunk/priv/main_main.c 2011-09-23 18:03:21 UTC (rev 2207)
@@ -228,6 +228,8 @@
vex_traceflags = vta->traceflags;
vassert(vex_initdone);
+ vassert(vta->needs_self_check != NULL);
+
vexSetAllocModeTEMP_and_clear();
vexAllocSanityCheck();
Modified: trunk/pub/libvex.h
===================================================================
--- trunk/pub/libvex.h 2011-09-23 15:04:29 UTC (rev 2206)
+++ trunk/pub/libvex.h 2011-09-23 18:03:21 UTC (rev 2207)
@@ -539,10 +539,10 @@
IRSB* (*finaltidy) ( IRSB* );
/* IN: a callback used to ask the caller which of the extents,
- if any, a self check is required for. The returned value is
- a bitmask with a 1 in position i indicating that the i'th
- extent needs a check. Since there can be at most 3 extents,
- the returned values must be between 0 and 7. */
+ if any, a self check is required for. Must not be NULL.
+ The returned value is a bitmask with a 1 in position i indicating
+ that the i'th extent needs a check. Since there can be at most
+ 3 extents, the returned values must be between 0 and 7. */
UInt (*needs_self_check)( /*callback_opaque*/void*,
VexGuestExtents* );
|