Calling an unknown function with a struct does not invalidate reachable memory

[jerhard]

When a struct that contains pointers is passed to an unknown function, the memory reachable from these pointers is not invalidated/set to top. Whereas if we passed a pointer to the struct to the unknown function, the memory blocks reachable would be invalidated correctly.

analyzer/tests/regression/02-base/48-unknown-func.c

Lines 5 to 30 in 5d4caae

	typedef struct list {
	int val;
	struct list *next;
	} list_t;
	// void mutate_list(list_t n){
	// list_t *next = n.next;
	// next->val = 42;
	// }
	int main(){
	list_t first;
	list_t second;
	first.next = &second;
	first.val = 1;
	second.next = NULL;
	second.val = 2;
	// When passing a struct to an unknown function, reachable memory should be invalidated
	mutate_list(first);
	assert(second.val == 2); //UNKNOWN!
	// Passing a pointer to the struct here.
	mutate_list2(&first);
	assert(second.val == 2); //UNKNOWN!