[Logging] Mark LogFatal::~LogFatal as [[noreturn]] - #13542

[Logging] Mark LogFatal::~LogFatal as [[noreturn]]#13542

junrushao merged 1 commit into

apache:mainapache/tvm:mainfrom

Lunderberg:log_fatal_noreturnLunderberg/tvm:log_fatal_noreturnCopy head branch name to clipboard