65 lines · cpp
1//= ObjCNoReturn.cpp - Handling of Cocoa APIs known not to return --*- C++ -*---2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8//9// This file implements special handling of recognizing ObjC API hooks that10// do not return but aren't marked as such in API headers.11//12//===----------------------------------------------------------------------===//13 14#include "clang/AST/ASTContext.h"15#include "clang/AST/ExprObjC.h"16#include "clang/Analysis/DomainSpecific/ObjCNoReturn.h"17 18using namespace clang;19 20static bool isSubclass(const ObjCInterfaceDecl *Class,21 const IdentifierInfo *II) {22 if (!Class)23 return false;24 if (Class->getIdentifier() == II)25 return true;26 return isSubclass(Class->getSuperClass(), II);27}28 29ObjCNoReturn::ObjCNoReturn(ASTContext &C)30 : RaiseSel(GetNullarySelector("raise", C)),31 NSExceptionII(&C.Idents.get("NSException"))32{33 // Generate selectors.34 SmallVector<const IdentifierInfo *, 3> II;35 36 // raise:format:37 II.push_back(&C.Idents.get("raise"));38 II.push_back(&C.Idents.get("format"));39 NSExceptionInstanceRaiseSelectors[0] =40 C.Selectors.getSelector(II.size(), &II[0]);41 42 // raise:format:arguments:43 II.push_back(&C.Idents.get("arguments"));44 NSExceptionInstanceRaiseSelectors[1] =45 C.Selectors.getSelector(II.size(), &II[0]);46}47 48 49bool ObjCNoReturn::isImplicitNoReturn(const ObjCMessageExpr *ME) {50 Selector S = ME->getSelector();51 52 if (ME->isInstanceMessage()) {53 // Check for the "raise" message.54 return S == RaiseSel;55 }56 57 if (const ObjCInterfaceDecl *ID = ME->getReceiverInterface()) {58 if (isSubclass(ID, NSExceptionII) &&59 llvm::is_contained(NSExceptionInstanceRaiseSelectors, S))60 return true;61 }62 63 return false;64}65