Noticed one more thing nevertheless...
> + /* pass 6: free all the <objs[*], SV_ID2> svar pairs too. */
> + shadow_free_all(SV_ID2, NULL); /* 'int' pairs */
> + for (i = 0; i < NUM_OBJS; i++) {
> + sv = shadow_get(&objs[i], SV_ID2);
> + if (!sv)
> + pr_info(" shadow_get() got expected NULL result\n");
> + }
I think that shadow_get() should be removed from the message to make it
consistent with the rest.
Miroslav
