On Wed Apr 12 06:05:11 2023 +0000, Rémi Bernon wrote:
I think typegen_detect_type returns TGT_POINTER the first time, and then it causes check_field_common to loop and call it again with the pointee.
I'm not really sure what to do in check_field_common. It seems to just be doing error checking. Adding in logic to check whether the type is an alias to `void*` in `TGT_POINTER` and either returning or setting more_to_do as FALSE breaks assertion:
widl: tools/widl/typetree.h:403: type_pointer_get_ref: Assertion `type_get_type(type) == TYPE_POINTER' failed.
In any case, adding in logic to typegen_detect_type seems the easiest way.