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:
incRef()27 int incRef() {
28 return __c11_atomic_fetch_add((volatile _Atomic(int) *)&RefCnt, 1,
29 memory_order_relaxed);
30 }
31
decRef()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:
IntrusivePtr(Obj * Ptr)44 IntrusivePtr(Obj *Ptr) : Ptr(Ptr) {
45 Ptr->incRef();
46 }
47
IntrusivePtr(const IntrusivePtr & Other)48 IntrusivePtr(const IntrusivePtr &Other) : Ptr(Other.Ptr) {
49 Ptr->incRef();
50 }
51
~IntrusivePtr()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
getPtr() const58 Obj *getPtr() const { return Ptr; } // no-warning
59 };
60
testDestroyLocalRefPtr()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
testDestroySymbolicRefPtr(const IntrusivePtr & p1)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 }
79