1999739cfSJacob Faibussowitsch #include <petsc/private/petscimpl.h> 2999739cfSJacob Faibussowitsch 3*d71ae5a4SJacob Faibussowitsch void testDisabled(PetscRandom r) 4*d71ae5a4SJacob 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)); 10999739cfSJacob Faibussowitsch } 11