#include "clang/AST/ASTContext.h"
#include "clang/AST/ExprObjC.h"
#include "clang/Analysis/DomainSpecific/ObjCNoReturn.h"
using namespace clang;
static bool isSubclass(const ObjCInterfaceDecl *Class, IdentifierInfo *II) {
if (!Class)
return false;
if (Class->getIdentifier() == II)
return true;
return isSubclass(Class->getSuperClass(), II);
}
ObjCNoReturn::ObjCNoReturn(ASTContext &C)
: RaiseSel(GetNullarySelector("raise", C)),
NSExceptionII(&C.Idents.get("NSException"))
{
SmallVector<IdentifierInfo*, 3> II;
II.push_back(&C.Idents.get("raise"));
II.push_back(&C.Idents.get("format"));
NSExceptionInstanceRaiseSelectors[0] =
C.Selectors.getSelector(II.size(), &II[0]);
II.push_back(&C.Idents.get("arguments"));
NSExceptionInstanceRaiseSelectors[1] =
C.Selectors.getSelector(II.size(), &II[0]);
}
bool ObjCNoReturn::isImplicitNoReturn(const ObjCMessageExpr *ME) {
Selector S = ME->getSelector();
if (ME->isInstanceMessage()) {
return S == RaiseSel;
}
if (const ObjCInterfaceDecl *ID = ME->getReceiverInterface()) {
if (isSubclass(ID, NSExceptionII)) {
for (unsigned i = 0; i < NUM_RAISE_SELECTORS; ++i) {
if (S == NSExceptionInstanceRaiseSelectors[i])
return true;
}
}
}
return false;
}