Update tnt_main.c

Author: wmkhoo

tnt_main.c

@@ -180,10 +180,11 @@ static SecMap* copy_for_writing ( SecMap* dist_sm )
           || dist_sm == &sm_distinguished[1]
           || dist_sm == &sm_distinguished[2]);
 
-   new_sm = VG_(am_shadow_alloc)(sizeof(SecMap));
-   if (new_sm == NULL)
-      VG_(out_of_memory_NORETURN)( "memcheck:allocate new SecMap",
-                                   sizeof(SecMap) );
+   SysRes sres = VG_(am_shadow_alloc)(sizeof(SecMap));
+   if (sr_isError(sres))
+      VG_(out_of_memory_NORETURN)( "tnt_main:allocate new SecMap",
+                                   sizeof(SecMap), sr_Err(sres) );
+   new_sm = (void *)(Addr)sr_Res(sres);
    VG_(memcpy)(new_sm, dist_sm, sizeof(SecMap));
    update_SM_counts(dist_sm, new_sm);
    return new_sm;