xref: /petsc/src/sys/tests/linter/testDisabled.c (revision 4a1c5f4201f5ba092ff148a0be66e2b8e0c0b41d)

#include <petsc/private/petscimpl.h>

void testDisabled(PetscRandom r)
{
  /* incorrect */
  PetscValidHeaderSpecific(r,PETSC_RANDOM_CLASSID,2);

  /* correct by being disabled */
  PetscDisableStaticAnalyzerForExpressionUnderstandingThatThisIsDangerousAndBugprone(PetscValidHeaderSpecific(r,PETSC_RANDOM_CLASSID,2));
}