1@@ -19,5 +19,5 @@ 2 3 /* incorrect */ 4- PetscValidPointer(foo, -1); 5+ PetscValidPointer(foo, 1); 6 PetscValidPointer(bar, -2); 7 PetscValidPointer(baz, -3); 8@@ -20,5 +20,5 @@ 9 /* incorrect */ 10 PetscValidPointer(foo, -1); 11- PetscValidPointer(bar, -2); 12+ PetscValidPointer(bar, 1); 13 PetscValidPointer(baz, -3); 14 PetscValidPointer((void *)v->data, -4); 15@@ -21,5 +21,5 @@ 16 PetscValidPointer(foo, -1); 17 PetscValidPointer(bar, -2); 18- PetscValidPointer(baz, -3); 19+ PetscValidPointer(baz, 1); 20 PetscValidPointer((void *)v->data, -4); 21 PetscValidPointer(*blip, -5); 22@@ -22,5 +22,5 @@ 23 PetscValidPointer(bar, -2); 24 PetscValidPointer(baz, -3); 25- PetscValidPointer((void *)v->data, -4); 26+ PetscValidPointer((void *)v->data, 1); 27 PetscValidPointer(*blip, -5); 28 PetscValidPointer(blop, -6); 29@@ -23,5 +23,5 @@ 30 PetscValidPointer(baz, -3); 31 PetscValidPointer((void *)v->data, -4); 32- PetscValidPointer(*blip, -5); 33+ PetscValidPointer(*blip, 1); 34 PetscValidPointer(blop, -6); 35 36@@ -24,5 +24,5 @@ 37 PetscValidPointer((void *)v->data, -4); 38 PetscValidPointer(*blip, -5); 39- PetscValidPointer(blop, -6); 40+ PetscValidPointer(blop, 1); 41 42 /* correct */ 43