clang/test/Analysis/templates.cpp

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -fblocks -verify -analyzer-config eagerly-assume=false %s
   2 // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -fblocks -analyzer-config c++-template-inlining=false -DNO_INLINE -verify -analyzer-config eagerly-assume=false %s
   3
   4 void clang_analyzer_eval(bool);
   5
   6 // Do not crash on this templated code which uses a block.
   7 typedef void (^my_block)(void);
   8 static void useBlock(my_block block){}
   9 template<class T> class MyClass;
  10 typedef MyClass<float> Mf;
  11
  12 template<class T>
  13 class MyClass
  14 {
  15 public:
  16   MyClass() {}
  17   MyClass(T a);
  18   void I();
  19 private:
  20  static const T one;
  21 };
  22
  23 template<class T> const T MyClass<T>::one = static_cast<T>(1);
  24 template<class T> inline MyClass<T>::MyClass(T a){}
  25 template<class T> void MyClass<T>::I() {
  26   static MyClass<T>* mPtr = 0;
  27   useBlock(^{ mPtr = new MyClass<T> (MyClass<T>::one); });
  28 };
  29 int main(){
  30   Mf m;
  31   m.I();
  32 }
  33
  34
  35 // <rdar://problem/11949235>
  36 template<class T, unsigned N>
  37 inline unsigned array_lengthof(T (&)[N]) {
  38   return N;
  39 }
  40
  41 void testNonTypeTemplateInstantiation() {
  42   const char *S[] = { "a", "b" };
  43   clang_analyzer_eval(array_lengthof(S) == 2);
  44 #ifndef NO_INLINE
  45   // expected-warning@-2 {{TRUE}}
  46 #else
  47   // expected-warning@-4 {{UNKNOWN}}
  48 #endif
  49 }
  50
  51 namespace rdar13954714 {
  52   template <bool VALUE>
  53   bool blockInTemplate() {
  54     return (^() {
  55       return VALUE;
  56     })();
  57   }
  58
  59   // force instantiation
  60   template bool blockInTemplate<true>();
  61
  62   template <bool VALUE>
  63   void blockWithStatic() {
  64     (void)^() {
  65       static int x;
  66       return ++x;
  67     };
  68   }
  69
  70   // force instantiation
  71   template void blockWithStatic<true>();
  72 }