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