On Tuesday, 27 February 2024 at 12:23:40 UTC, Dakota wrote: > for this test case: > > test2i.c > ```c > typedef struct Message Message; > int tryEncode(const Message* msg); > ``` > > [...] I dont know how to find it by DustMite, take 5 hours to find this bugs. (find from a 700KB c header files)