xref: /petsc/src/sys/tests/linter/testDisabled.c (revision 4ab547ceb31cf8c1287f5da2fc6aa6a54e2c08bd) 
1 #include <petsc/private/petscimpl.h>
2 
testDisabled(PetscRandom r)3 PetscErrorCode testDisabled(PetscRandom r)
4 {
5   /* incorrect */
6   PetscValidHeaderSpecific(r, PETSC_RANDOM_CLASSID, 2);
7 
8   /* correct by being disabled */
9   PetscDisableStaticAnalyzerForExpressionUnderstandingThatThisIsDangerousAndBugprone(PetscValidHeaderSpecific(r, PETSC_RANDOM_CLASSID, 2));
10   return 0;
11 }
12