xref: /petsc/src/sys/tests/linter/testDisabled.c (revision 3df6fe7bb68c28049dcc48161db5df4684fa05c1)

#include <petsc/private/petscimpl.h>

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

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