static char help[] = "Tests catching of floating point exceptions.\n\n";

#include <petscsys.h>

PetscErrorCode CreateError(PetscReal x)
{
  PetscFunctionBegin;
  x = 1.0 / x;
  PetscCall(PetscPrintf(PETSC_COMM_SELF, "x = %g\n", (double)x));
  PetscFunctionReturn(PETSC_SUCCESS);
}

int main(int argc, char **argv)
{
  PetscFunctionBeginUser;
  PetscCall(PetscInitialize(&argc, &argv, NULL, help));
  PetscCall(PetscPrintf(PETSC_COMM_SELF, "This is a contrived example to test floating pointing\n"));
  PetscCall(PetscPrintf(PETSC_COMM_SELF, "It is not a true error.\n"));
  PetscCall(PetscPrintf(PETSC_COMM_SELF, "Run with -fp_trap to catch the floating point error\n"));
  PetscCall(CreateError(0.0));
  return 0;
}

/*

    Because this example may produce different output on different machines we filter out everything.
    This makes the test ineffective but currently we don't have a good way to know which machines should handle
    the floating point exceptions properly.

*/
/*TEST

   test:
      args: -fp_trap -error_output_stdout
      filter: Error: true

TEST*/