1*999739cfSJacob Faibussowitsch #include <petsc/private/petscimpl.h> 2*999739cfSJacob Faibussowitsch 3*999739cfSJacob Faibussowitsch void testDisabled(PetscRandom r) 4*999739cfSJacob Faibussowitsch { 5*999739cfSJacob Faibussowitsch /* incorrect */ 6*999739cfSJacob Faibussowitsch PetscValidHeaderSpecific(r,PETSC_RANDOM_CLASSID,2); 7*999739cfSJacob Faibussowitsch 8*999739cfSJacob Faibussowitsch /* correct by being disabled */ 9*999739cfSJacob Faibussowitsch PetscDisableStaticAnalyzerForExpressionUnderstandingThatThisIsDangerousAndBugprone(PetscValidHeaderSpecific(r,PETSC_RANDOM_CLASSID,2)); 10*999739cfSJacob Faibussowitsch } 11