clang 19.0.0git
ObjCNoReturn.cpp
Go to the documentation of this file.
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
15#include "clang/AST/ExprObjC.h"
17
18using namespace clang;
19
20static 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
29 : RaiseSel(GetNullarySelector("raise", C)),
30 NSExceptionII(&C.Idents.get("NSException"))
31{
32 // Generate selectors.
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
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}
Defines the clang::ASTContext interface.
static bool isSubclass(const ObjCInterfaceDecl *Class, IdentifierInfo *II)
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition: ASTContext.h:182
One of these records is kept for each identifier that is lexed.
Represents an ObjC class declaration.
Definition: DeclObjC.h:1150
An expression that sends a message to the given Objective-C object or class.
Definition: ExprObjC.h:945
Selector getSelector() const
Definition: ExprObjC.cpp:293
bool isInstanceMessage() const
Determine whether this is an instance message to either a computed object or to super.
Definition: ExprObjC.h:1248
ObjCInterfaceDecl * getReceiverInterface() const
Retrieve the Objective-C interface to which this message is being directed, if known.
Definition: ExprObjC.cpp:314
bool isImplicitNoReturn(const ObjCMessageExpr *ME)
Return true if the given message expression is known to never return.
ObjCNoReturn(ASTContext &C)
Smart pointer class that efficiently represents Objective-C method names.
The JSON file list parser is used to communicate input to InstallAPI.
Selector GetNullarySelector(StringRef name, ASTContext &Ctx)
Utility function for constructing a nullary selector.
Definition: ASTContext.h:3395
@ Class
The "class" keyword introduces the elaborated-type-specifier.