clang/test/Analysis/NewDelete-atomics.cpp

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,cplusplus.NewDelete -std=c++11 -verify %s
   2 // RUN: %clang_analyze_cc1 -analyzer-checker=core,cplusplus.NewDeleteLeaks -DLEAKS -std=c++11 -verify %s
   3 // RUN: %clang_analyze_cc1 -analyzer-checker=core,cplusplus.NewDelete -std=c++11 -DTEST_INLINABLE_ALLOCATORS -verify %s
   4 // RUN: %clang_analyze_cc1 -analyzer-checker=core,cplusplus.NewDeleteLeaks -DLEAKS -std=c++11 -DTEST_INLINABLE_ALLOCATORS -verify %s
   5 // RUN: %clang_analyze_cc1 -analyzer-inline-max-stack-depth 2 -analyzer-config ipa-always-inline-size=2 -analyzer-checker=core,cplusplus.NewDelete -std=c++11 -verify %s
   6 // RUN: %clang_analyze_cc1 -analyzer-inline-max-stack-depth 2 -analyzer-config ipa-always-inline-size=2 -analyzer-checker=core,cplusplus.NewDeleteLeaks -DLEAKS -std=c++11 -verify %s
   7 // RUN: %clang_analyze_cc1 -analyzer-inline-max-stack-depth 2 -analyzer-config ipa-always-inline-size=2 -analyzer-checker=core,cplusplus.NewDelete -std=c++11 -DTEST_INLINABLE_ALLOCATORS -verify %s
   8 // RUN: %clang_analyze_cc1 -analyzer-inline-max-stack-depth 2 -analyzer-config ipa-always-inline-size=2 -analyzer-checker=core,cplusplus.NewDeleteLeaks -DLEAKS -std=c++11 -DTEST_INLINABLE_ALLOCATORS -verify %s
   9
  10 // expected-no-diagnostics
  11
  12 #include "Inputs/system-header-simulator-cxx.h"
  13
  14 typedef enum memory_order {
  15   memory_order_relaxed = __ATOMIC_RELAXED,
  16   memory_order_consume = __ATOMIC_CONSUME,
  17   memory_order_acquire = __ATOMIC_ACQUIRE,
  18   memory_order_release = __ATOMIC_RELEASE,
  19   memory_order_acq_rel = __ATOMIC_ACQ_REL,
  20   memory_order_seq_cst = __ATOMIC_SEQ_CST
  21 } memory_order;
  22
  23 class Obj {
  24   int RefCnt;
  25
  26 public:
  27   int incRef() {
  28     return __c11_atomic_fetch_add((volatile _Atomic(int) *)&RefCnt, 1,
  29                                   memory_order_relaxed);
  30   }
  31
  32   int decRef() {
  33     return __c11_atomic_fetch_sub((volatile _Atomic(int) *)&RefCnt, 1,
  34                                   memory_order_relaxed);
  35   }
  36
  37   void foo();
  38 };
  39
  40 class IntrusivePtr {
  41   Obj *Ptr;
  42
  43 public:
  44   IntrusivePtr(Obj *Ptr) : Ptr(Ptr) {
  45     Ptr->incRef();
  46   }
  47
  48   IntrusivePtr(const IntrusivePtr &Other) : Ptr(Other.Ptr) {
  49     Ptr->incRef();
  50   }
  51
  52   ~IntrusivePtr() {
  53   // We should not take the path on which the object is deleted.
  54     if (Ptr->decRef() == 1)
  55       delete Ptr;
  56   }
  57
  58   Obj *getPtr() const { return Ptr; } // no-warning
  59 };
  60
  61 void testDestroyLocalRefPtr() {
  62   IntrusivePtr p1(new Obj());
  63   {
  64     IntrusivePtr p2(p1);
  65   }
  66
  67   // p1 still maintains ownership. The object is not deleted.
  68   p1.getPtr()->foo(); // no-warning
  69 }
  70
  71 void testDestroySymbolicRefPtr(const IntrusivePtr &p1) {
  72   {
  73     IntrusivePtr p2(p1);
  74   }
  75
  76   // p1 still maintains ownership. The object is not deleted.
  77   p1.getPtr()->foo(); // no-warning
  78 }