Possibly uninstantiated variable when compiled for debugging.

SWI-Prolog · May 14, 2024 · be3ff0b · be3ff0b
1 parent e7fbbb9
commit be3ff0b
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/src/pl-pro.c b/src/pl-pro.c
@@ -723,16 +723,13 @@ check_data(DECL_LD Word p, chk_data *context)
 
   while(isRef(*p))
   { assert(!is_marked(p));
+    p2 = unRef(*p);
     if ( storage(*p) == STG_LOCAL ) /* PushPtr()/PopPtr() reference? */
     { for(int i=0; i<LD->tmp.top; i++)
       { if ( valTermRef(LD->tmp.h[i]) == p )
-	{ p2 = unRef(*p);
 	  goto deref_ok;
-	}
       }
       printk(context, "Reference to local stack");
-    } else
-    { p2 = unRef(*p);
     }
   deref_ok:
     DEBUG(CHK_HIGHER_ADDRESS,