Add assert checking that CU is not referenced from PU One of the invariants of dwz is that references from a newly created PU can only reference other PUs. Add an assert that checks this. 2021-02-25 Tom de Vries * dwz.c (write_die): Add assert. --- dwz.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/dwz.c b/dwz.c index 89cf8d1..887bf24 100644 --- a/dwz.c +++ b/dwz.c @@ -12572,6 +12572,8 @@ write_die (unsigned char *ptr, dw_cu_ref cu, dw_die_ref die, { dw_cu_ref refdcu = die_cu (refd); value = refd->u.p2.die_new_offset; + assert (IMPLIES (cu->cu_kind == CU_PU, + die_cu (refd)->cu_kind == CU_PU)); assert (value && refdcu->cu_kind != CU_ALT); if (t->attr[j].form == DW_FORM_ref_addr) {