1@@ -17,6 +17,6 @@ 2- PetscValidPointer(foo, -1); 3- PetscValidPointer(bar, -2); 4- PetscValidPointer(baz, -3); 5- PetscValidPointer((void *)v->data, -4); 6- PetscValidPointer(*blip, -5); 7- PetscValidPointer(blop, -6); 8+ PetscValidPointer(foo, 1); 9+ PetscValidPointer(bar, 1); 10+ PetscValidPointer(baz, 1); 11+ PetscValidPointer((void *)v->data, 1); 12+ PetscValidPointer(*blip, 1); 13+ PetscValidPointer(blop, 1); 14