clang/test/Analysis/blocks.mm

   1 // RUN: %clang_analyze_cc1 -triple x86_64-apple-darwin10 -analyzer-checker=core -fblocks -analyzer-opt-analyze-nested-blocks -verify -x objective-c++ %s
   2 // RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=core,debug.DumpCFG -fblocks -analyzer-opt-analyze-nested-blocks -analyzer-config cfg-rich-constructors=false %s > %t 2>&1
   3 // RUN: FileCheck --input-file=%t -check-prefixes=CHECK,WARNINGS %s
   4 // RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=core,debug.DumpCFG -fblocks -analyzer-opt-analyze-nested-blocks -analyzer-config cfg-rich-constructors=true %s > %t 2>&1
   5 // RUN: FileCheck --input-file=%t -check-prefixes=CHECK,ANALYZER %s
   6
   7 // This file tests how we construct two different flavors of the Clang CFG -
   8 // the CFG used by the Sema analysis-based warnings and the CFG used by the
   9 // static analyzer. The difference in the behavior is checked via FileCheck
  10 // prefixes (WARNINGS and ANALYZER respectively). When introducing new analyzer
  11 // flags, no new run lines should be added - just these flags would go to the
  12 // respective line depending on where is it turned on and where is it turned
  13 // off. Feel free to add tests that test only one of the CFG flavors if you're
  14 // not sure how the other flavor is supposed to work in your case.
  15
  16 // expected-no-diagnostics
  17
  18 void testBlockWithoutCopyExpression(int i) {
  19   // Captures i, with no copy expression.
  20   (void)(^void() {
  21     (void)i;
  22   });
  23 }
  24
  25 // CHECK-LABEL:void testBlockWithoutCopyExpression(int i)
  26 // CHECK-NEXT: [B2 (ENTRY)]
  27 // CHECK-NEXT:   Succs (1): B1
  28
  29 // CHECK: [B1]
  30 // CHECK-NEXT:   1: ^{ }
  31 // CHECK-NEXT:   2: (void)([B1.1]) (CStyleCastExpr, ToVoid, void)
  32 // CHECK-NEXT:   Preds (1): B2
  33 // CHECK-NEXT:   Succs (1): B0
  34
  35 // CHECK: [B0 (EXIT)]
  36 // CHECK-NEXT:   Preds (1): B1
  37
  38 struct StructWithCopyConstructor {
  39   StructWithCopyConstructor(int i);
  40   StructWithCopyConstructor(const StructWithCopyConstructor &s);
  41 };
  42 void testBlockWithCopyExpression(StructWithCopyConstructor s) {
  43   // Captures s, with a copy expression calling the copy constructor for StructWithCopyConstructor.
  44   (void)(^void() {
  45     (void)s;
  46   });
  47 }
  48
  49 // CHECK-LABEL:void testBlockWithCopyExpression(StructWithCopyConstructor s)
  50 // CHECK-NEXT: [B2 (ENTRY)]
  51 // CHECK-NEXT:   Succs (1): B1
  52
  53 // CHECK: [B1]
  54 // CHECK-NEXT:   1: s
  55 // CHECK-NEXT:   2: [B1.1] (ImplicitCastExpr, NoOp, const struct StructWithCopyConstructor)
  56 // CHECK-NEXT:   3: [B1.2] (CXXConstructExpr, const struct StructWithCopyConstructor)
  57 // CHECK-NEXT:   4: ^{ }
  58 // CHECK-NEXT:   5: (void)([B1.4]) (CStyleCastExpr, ToVoid, void)
  59 // CHECK-NEXT:   Preds (1): B2
  60 // CHECK-NEXT:   Succs (1): B0
  61
  62 // CHECK: [B0 (EXIT)]
  63 // CHECK-NEXT:   Preds (1): B1
  64
  65 void testBlockWithCaptureByReference() {
  66   __block StructWithCopyConstructor s(5);
  67   // Captures s by reference, so no copy expression.
  68   (void)(^void() {
  69     (void)s;
  70   });
  71 }
  72
  73 // CHECK-LABEL:void testBlockWithCaptureByReference()
  74 // CHECK-NEXT: [B2 (ENTRY)]
  75 // CHECK-NEXT:   Succs (1): B1
  76
  77 // CHECK: [B1]
  78 // CHECK-NEXT:   1: 5
  79 // WARNINGS-NEXT:   2: [B1.1] (CXXConstructExpr, struct StructWithCopyConstructor)
  80 // ANALYZER-NEXT:   2: [B1.1] (CXXConstructExpr, [B1.3], struct StructWithCopyConstructor)
  81 // CHECK-NEXT:   3: StructWithCopyConstructor s(5) __attribute__((blocks("byref")));
  82 // CHECK-NEXT:   4: ^{ }
  83 // CHECK-NEXT:   5: (void)([B1.4]) (CStyleCastExpr, ToVoid, void)
  84 // CHECK-NEXT:   Preds (1): B2
  85 // CHECK-NEXT:   Succs (1): B0
  86
  87 // CHECK: [B0 (EXIT)]
  88 // CHECK-NEXT:   Preds (1): B1