Added tests, corrected two failed tests.

5 files changed, 5 insertions, 4 deletions

diff --git a/tests/typing/bad/testfile-arith-3.cpp b/tests/typing/bad/testfile-arith-3.cpp
index ec4f877..9418b15 100644
--- a/tests/typing/bad/testfile-arith-3.cpp
+++ b/tests/typing/bad/testfile-arith-3.cpp
@@ -1,2 +1,2 @@
 
-int main() { char *p; p+p; }
+int main() { int *p; p+p; }
diff --git a/tests/typing/bad/testfile-arith-4.cpp b/tests/typing/bad/testfile-arith-4.cpp
index f9ca567..fbb7e9a 100644
--- a/tests/typing/bad/testfile-arith-4.cpp
+++ b/tests/typing/bad/testfile-arith-4.cpp
@@ -1,3 +1,3 @@
 
 class S { public: int a; };
-int main() { S s; char *p; p+s; }
+int main() { S s; int *p; p+s; }
diff --git a/tests/typing/bad/testfile-arith-5.cpp b/tests/typing/bad/testfile-arith-5.cpp
index 2637ffc..f17d496 100644
--- a/tests/typing/bad/testfile-arith-5.cpp
+++ b/tests/typing/bad/testfile-arith-5.cpp
@@ -1,2 +1,3 @@
 
-int main() { char *p; 1-p; }
+int main() { int *p; 1-p; }
+
diff --git a/tests/typing/bad/testfile-redef-6.cpp b/tests/typing/bad/testfile-redef-6.cpp
index ae81bdc..32b0dfd 100644
--- a/tests/typing/bad/testfile-redef-6.cpp
+++ b/tests/typing/bad/testfile-redef-6.cpp
@@ -1,3 +1,2 @@
 
 class S { public: int a; int a; };
-int main() {}
diff --git a/tests/typing/good/testfile-subtype-1.cpp b/tests/typing/good/testfile-subtype-1.cpp
index ee18b1e..67647d0 100644
--- a/tests/typing/good/testfile-subtype-1.cpp
+++ b/tests/typing/good/testfile-subtype-1.cpp
@@ -3,3 +3,4 @@ int main() {
   int *s;
   s = NULL;
 }
+