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
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: Class->getSuperClass(), II);
27}
28
29ObjCNoReturn::ObjCNoReturn(ASTContext &C)
30 : RaiseSel(GetNullarySelector(name: "raise", Ctx&: C)),
31 NSExceptionII(&C.Idents.get(Name: "NSException"))
32{
33 // Generate selectors.
34 SmallVector<const IdentifierInfo *, 3> II;
35
36 // raise:format:
37 II.push_back(Elt: &C.Idents.get(Name: "raise"));
38 II.push_back(Elt: &C.Idents.get(Name: "format"));
39 NSExceptionInstanceRaiseSelectors[0] =
40 C.Selectors.getSelector(NumArgs: II.size(), IIV: &II[0]);
41
42 // raise:format:arguments:
43 II.push_back(Elt: &C.Idents.get(Name: "arguments"));
44 NSExceptionInstanceRaiseSelectors[1] =
45 C.Selectors.getSelector(NumArgs: II.size(), IIV: &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(Class: ID, II: NSExceptionII) &&
59 llvm::is_contained(Range&: NSExceptionInstanceRaiseSelectors, Element: S))
60 return true;
61 }
62
63 return false;
64}
65