On Sat, 18 May 2024, Martin Uecker wrote: > We did not propagate C_TYPE_VARIABLY_MODIFIED to pointers in all > cases. I added this directly in two places, but maybe we should > check all cases of build_pointer_type or integrate this into > c_build_pointer_type and use this everywhere (but I do not fully > understand the pointer mode logic there).
This is OK. I think there's at least one further bug in this area: composite types of pointer types (which happen to use build_pointer_type_for_mode) don't seem to propagate C_TYPE_VARIABLY_MODIFIED either. Maybe there are other cases as well; checking all uses of build_pointer_type functions would make sense. -- Joseph S. Myers josmy...@redhat.com
