1 #include <petsc/private/petscimpl.h> 2 3 struct _p_PetscLinterDummyObj { 4 void *data; 5 }; 6 7 typedef struct _p_PetscLinterDummyObj *PetscLinterDummyObj; 8 9 PetscErrorCode ValidPetscObject(PetscObject obj, PetscLinterDummyObj dobj) 10 { 11 /* incorrect */ 12 PetscValidHeader(obj, 2); 13 PetscValidHeader(dobj, 600); 14 15 /* correct */ 16 PetscValidHeader(obj, 1); 17 return 0; 18 } 19