llvm-project

Форк
0
/
TransGCCalls.cpp 
76 строк · 2.5 Кб
1
//===--- TransGCCalls.cpp - Transformations to ARC mode -------------------===//
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
#include "Transforms.h"
10
#include "Internals.h"
11
#include "clang/AST/ASTContext.h"
12
#include "clang/Sema/SemaDiagnostic.h"
13

14
using namespace clang;
15
using namespace arcmt;
16
using namespace trans;
17

18
namespace {
19

20
class GCCollectableCallsChecker :
21
                         public RecursiveASTVisitor<GCCollectableCallsChecker> {
22
  MigrationContext &MigrateCtx;
23
  IdentifierInfo *NSMakeCollectableII;
24
  IdentifierInfo *CFMakeCollectableII;
25

26
public:
27
  GCCollectableCallsChecker(MigrationContext &ctx)
28
    : MigrateCtx(ctx) {
29
    IdentifierTable &Ids = MigrateCtx.Pass.Ctx.Idents;
30
    NSMakeCollectableII = &Ids.get("NSMakeCollectable");
31
    CFMakeCollectableII = &Ids.get("CFMakeCollectable");
32
  }
33

34
  bool shouldWalkTypesOfTypeLocs() const { return false; }
35

36
  bool VisitCallExpr(CallExpr *E) {
37
    TransformActions &TA = MigrateCtx.Pass.TA;
38

39
    if (MigrateCtx.isGCOwnedNonObjC(E->getType())) {
40
      TA.report(E->getBeginLoc(), diag::warn_arcmt_nsalloc_realloc,
41
                E->getSourceRange());
42
      return true;
43
    }
44

45
    Expr *CEE = E->getCallee()->IgnoreParenImpCasts();
46
    if (DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(CEE)) {
47
      if (FunctionDecl *FD = dyn_cast_or_null<FunctionDecl>(DRE->getDecl())) {
48
        if (!FD->getDeclContext()->getRedeclContext()->isFileContext())
49
          return true;
50

51
        if (FD->getIdentifier() == NSMakeCollectableII) {
52
          Transaction Trans(TA);
53
          TA.clearDiagnostic(diag::err_unavailable,
54
                             diag::err_unavailable_message,
55
                             diag::err_ovl_deleted_call, // ObjC++
56
                             DRE->getSourceRange());
57
          TA.replace(DRE->getSourceRange(), "CFBridgingRelease");
58

59
        } else if (FD->getIdentifier() == CFMakeCollectableII) {
60
          TA.reportError("CFMakeCollectable will leak the object that it "
61
                         "receives in ARC", DRE->getLocation(),
62
                         DRE->getSourceRange());
63
        }
64
      }
65
    }
66

67
    return true;
68
  }
69
};
70

71
} // anonymous namespace
72

73
void GCCollectableCallsTraverser::traverseBody(BodyContext &BodyCtx) {
74
  GCCollectableCallsChecker(BodyCtx.getMigrationContext())
75
                                            .TraverseStmt(BodyCtx.getTopStmt());
76
}
77

Использование cookies

Мы используем файлы cookie в соответствии с Политикой конфиденциальности и Политикой использования cookies.

Нажимая кнопку «Принимаю», Вы даете АО «СберТех» согласие на обработку Ваших персональных данных в целях совершенствования нашего веб-сайта и Сервиса GitVerse, а также повышения удобства их использования.

Запретить использование cookies Вы можете самостоятельно в настройках Вашего браузера.