clang/test/Analysis/inlining/containers.cpp

   1 // RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=core,unix.Malloc,debug.ExprInspection -analyzer-config c++-inlining=destructors -analyzer-config c++-container-inlining=false -verify -analyzer-config eagerly-assume=false %s
   2 // RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=core,unix.Malloc,debug.ExprInspection -analyzer-config c++-inlining=destructors -analyzer-config c++-container-inlining=true -DINLINE=1 -verify -analyzer-config eagerly-assume=false %s
   3 // RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=core,unix.Malloc,debug.ExprInspection -analyzer-config c++-inlining=destructors -analyzer-config c++-container-inlining=false -DTEST_INLINABLE_ALLOCATORS -verify -analyzer-config eagerly-assume=false %s
   4 // RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=core,unix.Malloc,debug.ExprInspection -analyzer-config c++-inlining=destructors -analyzer-config c++-container-inlining=true -DTEST_INLINABLE_ALLOCATORS -DINLINE=1 -verify -analyzer-config eagerly-assume=false %s
   5
   6 #ifndef HEADER
   7
   8 void clang_analyzer_eval(bool);
   9 void clang_analyzer_checkInlined(bool);
  10
  11 #define HEADER
  12 #include "containers.cpp"
  13 #undef HEADER
  14
  15 void test() {
  16   MySet set(0);
  17
  18   clang_analyzer_eval(set.isEmpty());
  19 #if INLINE
  20   // expected-warning@-2 {{TRUE}}
  21 #else
  22   // expected-warning@-4 {{UNKNOWN}}
  23 #endif
  24
  25   clang_analyzer_eval(set.raw_begin() == set.raw_end());
  26 #if INLINE
  27   // expected-warning@-2 {{TRUE}}
  28 #else
  29   // expected-warning@-4 {{UNKNOWN}}
  30 #endif
  31
  32   clang_analyzer_eval(set.begin().impl == set.end().impl);
  33 #if INLINE
  34   // expected-warning@-2 {{TRUE}}
  35 #else
  36   // expected-warning@-4 {{UNKNOWN}}
  37 #endif
  38 }
  39
  40 void testSubclass(MySetSubclass &sub) {
  41   sub.useIterator(sub.begin());
  42
  43   MySetSubclass local;
  44 }
  45
  46 void testWrappers(BeginOnlySet &w1, IteratorStructOnlySet &w2,
  47                   IteratorTypedefOnlySet &w3, IteratorUsingOnlySet &w4) {
  48   BeginOnlySet local1;
  49   IteratorStructOnlySet local2;
  50   IteratorTypedefOnlySet local3;
  51   IteratorUsingOnlySet local4;
  52
  53   clang_analyzer_eval(w1.begin().impl.impl == w1.begin().impl.impl);
  54 #if INLINE
  55   // expected-warning@-2 {{TRUE}}
  56 #else
  57   // expected-warning@-4 {{UNKNOWN}}
  58 #endif
  59
  60   clang_analyzer_eval(w2.start().impl == w2.start().impl);
  61 #if INLINE
  62   // expected-warning@-2 {{TRUE}}
  63 #else
  64   // expected-warning@-4 {{UNKNOWN}}
  65 #endif
  66
  67   clang_analyzer_eval(w3.start().impl == w3.start().impl);
  68 #if INLINE
  69   // expected-warning@-2 {{TRUE}}
  70 #else
  71   // expected-warning@-4 {{UNKNOWN}}
  72 #endif
  73
  74   clang_analyzer_eval(w4.start().impl == w4.start().impl);
  75 #if INLINE
  76   // expected-warning@-2 {{TRUE}}
  77 #else
  78   // expected-warning@-4 {{UNKNOWN}}
  79 #endif
  80 }
  81
  82
  83 #else // HEADER
  84
  85 #include "../Inputs/system-header-simulator-cxx.h"
  86
  87 class MySet {
  88   int *storage;
  89   unsigned size;
  90 public:
  91   MySet() : storage(0), size(0) {
  92     clang_analyzer_checkInlined(true);
  93 #if INLINE
  94     // expected-warning@-2 {{TRUE}}
  95 #endif
  96   }
  97
  98   MySet(unsigned n) : storage(new int[n]), size(n) {
  99     clang_analyzer_checkInlined(true);
 100 #if INLINE
 101     // expected-warning@-2 {{TRUE}}
 102 #endif
 103   }
 104
 105   ~MySet() { delete[] storage; }
 106
 107   bool isEmpty() {
 108     clang_analyzer_checkInlined(true);
 109     #if INLINE
 110         // expected-warning@-2 {{TRUE}}
 111     #endif
 112     return size == 0;
 113   }
 114
 115   struct iterator {
 116     int *impl;
 117
 118     iterator(int *p) : impl(p) {}
 119   };
 120
 121   iterator begin() {
 122     clang_analyzer_checkInlined(true);
 123     #if INLINE
 124         // expected-warning@-2 {{TRUE}}
 125     #endif
 126     return iterator(storage);
 127   }
 128
 129   iterator end() {
 130     clang_analyzer_checkInlined(true);
 131     #if INLINE
 132         // expected-warning@-2 {{TRUE}}
 133     #endif
 134     return iterator(storage+size);
 135   }
 136
 137   typedef int *raw_iterator;
 138
 139   raw_iterator raw_begin() {
 140     clang_analyzer_checkInlined(true);
 141     #if INLINE
 142         // expected-warning@-2 {{TRUE}}
 143     #endif
 144     return storage;
 145   }
 146   raw_iterator raw_end() {
 147     clang_analyzer_checkInlined(true);
 148     #if INLINE
 149         // expected-warning@-2 {{TRUE}}
 150     #endif
 151     return storage + size;
 152   }
 153 };
 154
 155 class MySetSubclass : public MySet {
 156 public:
 157   MySetSubclass() {
 158     clang_analyzer_checkInlined(true);
 159 #if INLINE
 160     // expected-warning@-2 {{TRUE}}
 161 #endif
 162   }
 163
 164   void useIterator(iterator i) {
 165     clang_analyzer_checkInlined(true);
 166     #if INLINE
 167         // expected-warning@-2 {{TRUE}}
 168     #endif
 169   }
 170 };
 171
 172 class BeginOnlySet {
 173   MySet impl;
 174 public:
 175   struct IterImpl {
 176     MySet::iterator impl;
 177     typedef std::forward_iterator_tag iterator_category;
 178
 179     IterImpl(MySet::iterator i) : impl(i) {
 180       clang_analyzer_checkInlined(true);
 181 #if INLINE
 182       // expected-warning@-2 {{TRUE}}
 183 #endif
 184     }
 185   };
 186
 187   BeginOnlySet() {
 188     clang_analyzer_checkInlined(true);
 189 #if INLINE
 190     // expected-warning@-2 {{TRUE}}
 191 #endif
 192   }
 193
 194   typedef IterImpl wrapped_iterator;
 195
 196   wrapped_iterator begin() {
 197     clang_analyzer_checkInlined(true);
 198     #if INLINE
 199         // expected-warning@-2 {{TRUE}}
 200     #endif
 201     return IterImpl(impl.begin());
 202   }
 203 };
 204
 205 class IteratorTypedefOnlySet {
 206   MySet impl;
 207 public:
 208
 209   IteratorTypedefOnlySet() {
 210     clang_analyzer_checkInlined(true);
 211 #if INLINE
 212     // expected-warning@-2 {{TRUE}}
 213 #endif
 214   }
 215
 216   typedef MySet::iterator iterator;
 217
 218   iterator start() {
 219     clang_analyzer_checkInlined(true);
 220 #if INLINE
 221     // expected-warning@-2 {{TRUE}}
 222 #endif
 223     return impl.begin();
 224   }
 225 };
 226
 227 class IteratorUsingOnlySet {
 228   MySet impl;
 229 public:
 230
 231   IteratorUsingOnlySet() {
 232     clang_analyzer_checkInlined(true);
 233 #if INLINE
 234     // expected-warning@-2 {{TRUE}}
 235 #endif
 236   }
 237
 238   using iterator = MySet::iterator;
 239
 240   iterator start() {
 241     clang_analyzer_checkInlined(true);
 242     #if INLINE
 243         // expected-warning@-2 {{TRUE}}
 244     #endif
 245     return impl.begin();
 246   }
 247 };
 248
 249 class IteratorStructOnlySet {
 250   MySet impl;
 251 public:
 252
 253   IteratorStructOnlySet() {
 254     clang_analyzer_checkInlined(true);
 255 #if INLINE
 256     // expected-warning@-2 {{TRUE}}
 257 #endif
 258   }
 259
 260   struct iterator {
 261     int *impl;
 262   };
 263
 264   iterator start() {
 265     clang_analyzer_checkInlined(true);
 266     #if INLINE
 267         // expected-warning@-2 {{TRUE}}
 268     #endif
 269     return iterator{impl.begin().impl};
 270   }
 271 };
 272
 273 #endif // HEADER