aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/templates.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'test/Analysis/templates.cpp')
-rw-r--r--test/Analysis/templates.cpp29
1 files changed, 29 insertions, 0 deletions
diff --git a/test/Analysis/templates.cpp b/test/Analysis/templates.cpp
new file mode 100644
index 0000000000..6add18c190
--- /dev/null
+++ b/test/Analysis/templates.cpp
@@ -0,0 +1,29 @@
+// RUN: %clang_cc1 -analyze -analyzer-checker=core -fblocks -verify %s
+
+// Do not crash on this templated code which uses a block.
+typedef void (^my_block)(void);
+static void useBlock(my_block block){}
+template<class T> class MyClass;
+typedef MyClass<float> Mf;
+
+template<class T>
+class MyClass
+{
+public:
+ MyClass() {}
+ MyClass(T a);
+ void I();
+private:
+ static const T one;
+};
+
+template<class T> const T MyClass<T>::one = static_cast<T>(1);
+template<class T> inline MyClass<T>::MyClass(T a){}
+template<class T> void MyClass<T>::I() {
+ static MyClass<T>* mPtr = 0;
+ useBlock(^{ mPtr = new MyClass<T> (MyClass<T>::one); });
+};
+int main(){
+ Mf m;
+ m.I();
+}