Fixing uninitialized use warning

cksystemsteaching · Aug 30, 2024 · 966dd9e · 966dd9e
1 parent 6b438f7
commit 966dd9e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/rotor.c b/tools/rotor.c
@@ -4032,6 +4032,7 @@ uint64_t print_input(uint64_t nid, uint64_t* line) {
   uint64_t* value_nid;
   op = get_op(line);
   type = PREFIX_INPUT;
+  value_nid = (uint64_t*) 0; // avoids uninitialized use warning
   if (printing_unrolled_model) {
     if (op == OP_STATE) {
       if (get_symbolic(line) == SYMBOLIC)