[cfe-dev] Q_ASSERT and Clang static analyzer

Stephen Kelly steveire at gmail.com
Tue Aug 20 09:50:34 PDT 2013


Jordan Rose wrote:
> Obviously, the best case is to get them to start using
> __attribute__((noreturn)) and/or __attribute__((analyzer_noreturn)). I can
> see adding qtFatal to the list, though, since Qt is a fairly widespread
> toolkit.

qt_assert is already __attribute__((noreturn)).

 #ifndef Q_CC_MSVC
 Q_NORETURN
 #endif
 Q_CORE_EXPORT void qt_assert(const char *assertion, const char *file, int  
line) Q_DECL_NOTHROW;

Thanks,

Steve.





More information about the cfe-dev mailing list