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