1999739cfSJacob Faibussowitsch #include <petsc/private/petscimpl.h> 2999739cfSJacob Faibussowitsch 3*447bcd8fSJacob Faibussowitsch PetscErrorCode testDisabled(PetscRandom r) 4d71ae5a4SJacob Faibussowitsch { 5999739cfSJacob Faibussowitsch /* incorrect */ 6999739cfSJacob Faibussowitsch PetscValidHeaderSpecific(r, PETSC_RANDOM_CLASSID, 2); 7999739cfSJacob Faibussowitsch 8999739cfSJacob Faibussowitsch /* correct by being disabled */ 9999739cfSJacob Faibussowitsch PetscDisableStaticAnalyzerForExpressionUnderstandingThatThisIsDangerousAndBugprone(PetscValidHeaderSpecific(r, PETSC_RANDOM_CLASSID, 2)); 10*447bcd8fSJacob Faibussowitsch return 0; 11999739cfSJacob Faibussowitsch } 12