|
From: <sv...@va...> - 2008-05-02 19:20:59
|
Author: bart
Date: 2008-05-02 20:21:02 +0100 (Fri, 02 May 2008)
New Revision: 7993
Log:
Refined assert statements.
Modified:
trunk/exp-drd/drd_clientreq.c
Modified: trunk/exp-drd/drd_clientreq.c
===================================================================
--- trunk/exp-drd/drd_clientreq.c 2008-05-02 19:12:43 UTC (rev 7992)
+++ trunk/exp-drd/drd_clientreq.c 2008-05-02 19:21:02 UTC (rev 7993)
@@ -99,12 +99,12 @@
/* Paranoia ... */
tl_assert(VG_(thread_get_stack_max)(vg_tid)
- VG_(thread_get_stack_size)(vg_tid) <= VG_(get_SP)(vg_tid)
- && VG_(get_SP)(vg_tid) <= VG_(thread_get_stack_max)(vg_tid));
+ && VG_(get_SP)(vg_tid) < VG_(thread_get_stack_max)(vg_tid));
husa = (nframes >= 1 ? sps[nframes - 1] : VG_(get_SP)(vg_tid));
tl_assert(VG_(thread_get_stack_max)(vg_tid)
- VG_(thread_get_stack_size)(vg_tid) <= husa
- && husa <= VG_(thread_get_stack_max)(vg_tid));
+ && husa < VG_(thread_get_stack_max)(vg_tid));
return husa;
}
|