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

#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));
}