X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fval-labs.c;h=c36ff28b414dc074e1095aed78859b58280fd1b8;hb=c9b1c72477efa03e0a90f8afd9dafebc8f4b04ef;hp=ae9ac296fa425136512f2f68e79e98b36dc08afd;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/val-labs.c b/src/val-labs.c
index ae9ac296fa..c36ff28b41 100644
--- a/src/val-labs.c
+++ b/src/val-labs.c
@@ -173,9 +173,6 @@ get_label (void)
 
       /* Allocate label. */
       label = xmalloc (sizeof *label);
-#if __CHECKER__
-      memset (&label->v, 0, sizeof label->v);
-#endif
       label->ref_count = nv;
 
       /* Set label->v. */