More initialization

Author: zvonimir

c/aws-c-common/aws_hash_iter_delete_harness.i

@@ -10170,7 +10170,7 @@ void aws_hash_iter_delete_harness() {
     assume_abort_if_not(aws_hash_table_has_an_empty_slot(&map, &empty_slot_idx));
     struct hash_table_state *state = map.p_impl;
 
-    struct aws_hash_iter iter;
+    struct aws_hash_iter iter = {0, {0, 0}, __VERIFIER_nondet_ulong(), __VERIFIER_nondet_ulong(), __VERIFIER_nondet_int()};
     iter.map = ↦
     assume_abort_if_not(iter.status == AWS_HASH_ITER_STATUS_READY_FOR_USE);
     assume_abort_if_not(aws_hash_iter_is_valid(&iter));

c/aws-c-common/aws_hash_iter_done_harness.i

@@ -10167,7 +10167,7 @@ void aws_hash_iter_done_harness() {
                                                    );
     assume_abort_if_not(aws_hash_table_is_valid(&map));
 
-    struct aws_hash_iter iter;
+    struct aws_hash_iter iter = {0, {0, 0}, __VERIFIER_nondet_ulong(), __VERIFIER_nondet_ulong(), __VERIFIER_nondet_int()};
     iter.map = ↦
     assume_abort_if_not(iter.status == AWS_HASH_ITER_STATUS_DONE || iter.status == AWS_HASH_ITER_STATUS_READY_FOR_USE);
     assume_abort_if_not(aws_hash_iter_is_valid(&iter));

c/aws-c-common/aws_hash_iter_next_harness.i

@@ -10165,7 +10165,7 @@ void aws_hash_iter_next_harness() {
     ensure_allocated_hash_table(&map, 8);
     assume_abort_if_not(aws_hash_table_is_valid(&map));
 
-    struct aws_hash_iter iter;
+    struct aws_hash_iter iter = {0, {0, 0}, __VERIFIER_nondet_ulong(), __VERIFIER_nondet_ulong(), __VERIFIER_nondet_int()};
     iter.map = ↦
     assume_abort_if_not(aws_hash_iter_is_valid(&iter));
     enum aws_hash_iter_status old_status = iter.status;