On Thu, Mar 29, 2012 at 06:44, Dmitry Karpeev <karpeev@mcs.anl.gov> wrote:

After this fix that should cause a more obvious SEGV, but the real problem is that a pc that is supposed remain valid is being reset.

It's a bug if you can't call PCReset() more than once without an error. Also, any SEGV triggered by PETSc is a bug (unless the user passes in corrupt pointers).