Added tests.

11 files changed, 45 insertions, 0 deletions

diff --git a/tests/typing/bad/testfile-constructor-1.cpp b/tests/typing/bad/testfile-constructor-1.cpp
new file mode 100644
index 0000000..2f6a3ac
--- /dev/null
+++ b/tests/typing/bad/testfile-constructor-1.cpp
@@ -0,0 +1,4 @@
+class A { public: };
+class B { public: A(); };
+int main() {}
+
diff --git a/tests/typing/bad/testfile-extra_qualification-1.cpp b/tests/typing/bad/testfile-extra_qualification-1.cpp
new file mode 100644
index 0000000..35e4a56
--- /dev/null
+++ b/tests/typing/bad/testfile-extra_qualification-1.cpp
@@ -0,0 +1,6 @@
+class A {
+public:
+  void A::f();
+};
+int main() {}
+
diff --git a/tests/typing/bad/testfile-incomplete_type-1.cpp b/tests/typing/bad/testfile-incomplete_type-1.cpp
new file mode 100644
index 0000000..cb763ef
--- /dev/null
+++ b/tests/typing/bad/testfile-incomplete_type-1.cpp
@@ -0,0 +1,3 @@
+class A { public: A a; };
+int main() {}
+
diff --git a/tests/typing/bad/testfile-overload-1.cpp b/tests/typing/bad/testfile-overload-1.cpp
new file mode 100644
index 0000000..bee85bb
--- /dev/null
+++ b/tests/typing/bad/testfile-overload-1.cpp
@@ -0,0 +1,7 @@
+class A {
+public:
+  void A::f();
+  void A::f();
+};
+int main() {}
+
diff --git a/tests/typing/bad/testfile-reference_type-1.cpp b/tests/typing/bad/testfile-reference_type-1.cpp
new file mode 100644
index 0000000..a80e0af
--- /dev/null
+++ b/tests/typing/bad/testfile-reference_type-1.cpp
@@ -0,0 +1,2 @@
+int& f() { return 0; }
+int main() {}
diff --git a/tests/typing/bad/testfile-reference_type-2.cpp b/tests/typing/bad/testfile-reference_type-2.cpp
new file mode 100644
index 0000000..3356776
--- /dev/null
+++ b/tests/typing/bad/testfile-reference_type-2.cpp
@@ -0,0 +1,3 @@
+
+int main() { int &y = 42; }
+
diff --git a/tests/typing/bad/testfile-subtyping-1.cpp b/tests/typing/bad/testfile-subtyping-1.cpp
new file mode 100644
index 0000000..63fd309
--- /dev/null
+++ b/tests/typing/bad/testfile-subtyping-1.cpp
@@ -0,0 +1,5 @@
+class A { public: };
+class B : public A { public: };
+
+int main() { B *x = new A(); }
+
diff --git a/tests/typing/bad/testfile-this-1.cpp b/tests/typing/bad/testfile-this-1.cpp
new file mode 100644
index 0000000..abb3cb5
--- /dev/null
+++ b/tests/typing/bad/testfile-this-1.cpp
@@ -0,0 +1,3 @@
+void f() { std::cout << this << "\n"; }
+int main() {}
+
diff --git a/tests/typing/good/testfile-not_incomplete_type-1.cpp b/tests/typing/good/testfile-not_incomplete_type-1.cpp
new file mode 100644
index 0000000..de16671
--- /dev/null
+++ b/tests/typing/good/testfile-not_incomplete_type-1.cpp
@@ -0,0 +1,2 @@
+class A { public: A *a; };
+int main() {}
diff --git a/tests/typing/good/testfile-subtype-2.cpp b/tests/typing/good/testfile-subtype-2.cpp
new file mode 100644
index 0000000..d65ebc0
--- /dev/null
+++ b/tests/typing/good/testfile-subtype-2.cpp
@@ -0,0 +1,5 @@
+
+#include <iostream>
+class A { public: };
+int main() { A *x = NULL; }
+
diff --git a/tests/typing/good/testfile-subtype-3.cpp b/tests/typing/good/testfile-subtype-3.cpp
new file mode 100644
index 0000000..e240ef6
--- /dev/null
+++ b/tests/typing/good/testfile-subtype-3.cpp
@@ -0,0 +1,5 @@
+
+class A { public: };
+class B : public A { public: };
+int main() { A *x = new B(); }
+