Re: [C PATCH] Fix for some variably modified types not being recognized [PR114831]

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

Re: [C PATCH] Fix for some variably modified types not being recognized [PR114831]

(correct email) > 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

[C PATCH] Fix for some variably modified types not being recognized [PR114831]

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 ther