clang/lib/Analysis/ObjCNoReturn.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-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8 //
   9 // This file implements special handling of recognizing ObjC API hooks that
  10 // 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
  18 using namespace clang;
  19
  20 static bool isSubclass(const ObjCInterfaceDecl *Class, IdentifierInfo *II) {
  21   if (!Class)
  22     return false;
  23   if (Class->getIdentifier() == II)
  24     return true;
  25   return isSubclass(Class->getSuperClass(), II);
  26 }
  27
  28 ObjCNoReturn::ObjCNoReturn(ASTContext &C)
  29   : RaiseSel(GetNullarySelector("raise", C)),
  30     NSExceptionII(&C.Idents.get("NSException"))
  31 {
  32   // Generate selectors.
  33   SmallVector<IdentifierInfo*, 3> II;
  34
  35   // raise:format:
  36   II.push_back(&C.Idents.get("raise"));
  37   II.push_back(&C.Idents.get("format"));
  38   NSExceptionInstanceRaiseSelectors[0] =
  39     C.Selectors.getSelector(II.size(), &II[0]);
  40
  41   // raise:format:arguments:
  42   II.push_back(&C.Idents.get("arguments"));
  43   NSExceptionInstanceRaiseSelectors[1] =
  44     C.Selectors.getSelector(II.size(), &II[0]);
  45 }
  46
  47
  48 bool ObjCNoReturn::isImplicitNoReturn(const ObjCMessageExpr *ME) {
  49   Selector S = ME->getSelector();
  50
  51   if (ME->isInstanceMessage()) {
  52     // Check for the "raise" message.
  53     return S == RaiseSel;
  54   }
  55
  56   if (const ObjCInterfaceDecl *ID = ME->getReceiverInterface()) {
  57     if (isSubclass(ID, NSExceptionII) &&
  58         llvm::is_contained(NSExceptionInstanceRaiseSelectors, S))
  59       return true;
  60   }
  61
  62   return false;
  63 }