--- a/python/testc3.py	Sat Jul 06 21:32:20 2013 +0200
+++ b/python/testc3.py	Mon Jul 08 22:21:44 2013 +0200
@@ -212,13 +212,28 @@
          var int* pa;
          function void t(int a, double b)
          {
-            pa = 2;
             pa = &a;
             *pa = 22;
          }
         """
         self.expectOK(snippet)
 
+    def testPointerTypeInCorrect(self):
+        snippet = """
+         package testpointerincorrect;
+         var int* pa;
+         function void t(int a, double b)
+         {
+            pa = 2; // type conflict
+            pa = &a;
+            pa = &2;
+            &a = 3; // no valid lvalue and incorrect types.
+            &a = pa; // No valid lvalue
+            **pa = 22; // Cannot deref int
+         }
+        """
+        self.expectErrors(snippet, [6, 9, 9, 10, 11])
+
     @unittest.skip 
     def testComplexType(self):
         snippet = """