在 2023/4/8 02:19, Cory Fields 写道:
Should it be marked noreturn as well in that case?
Maybe. This attribute will belong in headers. -- Best regards, LIU Hao
OpenPGP_signature
Description: OpenPGP digital signature
_______________________________________________ Mingw-w64-public mailing list Mingw-w64-public@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mingw-w64-public