1@@ -9,5 +9,5 @@ 2 PetscValidIntPointer(a, 1); 3 /* remove */ 4- PetscValidIntPointer(a, 1); 5+ 6 /* no remove */ 7 PetscValidIntPointer(b, 5); 8@@ -11,5 +11,5 @@ 9 PetscValidIntPointer(a, 1); 10 /* no remove */ 11- PetscValidIntPointer(b, 5); 12+ PetscValidScalarPointer(b, 2); 13 /* ~should~ be removed but won't be */ 14 PetscValidScalarPointer(b, 7); 15@@ -13,5 +13,5 @@ 16 PetscValidIntPointer(b, 5); 17 /* ~should~ be removed but won't be */ 18- PetscValidScalarPointer(b, 7); 19+ PetscValidScalarPointer(b, 2); 20 PetscValidScalarPointer(b, 3); 21 return 0; 22@@ -14,5 +14,5 @@ 23 /* ~should~ be removed but won't be */ 24 PetscValidScalarPointer(b, 7); 25- PetscValidScalarPointer(b, 3); 26+ PetscValidScalarPointer(b, 2); 27 return 0; 28 } 29@@ -24,5 +24,5 @@ 30 PetscValidScalarPointer(b, 2); 31 /* remove */ 32- PetscValidIntPointer(a, 1); 33+ 34 PetscValidScalarPointer(b, 2); 35 { 36@@ -25,5 +25,5 @@ 37 /* remove */ 38 PetscValidIntPointer(a, 1); 39- PetscValidScalarPointer(b, 2); 40+ 41 { 42 /* remove */ 43@@ -28,5 +28,5 @@ 44 { 45 /* remove */ 46- PetscValidIntPointer(a, 1); 47+ 48 PetscValidScalarPointer(b, 2); 49 } 50@@ -29,5 +29,5 @@ 51 /* remove */ 52 PetscValidIntPointer(a, 1); 53- PetscValidScalarPointer(b, 2); 54+ 55 } 56 return 0; 57@@ -40,5 +40,5 @@ 58 PetscValidScalarPointer(b, 2); 59 /* remove */ 60- PetscValidIntPointer(a, 1); 61+ 62 PetscValidScalarPointer(b, 2); 63 { 64@@ -41,5 +41,5 @@ 65 /* remove */ 66 PetscValidIntPointer(a, 1); 67- PetscValidScalarPointer(b, 2); 68+ 69 { 70 /* remove */ 71@@ -44,5 +44,5 @@ 72 { 73 /* remove */ 74- PetscValidIntPointer(a, 1); 75+ 76 PetscValidScalarPointer(b, 2); 77 } 78@@ -45,5 +45,5 @@ 79 /* remove */ 80 PetscValidIntPointer(a, 1); 81- PetscValidScalarPointer(b, 2); 82+ 83 } 84 { 85@@ -49,5 +49,5 @@ 86 { 87 /* remove */ 88- PetscValidIntPointer(a, 1); 89+ 90 PetscValidScalarPointer(b, 2); 91 } 92@@ -50,5 +50,5 @@ 93 /* remove */ 94 PetscValidIntPointer(a, 1); 95- PetscValidScalarPointer(b, 2); 96+ 97 } 98 return 0; 99@@ -80,5 +80,5 @@ 100 case PETSC_TRUE: 101 /* remove */ 102- PetscValidIntPointer(a, 1); 103+ 104 PetscValidScalarPointer(b, 2); 105 break; 106@@ -81,5 +81,5 @@ 107 /* remove */ 108 PetscValidIntPointer(a, 1); 109- PetscValidScalarPointer(b, 2); 110+ 111 break; 112 case PETSC_FALSE: 113@@ -85,5 +85,5 @@ 114 case PETSC_FALSE: 115 /* remove */ 116- PetscValidIntPointer(a, 1); 117+ 118 PetscValidScalarPointer(b, 2); 119 break; 120@@ -86,5 +86,5 @@ 121 /* remove */ 122 PetscValidIntPointer(a, 1); 123- PetscValidScalarPointer(b, 2); 124+ 125 break; 126 } 127@@ -113,5 +113,5 @@ 128 if (cond) { 129 /* remove */ 130- PetscValidIntPointer(a, 1); 131+ 132 PetscValidScalarPointer(b, 2); 133 } else { 134@@ -114,5 +114,5 @@ 135 /* remove */ 136 PetscValidIntPointer(a, 1); 137- PetscValidScalarPointer(b, 2); 138+ 139 } else { 140 /* remove */ 141@@ -117,5 +117,5 @@ 142 } else { 143 /* remove */ 144- PetscValidIntPointer(a, 1); 145+ 146 PetscValidScalarPointer(b, 2); 147 } 148@@ -118,5 +118,5 @@ 149 /* remove */ 150 PetscValidIntPointer(a, 1); 151- PetscValidScalarPointer(b, 2); 152+ 153 } 154 return 0; 155