* [PATCH] Add assert checking that CU is not referenced from PU
@ 2021-02-25 14:46 Tom de Vries
0 siblings, 0 replies; only message in thread
From: Tom de Vries @ 2021-02-25 14:46 UTC (permalink / raw)
To: dwz, jakub, mark
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.
Add assert checking that CU is not referenced from PU
2021-02-25 Tom de Vries <firstname.lastname@example.org>
* 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
@@ -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)
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2021-02-25 14:46 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-02-25 14:46 [PATCH] Add assert checking that CU is not referenced from PU Tom de Vries
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).