summaryrefslogtreecommitdiffstats
path: root/mdoc_macro.c
diff options
context:
space:
mode:
authorIngo Schwarze <schwarze@openbsd.org>2017-02-16 09:47:31 +0000
committerIngo Schwarze <schwarze@openbsd.org>2017-02-16 09:47:31 +0000
commit884a60b25e9e47062115672eba1e8ab234747909 (patch)
treefad98de44d0bb6be0b72e84522cbf4389b723dd6 /mdoc_macro.c
parentb36c2e4756f2b576b474a61019f15645f0cf8388 (diff)
downloadmandoc-884a60b25e9e47062115672eba1e8ab234747909.tar.gz
Fix block scoping error if an explicit block is broken by two
implicit blocks (.Aq Bq Po .Pc) that left the outer breaker open and could in exceptional cases, like between .Bl and .It, cause tree corruption leading to NULL dereference. Found by tb@ with afl(1). While here, do not mark intermediate ENDBODY markers as broken.
Diffstat (limited to 'mdoc_macro.c')
-rw-r--r--mdoc_macro.c7
1 files changed, 5 insertions, 2 deletions
diff --git a/mdoc_macro.c b/mdoc_macro.c
index a4730ff1..f6634b62 100644
--- a/mdoc_macro.c
+++ b/mdoc_macro.c
@@ -381,6 +381,10 @@ rew_elem(struct roff_man *mdoc, int tok)
static void
break_intermediate(struct roff_node *n, struct roff_node *breaker)
{
+ if (n != breaker &&
+ n->type != ROFFT_BLOCK && n->type != ROFFT_HEAD &&
+ (n->type != ROFFT_BODY || n->end != ENDBODY_NOT))
+ n = n->parent;
while (n != breaker) {
if ( ! (n->flags & NODE_VALID))
n->flags |= NODE_BROKEN;
@@ -410,8 +414,7 @@ find_pending(struct roff_man *mdoc, int tok, int line, int ppos,
if (n->type == ROFFT_BLOCK &&
mdoc_macros[n->tok].flags & MDOC_EXPLICIT) {
irc = 1;
- break_intermediate(mdoc->last, n);
- n->flags |= NODE_BROKEN;
+ break_intermediate(mdoc->last, target);
if (target->type == ROFFT_HEAD)
target->flags |= NODE_ENDED;
else if ( ! (target->flags & NODE_ENDED)) {