[Bug]

[lilixx333]

Describe the bug
For this code, the sixth line ”ptr = container_of(entry, struct cipso_v4_doi, rcu); “ should have a data dependency on the eighth line ”ptr->array[i] = ptr->data;“, but joern did not generate a node about the sixth line, and there is no data dependency.

static void netlbl_cipsov4_doi_free(struct rcu_head *entry)
{
	struct cipso_v4_doi *ptr;
	int a = 8;

	ptr = container_of(entry, struct cipso_v4_doi, rcu);   //sixth line
	for(int i = 0; i < a; i++){
		ptr->array[i] = ptr->data;  //eighth line
	}
	switch (ptr->type) {
	case CIPSO_V4_MAP_STD:
		kfree(ptr->map.std->lvl.cipso);
		kfree(ptr->map.std->lvl.local);
		kfree(ptr->map.std->cat.cipso);
		kfree(ptr->map.std->cat.local);
		break;
	}
	kfree(ptr);
}

Screenshots
The abstract syntax tree generated by joern

Desktop (please complete the following information):

• Joern Version 2.0.324
• Java version 19