1*447bcd8fSJacob Faibussowitsch@@ -9,5 +9,5 @@ 2*447bcd8fSJacob Faibussowitsch PetscValidIntPointer(a, 1); 3*447bcd8fSJacob Faibussowitsch /* remove */ 4*447bcd8fSJacob Faibussowitsch- PetscValidIntPointer(a, 1); 5*447bcd8fSJacob Faibussowitsch+ 6*447bcd8fSJacob Faibussowitsch /* no remove */ 7*447bcd8fSJacob Faibussowitsch PetscValidIntPointer(b, 5); 8*447bcd8fSJacob Faibussowitsch@@ -11,5 +11,5 @@ 9*447bcd8fSJacob Faibussowitsch PetscValidIntPointer(a, 1); 10*447bcd8fSJacob Faibussowitsch /* no remove */ 11064a246eSJacob Faibussowitsch- PetscValidIntPointer(b, 5); 12064a246eSJacob Faibussowitsch+ PetscValidScalarPointer(b, 2); 13*447bcd8fSJacob Faibussowitsch /* ~should~ be removed but won't be */ 14*447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(b, 7); 15*447bcd8fSJacob Faibussowitsch@@ -13,5 +13,5 @@ 16*447bcd8fSJacob Faibussowitsch PetscValidIntPointer(b, 5); 17*447bcd8fSJacob Faibussowitsch /* ~should~ be removed but won't be */ 18064a246eSJacob Faibussowitsch- PetscValidScalarPointer(b, 7); 19*447bcd8fSJacob Faibussowitsch+ PetscValidScalarPointer(b, 2); 20*447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(b, 3); 21*447bcd8fSJacob Faibussowitsch return 0; 22*447bcd8fSJacob Faibussowitsch@@ -14,5 +14,5 @@ 23*447bcd8fSJacob Faibussowitsch /* ~should~ be removed but won't be */ 24*447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(b, 7); 25064a246eSJacob Faibussowitsch- PetscValidScalarPointer(b, 3); 26064a246eSJacob Faibussowitsch+ PetscValidScalarPointer(b, 2); 27*447bcd8fSJacob Faibussowitsch return 0; 28*447bcd8fSJacob Faibussowitsch } 29*447bcd8fSJacob Faibussowitsch@@ -24,5 +24,5 @@ 30*447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(b, 2); 31*447bcd8fSJacob Faibussowitsch /* remove */ 32064a246eSJacob Faibussowitsch- PetscValidIntPointer(a, 1); 33*447bcd8fSJacob Faibussowitsch+ 34*447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(b, 2); 35*447bcd8fSJacob Faibussowitsch { 36*447bcd8fSJacob Faibussowitsch@@ -25,5 +25,5 @@ 37*447bcd8fSJacob Faibussowitsch /* remove */ 38*447bcd8fSJacob Faibussowitsch PetscValidIntPointer(a, 1); 39064a246eSJacob Faibussowitsch- PetscValidScalarPointer(b, 2); 40*447bcd8fSJacob Faibussowitsch+ 41*447bcd8fSJacob Faibussowitsch { 42*447bcd8fSJacob Faibussowitsch /* remove */ 43*447bcd8fSJacob Faibussowitsch@@ -28,5 +28,5 @@ 44*447bcd8fSJacob Faibussowitsch { 45*447bcd8fSJacob Faibussowitsch /* remove */ 46064a246eSJacob Faibussowitsch- PetscValidIntPointer(a, 1); 47*447bcd8fSJacob Faibussowitsch+ 48*447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(b, 2); 49*447bcd8fSJacob Faibussowitsch } 50*447bcd8fSJacob Faibussowitsch@@ -29,5 +29,5 @@ 51*447bcd8fSJacob Faibussowitsch /* remove */ 52*447bcd8fSJacob Faibussowitsch PetscValidIntPointer(a, 1); 53064a246eSJacob Faibussowitsch- PetscValidScalarPointer(b, 2); 54*447bcd8fSJacob Faibussowitsch+ 55*447bcd8fSJacob Faibussowitsch } 56*447bcd8fSJacob Faibussowitsch return 0; 57*447bcd8fSJacob Faibussowitsch@@ -40,5 +40,5 @@ 58*447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(b, 2); 59*447bcd8fSJacob Faibussowitsch /* remove */ 60064a246eSJacob Faibussowitsch- PetscValidIntPointer(a, 1); 61*447bcd8fSJacob Faibussowitsch+ 62*447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(b, 2); 63*447bcd8fSJacob Faibussowitsch { 64*447bcd8fSJacob Faibussowitsch@@ -41,5 +41,5 @@ 65*447bcd8fSJacob Faibussowitsch /* remove */ 66*447bcd8fSJacob Faibussowitsch PetscValidIntPointer(a, 1); 67064a246eSJacob Faibussowitsch- PetscValidScalarPointer(b, 2); 68*447bcd8fSJacob Faibussowitsch+ 69*447bcd8fSJacob Faibussowitsch { 70*447bcd8fSJacob Faibussowitsch /* remove */ 71*447bcd8fSJacob Faibussowitsch@@ -44,5 +44,5 @@ 72*447bcd8fSJacob Faibussowitsch { 73*447bcd8fSJacob Faibussowitsch /* remove */ 74064a246eSJacob Faibussowitsch- PetscValidIntPointer(a, 1); 75*447bcd8fSJacob Faibussowitsch+ 76*447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(b, 2); 77*447bcd8fSJacob Faibussowitsch } 78*447bcd8fSJacob Faibussowitsch@@ -45,5 +45,5 @@ 79*447bcd8fSJacob Faibussowitsch /* remove */ 80*447bcd8fSJacob Faibussowitsch PetscValidIntPointer(a, 1); 81064a246eSJacob Faibussowitsch- PetscValidScalarPointer(b, 2); 82*447bcd8fSJacob Faibussowitsch+ 83*447bcd8fSJacob Faibussowitsch } 84*447bcd8fSJacob Faibussowitsch { 85*447bcd8fSJacob Faibussowitsch@@ -49,5 +49,5 @@ 86*447bcd8fSJacob Faibussowitsch { 87*447bcd8fSJacob Faibussowitsch /* remove */ 88064a246eSJacob Faibussowitsch- PetscValidIntPointer(a, 1); 89*447bcd8fSJacob Faibussowitsch+ 90*447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(b, 2); 91*447bcd8fSJacob Faibussowitsch } 92*447bcd8fSJacob Faibussowitsch@@ -50,5 +50,5 @@ 93*447bcd8fSJacob Faibussowitsch /* remove */ 94*447bcd8fSJacob Faibussowitsch PetscValidIntPointer(a, 1); 95064a246eSJacob Faibussowitsch- PetscValidScalarPointer(b, 2); 96*447bcd8fSJacob Faibussowitsch+ 97*447bcd8fSJacob Faibussowitsch } 98*447bcd8fSJacob Faibussowitsch return 0; 99*447bcd8fSJacob Faibussowitsch@@ -80,5 +80,5 @@ 100*447bcd8fSJacob Faibussowitsch case PETSC_TRUE: 101*447bcd8fSJacob Faibussowitsch /* remove */ 102064a246eSJacob Faibussowitsch- PetscValidIntPointer(a, 1); 103*447bcd8fSJacob Faibussowitsch+ 104*447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(b, 2); 105*447bcd8fSJacob Faibussowitsch break; 106*447bcd8fSJacob Faibussowitsch@@ -81,5 +81,5 @@ 107*447bcd8fSJacob Faibussowitsch /* remove */ 108*447bcd8fSJacob Faibussowitsch PetscValidIntPointer(a, 1); 109064a246eSJacob Faibussowitsch- PetscValidScalarPointer(b, 2); 110*447bcd8fSJacob Faibussowitsch+ 111*447bcd8fSJacob Faibussowitsch break; 112*447bcd8fSJacob Faibussowitsch case PETSC_FALSE: 113*447bcd8fSJacob Faibussowitsch@@ -85,5 +85,5 @@ 114*447bcd8fSJacob Faibussowitsch case PETSC_FALSE: 115*447bcd8fSJacob Faibussowitsch /* remove */ 116064a246eSJacob Faibussowitsch- PetscValidIntPointer(a, 1); 117*447bcd8fSJacob Faibussowitsch+ 118*447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(b, 2); 119*447bcd8fSJacob Faibussowitsch break; 120*447bcd8fSJacob Faibussowitsch@@ -86,5 +86,5 @@ 121*447bcd8fSJacob Faibussowitsch /* remove */ 122*447bcd8fSJacob Faibussowitsch PetscValidIntPointer(a, 1); 123064a246eSJacob Faibussowitsch- PetscValidScalarPointer(b, 2); 124*447bcd8fSJacob Faibussowitsch+ 125*447bcd8fSJacob Faibussowitsch break; 126*447bcd8fSJacob Faibussowitsch } 127*447bcd8fSJacob Faibussowitsch@@ -113,5 +113,5 @@ 128*447bcd8fSJacob Faibussowitsch if (cond) { 129*447bcd8fSJacob Faibussowitsch /* remove */ 130f78929e5SJacob Faibussowitsch- PetscValidIntPointer(a, 1); 131*447bcd8fSJacob Faibussowitsch+ 132*447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(b, 2); 133*447bcd8fSJacob Faibussowitsch } else { 134*447bcd8fSJacob Faibussowitsch@@ -114,5 +114,5 @@ 135*447bcd8fSJacob Faibussowitsch /* remove */ 136*447bcd8fSJacob Faibussowitsch PetscValidIntPointer(a, 1); 137f78929e5SJacob Faibussowitsch- PetscValidScalarPointer(b, 2); 138*447bcd8fSJacob Faibussowitsch+ 139*447bcd8fSJacob Faibussowitsch } else { 140*447bcd8fSJacob Faibussowitsch /* remove */ 141*447bcd8fSJacob Faibussowitsch@@ -117,5 +117,5 @@ 142*447bcd8fSJacob Faibussowitsch } else { 143*447bcd8fSJacob Faibussowitsch /* remove */ 144064a246eSJacob Faibussowitsch- PetscValidIntPointer(a, 1); 145*447bcd8fSJacob Faibussowitsch+ 146*447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(b, 2); 147*447bcd8fSJacob Faibussowitsch } 148*447bcd8fSJacob Faibussowitsch@@ -118,5 +118,5 @@ 149*447bcd8fSJacob Faibussowitsch /* remove */ 150*447bcd8fSJacob Faibussowitsch PetscValidIntPointer(a, 1); 151064a246eSJacob Faibussowitsch- PetscValidScalarPointer(b, 2); 152*447bcd8fSJacob Faibussowitsch+ 153*447bcd8fSJacob Faibussowitsch } 154*447bcd8fSJacob Faibussowitsch return 0; 155