1447bcd8fSJacob Faibussowitsch@@ -7,5 +7,5 @@ 2447bcd8fSJacob Faibussowitsch { 3447bcd8fSJacob Faibussowitsch /* incorrect */ 4064a246eSJacob Faibussowitsch- PetscValidCharPointer(a, 2); 5*4f572ea9SToby Isaac+ PetscAssertPointer(a, 1); 6447bcd8fSJacob Faibussowitsch PetscValidIntPointer(b, 3); 7447bcd8fSJacob Faibussowitsch PetscValidBoolPointer(c, 4); 8447bcd8fSJacob Faibussowitsch@@ -8,5 +8,5 @@ 9447bcd8fSJacob Faibussowitsch /* incorrect */ 10447bcd8fSJacob Faibussowitsch PetscValidCharPointer(a, 2); 11064a246eSJacob Faibussowitsch- PetscValidIntPointer(b, 3); 12447bcd8fSJacob Faibussowitsch+ PetscValidCharPointer(b, 2); 13447bcd8fSJacob Faibussowitsch PetscValidBoolPointer(c, 4); 14447bcd8fSJacob Faibussowitsch PetscValidRealPointer(d, 5); 15447bcd8fSJacob Faibussowitsch@@ -9,5 +9,5 @@ 16447bcd8fSJacob Faibussowitsch PetscValidCharPointer(a, 2); 17447bcd8fSJacob Faibussowitsch PetscValidIntPointer(b, 3); 18064a246eSJacob Faibussowitsch- PetscValidBoolPointer(c, 4); 19447bcd8fSJacob Faibussowitsch+ PetscValidIntPointer(c, 3); 20447bcd8fSJacob Faibussowitsch PetscValidRealPointer(d, 5); 21447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(e, 6); 22447bcd8fSJacob Faibussowitsch@@ -10,5 +10,5 @@ 23447bcd8fSJacob Faibussowitsch PetscValidIntPointer(b, 3); 24447bcd8fSJacob Faibussowitsch PetscValidBoolPointer(c, 4); 25064a246eSJacob Faibussowitsch- PetscValidRealPointer(d, 5); 26447bcd8fSJacob Faibussowitsch+ PetscValidIntPointer(d, 4); 27447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(e, 6); 28447bcd8fSJacob Faibussowitsch PetscValidIntPointer(f, 7); 29447bcd8fSJacob Faibussowitsch@@ -11,5 +11,5 @@ 30447bcd8fSJacob Faibussowitsch PetscValidBoolPointer(c, 4); 31447bcd8fSJacob Faibussowitsch PetscValidRealPointer(d, 5); 32064a246eSJacob Faibussowitsch- PetscValidScalarPointer(e, 6); 33447bcd8fSJacob Faibussowitsch+ PetscValidIntPointer(e, 5); 34447bcd8fSJacob Faibussowitsch PetscValidIntPointer(f, 7); 35447bcd8fSJacob Faibussowitsch PetscValidRealPointer(g, 8); 36447bcd8fSJacob Faibussowitsch@@ -12,5 +12,5 @@ 37447bcd8fSJacob Faibussowitsch PetscValidRealPointer(d, 5); 38447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(e, 6); 39064a246eSJacob Faibussowitsch- PetscValidIntPointer(f, 7); 40447bcd8fSJacob Faibussowitsch+ PetscValidBoolPointer(f, 6); 41447bcd8fSJacob Faibussowitsch PetscValidRealPointer(g, 8); 42447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(h, 9); 43447bcd8fSJacob Faibussowitsch@@ -13,5 +13,5 @@ 44447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(e, 6); 45447bcd8fSJacob Faibussowitsch PetscValidIntPointer(f, 7); 46064a246eSJacob Faibussowitsch- PetscValidRealPointer(g, 8); 47447bcd8fSJacob Faibussowitsch+ PetscValidScalarPointer(g, 7); 48447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(h, 9); 49447bcd8fSJacob Faibussowitsch 50447bcd8fSJacob Faibussowitsch@@ -14,5 +14,5 @@ 51447bcd8fSJacob Faibussowitsch PetscValidIntPointer(f, 7); 52447bcd8fSJacob Faibussowitsch PetscValidRealPointer(g, 8); 53064a246eSJacob Faibussowitsch- PetscValidScalarPointer(h, 9); 54064a246eSJacob Faibussowitsch+ PetscValidRealPointer(h, 8); 55447bcd8fSJacob Faibussowitsch 56447bcd8fSJacob Faibussowitsch /* correct */ 57447bcd8fSJacob Faibussowitsch@@ -31,5 +31,5 @@ 58447bcd8fSJacob Faibussowitsch { 59447bcd8fSJacob Faibussowitsch /* incorrect */ 60cff829a2SJacob Faibussowitsch- PetscValidCharPointer(a, 2); 61*4f572ea9SToby Isaac+ PetscAssertPointer(a, 1); 62*4f572ea9SToby Isaac PetscAssertPointer(b, 3); 63*4f572ea9SToby Isaac PetscAssertPointer(c, 4); 64447bcd8fSJacob Faibussowitsch@@ -32,5 +32,5 @@ 65447bcd8fSJacob Faibussowitsch /* incorrect */ 66447bcd8fSJacob Faibussowitsch PetscValidCharPointer(a, 2); 67*4f572ea9SToby Isaac- PetscAssertPointer(b, 3); 68cff829a2SJacob Faibussowitsch+ PetscValidCharPointer(b, 2); 69*4f572ea9SToby Isaac PetscAssertPointer(c, 4); 70*4f572ea9SToby Isaac PetscAssertPointer(d, 5); 71447bcd8fSJacob Faibussowitsch@@ -33,5 +33,5 @@ 72447bcd8fSJacob Faibussowitsch PetscValidCharPointer(a, 2); 73*4f572ea9SToby Isaac PetscAssertPointer(b, 3); 74*4f572ea9SToby Isaac- PetscAssertPointer(c, 4); 75cff829a2SJacob Faibussowitsch+ PetscValidIntPointer(c, 3); 76*4f572ea9SToby Isaac PetscAssertPointer(d, 5); 77*4f572ea9SToby Isaac PetscAssertPointer(e, 6); 78447bcd8fSJacob Faibussowitsch@@ -34,5 +34,5 @@ 79*4f572ea9SToby Isaac PetscAssertPointer(b, 3); 80*4f572ea9SToby Isaac PetscAssertPointer(c, 4); 81*4f572ea9SToby Isaac- PetscAssertPointer(d, 5); 82cff829a2SJacob Faibussowitsch+ PetscValidIntPointer(d, 4); 83*4f572ea9SToby Isaac PetscAssertPointer(e, 6); 84*4f572ea9SToby Isaac PetscAssertPointer(f, 7); 85447bcd8fSJacob Faibussowitsch@@ -35,5 +35,5 @@ 86*4f572ea9SToby Isaac PetscAssertPointer(c, 4); 87*4f572ea9SToby Isaac PetscAssertPointer(d, 5); 88*4f572ea9SToby Isaac- PetscAssertPointer(e, 6); 89cff829a2SJacob Faibussowitsch+ PetscValidIntPointer(e, 5); 90*4f572ea9SToby Isaac PetscAssertPointer(f, 7); 91*4f572ea9SToby Isaac PetscAssertPointer(g, 8); 92447bcd8fSJacob Faibussowitsch@@ -36,5 +36,5 @@ 93*4f572ea9SToby Isaac PetscAssertPointer(d, 5); 94*4f572ea9SToby Isaac PetscAssertPointer(e, 6); 95*4f572ea9SToby Isaac- PetscAssertPointer(f, 7); 96cff829a2SJacob Faibussowitsch+ PetscValidBoolPointer(f, 6); 97*4f572ea9SToby Isaac PetscAssertPointer(g, 8); 98*4f572ea9SToby Isaac PetscAssertPointer(h, 9); 99447bcd8fSJacob Faibussowitsch@@ -37,5 +37,5 @@ 100*4f572ea9SToby Isaac PetscAssertPointer(e, 6); 101*4f572ea9SToby Isaac PetscAssertPointer(f, 7); 102*4f572ea9SToby Isaac- PetscAssertPointer(g, 8); 103cff829a2SJacob Faibussowitsch+ PetscValidScalarPointer(g, 7); 104*4f572ea9SToby Isaac PetscAssertPointer(h, 9); 105447bcd8fSJacob Faibussowitsch 106447bcd8fSJacob Faibussowitsch@@ -38,5 +38,5 @@ 107*4f572ea9SToby Isaac PetscAssertPointer(f, 7); 108*4f572ea9SToby Isaac PetscAssertPointer(g, 8); 109*4f572ea9SToby Isaac- PetscAssertPointer(h, 9); 110cff829a2SJacob Faibussowitsch+ PetscValidRealPointer(h, 8); 111447bcd8fSJacob Faibussowitsch 112447bcd8fSJacob Faibussowitsch /* correct */ 113447bcd8fSJacob Faibussowitsch@@ -55,5 +55,5 @@ 114447bcd8fSJacob Faibussowitsch { 115447bcd8fSJacob Faibussowitsch /* incorrect */ 116cff829a2SJacob Faibussowitsch- PetscValidCharPointer(a, 1); 117*4f572ea9SToby Isaac+ PetscAssertPointer(a, 1); 118447bcd8fSJacob Faibussowitsch PetscValidCharPointer(b, 2); 119447bcd8fSJacob Faibussowitsch PetscValidIntPointer(c, 3); 120447bcd8fSJacob Faibussowitsch@@ -56,5 +56,5 @@ 121447bcd8fSJacob Faibussowitsch /* incorrect */ 122447bcd8fSJacob Faibussowitsch PetscValidCharPointer(a, 1); 123447bcd8fSJacob Faibussowitsch- PetscValidCharPointer(b, 2); 124*4f572ea9SToby Isaac+ PetscAssertPointer(b, 2); 125447bcd8fSJacob Faibussowitsch PetscValidIntPointer(c, 3); 126447bcd8fSJacob Faibussowitsch PetscValidIntPointer(d, 4); 127447bcd8fSJacob Faibussowitsch@@ -57,5 +57,5 @@ 128447bcd8fSJacob Faibussowitsch PetscValidCharPointer(a, 1); 129447bcd8fSJacob Faibussowitsch PetscValidCharPointer(b, 2); 130447bcd8fSJacob Faibussowitsch- PetscValidIntPointer(c, 3); 131*4f572ea9SToby Isaac+ PetscAssertPointer(c, 3); 132447bcd8fSJacob Faibussowitsch PetscValidIntPointer(d, 4); 133447bcd8fSJacob Faibussowitsch PetscValidIntPointer(e, 5); 134447bcd8fSJacob Faibussowitsch@@ -58,5 +58,5 @@ 135447bcd8fSJacob Faibussowitsch PetscValidCharPointer(b, 2); 136447bcd8fSJacob Faibussowitsch PetscValidIntPointer(c, 3); 137447bcd8fSJacob Faibussowitsch- PetscValidIntPointer(d, 4); 138*4f572ea9SToby Isaac+ PetscAssertPointer(d, 4); 139447bcd8fSJacob Faibussowitsch PetscValidIntPointer(e, 5); 140447bcd8fSJacob Faibussowitsch PetscValidBoolPointer(f, 6); 141447bcd8fSJacob Faibussowitsch@@ -59,5 +59,5 @@ 142447bcd8fSJacob Faibussowitsch PetscValidIntPointer(c, 3); 143447bcd8fSJacob Faibussowitsch PetscValidIntPointer(d, 4); 144447bcd8fSJacob Faibussowitsch- PetscValidIntPointer(e, 5); 145*4f572ea9SToby Isaac+ PetscAssertPointer(e, 5); 146447bcd8fSJacob Faibussowitsch PetscValidBoolPointer(f, 6); 147447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(g, 7); 148447bcd8fSJacob Faibussowitsch@@ -60,5 +60,5 @@ 149447bcd8fSJacob Faibussowitsch PetscValidIntPointer(d, 4); 150447bcd8fSJacob Faibussowitsch PetscValidIntPointer(e, 5); 151447bcd8fSJacob Faibussowitsch- PetscValidBoolPointer(f, 6); 152*4f572ea9SToby Isaac+ PetscAssertPointer(f, 6); 153447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(g, 7); 154447bcd8fSJacob Faibussowitsch PetscValidRealPointer(h, 8); 155447bcd8fSJacob Faibussowitsch@@ -61,5 +61,5 @@ 156447bcd8fSJacob Faibussowitsch PetscValidIntPointer(e, 5); 157447bcd8fSJacob Faibussowitsch PetscValidBoolPointer(f, 6); 158447bcd8fSJacob Faibussowitsch- PetscValidScalarPointer(g, 7); 159*4f572ea9SToby Isaac+ PetscAssertPointer(g, 7); 160447bcd8fSJacob Faibussowitsch PetscValidRealPointer(h, 8); 161447bcd8fSJacob Faibussowitsch 162447bcd8fSJacob Faibussowitsch@@ -62,5 +62,5 @@ 163447bcd8fSJacob Faibussowitsch PetscValidBoolPointer(f, 6); 164447bcd8fSJacob Faibussowitsch PetscValidScalarPointer(g, 7); 165447bcd8fSJacob Faibussowitsch- PetscValidRealPointer(h, 8); 166*4f572ea9SToby Isaac+ PetscAssertPointer(h, 8); 167447bcd8fSJacob Faibussowitsch 168447bcd8fSJacob Faibussowitsch /* correct */ 169