[cfe-dev] Q_ASSERT and Clang static analyzer

Dmitri Gribenko gribozavr at gmail.com
Tue Aug 20 09:11:02 PDT 2013


Hi Jordan,

Qt has its own assertion facility which is apparently not recognized
by the static analyzer.  Qt calls one of the following functions when
an assertion fails: qt_assert and qt_assert_x, qt_check_pointer,
qBadAlloc.

Do you think it is reasonable to add these to list in
NoReturnFunctionChecker.cpp?

Dmitri

-- 
main(i,j){for(i=2;;i++){for(j=2;j<i;j++){if(!(i%j)){j=0;break;}}if
(j){printf("%d\n",i);}}} /*Dmitri Gribenko <gribozavr at gmail.com>*/



More information about the cfe-dev mailing list