[master] c72248915 flexelint vcc

[Nils Goroll]

commit c722489158eb28c11d0a54283595b1b5261bcbc7
Author: Nils Goroll <nils.goroll at uplex.de>
Date:   Wed Nov 18 15:07:38 2020 +0100

    flexelint vcc
    
    Another case of struct instance names which we want to have, even though
    we do not currently use them.

diff --git a/lib/libvcc/vcc_symb.c b/lib/libvcc/vcc_symb.c
index b97b20bca..e3c07f630 100644
--- a/lib/libvcc/vcc_symb.c
+++ b/lib/libvcc/vcc_symb.c
@@ -264,6 +264,7 @@ VCC_SymbolGet(struct vcc *tl, vcc_ns_t ns, vcc_kind_t kind,
 
 	AN(tl);
 	CHECK_OBJ_NOTNULL(ns, VCC_NAMESPACE_MAGIC);
+	AN(ns->name);
 	CHECK_OBJ_NOTNULL(kind, KIND_MAGIC);
 	AN(e);
 	AN(x);
diff --git a/lib/libvcc/vcc_xref.c b/lib/libvcc/vcc_xref.c
index 0bd9f2aed..b6f08bd71 100644
--- a/lib/libvcc/vcc_xref.c
+++ b/lib/libvcc/vcc_xref.c
@@ -119,6 +119,7 @@ vcc_AddUses(struct vcc *tl, const struct token *t1, const struct token *t2,
 	AN(pu);
 	AN(sym);
 	AN(use);
+	AN(use->name);
 	pu->t1 = t1;
 	pu->t2 = t2;
 	if (pu->t2 == NULL)