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 template<class T, unsigned N>
  35 inline unsigned array_lengthof(T (&)[N]) {
  36   return N;
  37 }
  38
  39 void testNonTypeTemplateInstantiation() {
  40   const char *S[] = { "a", "b" };
  41   clang_analyzer_eval(array_lengthof(S) == 2);
  42 #ifndef NO_INLINE
  43   // expected-warning@-2 {{TRUE}}
  44 #else
  45   // expected-warning@-4 {{UNKNOWN}}
  46 #endif
  47 }
  48
  49 namespace rdar13954714 {
  50   template <bool VALUE>
  51   bool blockInTemplate() {
  52     return (^() {
  53       return VALUE;
  54     })();
  55   }
  56
  57   // force instantiation
  58   template bool blockInTemplate<true>();
  59
  60   template <bool VALUE>
  61   void blockWithStatic() {
  62     (void)^() {
  63       static int x;
  64       return ++x;
  65     };
  66   }
  67
  68   // force instantiation
  69   template void blockWithStatic<true>();
  70 }