|
From: <sv...@va...> - 2013-01-21 20:39:01
|
florian 2013-01-21 20:38:54 +0000 (Mon, 21 Jan 2013)
New Revision: 13256
Log:
Remove pointless test. vts->ts is an array and cannot be NULL.
Modified files:
trunk/helgrind/libhb_core.c
Modified: trunk/helgrind/libhb_core.c (+0 -1)
===================================================================
--- trunk/helgrind/libhb_core.c 2013-01-21 20:29:54 +00:00 (rev 13255)
+++ trunk/helgrind/libhb_core.c 2013-01-21 20:38:54 +00:00 (rev 13256)
@@ -1935,7 +1935,6 @@
UWord i, n;
ScalarTS *st1, *st2;
if (!vts) return False;
- if (!vts->ts) return False;
if (vts->usedTS > vts->sizeTS) return False;
n = vts->usedTS;
if (n == 1) {
|