If no output device was allocated because no file wanted to produce output,
authorschwarze <schwarze@openbsd.org>
Thu, 22 Oct 2015 21:02:55 +0000 (21:02 +0000)
committerschwarze <schwarze@openbsd.org>
Thu, 22 Oct 2015 21:02:55 +0000 (21:02 +0000)
commitda67bd1bd63e851cf3412dd5e2f14d86ca014abe
treed65e06325857e53f64c3823d5f3d6d5370633cdd
parentb9d698a016ffc11ce0326abe89ab955a1cf5889d
If no output device was allocated because no file wanted to produce output,
refrain from dereferencing a NULL pointer during final deallocation.
Fixing a recent regression reported by czarkoff@
usr.bin/mandoc/main.c