Should SNESSolve_NEWTONLS and friends explicitly run the PetscIsInfOrNanReal check on fnorm before feeding it into snes->ops->converged? We do make this explicit check on the initial norm after all. Alternatively, should even the initial norm be checked using snes->ops->converged?
Currently we let the user decide how to deal with an InfOrNan norm after a SNES iteration, but force a return with SNES_DIVERGED_FNORM_NAN if the initial norm is crazy. This is a minor issue, especially since it's hard to imagine how any reasonable convergence test might return anything other than SNES_DIVERGED_FNORM_NAN in this case, but it is a potential inconsistency. Dmitry.
