xref: /petsc/src/sys/tests/linter/testDuplicates.c (revision 447bcd8fae0acafb34f76e22d0a980ee3af1ea6c)

#include <petsc/private/petscimpl.h>

PetscErrorCode testDuplicatesWithChanges(PetscInt *a, PetscScalar *b)
{
  /* no remove */
  PetscValidIntPointer(a, 1);
  /* remove */
  PetscValidIntPointer(a, 1);
  /* no remove */
  PetscValidIntPointer(b, 5);
  /* ~should~ be removed but won't be */
  PetscValidScalarPointer(b, 7);
  PetscValidScalarPointer(b, 3);
  return 0;
}

PetscErrorCode testDuplicatesScoped(PetscInt *a, PetscScalar *b)
{
  /* no remove */
  PetscValidIntPointer(a, 1);
  PetscValidScalarPointer(b, 2);
  /* remove */
  PetscValidIntPointer(a, 1);
  PetscValidScalarPointer(b, 2);
  {
    /* remove */
    PetscValidIntPointer(a, 1);
    PetscValidScalarPointer(b, 2);
  }
  return 0;
}

PetscErrorCode testDuplicatesDoubleScoped(PetscInt *a, PetscScalar *b)
{
  /* no remove */
  PetscValidIntPointer(a, 1);
  PetscValidScalarPointer(b, 2);
  /* remove */
  PetscValidIntPointer(a, 1);
  PetscValidScalarPointer(b, 2);
  {
    /* remove */
    PetscValidIntPointer(a, 1);
    PetscValidScalarPointer(b, 2);
  }
  {
    /* remove */
    PetscValidIntPointer(a, 1);
    PetscValidScalarPointer(b, 2);
  }
  return 0;
}

PetscErrorCode testNoDuplicatesSwitch(PetscInt *a, PetscScalar *b, PetscBool cond)
{
  switch (cond) {
  case PETSC_TRUE:
    /* no remove */
    PetscValidIntPointer(a, 1);
    PetscValidScalarPointer(b, 2);
    break;
  case PETSC_FALSE:
    /* no remove */
    PetscValidIntPointer(a, 1);
    PetscValidScalarPointer(b, 2);
    break;
  }
  return 0;
}

PetscErrorCode testDuplicatesNoChangesSwitch(PetscInt *a, PetscScalar *b, PetscBool cond)
{
  /* no remove */
  PetscValidIntPointer(a, 1);
  PetscValidScalarPointer(b, 2);
  switch (cond) {
  case PETSC_TRUE:
    /* remove */
    PetscValidIntPointer(a, 1);
    PetscValidScalarPointer(b, 2);
    break;
  case PETSC_FALSE:
    /* remove */
    PetscValidIntPointer(a, 1);
    PetscValidScalarPointer(b, 2);
    break;
  }
  return 0;
}

PetscErrorCode testNoDuplicatesIfElse(PetscInt *a, PetscScalar *b, PetscBool cond)
{
  if (cond) {
    /* no remove */
    PetscValidIntPointer(a, 1);
    PetscValidScalarPointer(b, 2);
  } else {
    /* no remove */
    PetscValidIntPointer(a, 1);
    PetscValidScalarPointer(b, 2);
  }
  return 0;
}

PetscErrorCode testDuplicatesIfElse(PetscInt *a, PetscScalar *b, PetscBool cond)
{
  /* no remove */
  PetscValidIntPointer(a, 1);
  PetscValidScalarPointer(b, 2);
  if (cond) {
    /* remove */
    PetscValidIntPointer(a, 1);
    PetscValidScalarPointer(b, 2);
  } else {
    /* remove */
    PetscValidIntPointer(a, 1);
    PetscValidScalarPointer(b, 2);
  }
  return 0;
}

PetscErrorCode testNoDuplicatesIfElseIfElse(PetscInt *a, PetscScalar *b, PetscBool cond)
{
  if (cond) {
    /* no remove */
    PetscValidIntPointer(a, 1);
    PetscValidScalarPointer(b, 2);
  } else if (!cond) {
    /* no remove */
    PetscValidIntPointer(a, 1);
    PetscValidScalarPointer(b, 2);
  } else {
    /* no remove */
    PetscValidIntPointer(a, 1);
    PetscValidScalarPointer(b, 2);
  }
  return 0;
}