1@@ -18,6 +18,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