Feature or enhancement

Proposal:

Because_mi_assert_fail is not marked as anoreturn function, the assertion is not understood by CLion and I have some false positives telling me "this ptr is not NULL" while just above there ismi_assert(ptr != NULL);. To improve IDE's analysis, I suggest to mark_mi_assert_fail with__attribute__((noreturn)) and__THROW for GCC, the same attributes that are put on__assert_fail:

externvoid__assert_fail (constchar*__assertion,constchar*__file,unsignedint__line,constchar*__function)__THROW __attribute__ ((__noreturn__));

cc@colesbury

Has this already been discussed elsewhere?

This is a minor feature, which does not need previous discussion elsewhere.