Uninitialized variables: fixed false positives when using pointer aliasing

lib/checkother.cpp

@@ -1859,6 +1859,11 @@ private:
                 use_pointer(foundError, checks, &tok);
                 return &tok;
             }
+
+            if (Token::simpleMatch(tok.previous(), "&"))
+            {
+                ExecutionPath::bailOutVar(checks, tok.varId());
+            }
         }
         return &tok;
     }

test/testother.cpp

@@ -1150,6 +1150,15 @@ private:
                        "}\n");
         ASSERT_EQUALS("", errout.str());
 
+        checkUninitVar("void a()\n"
+                       "{\n"
+                       "    int x;\n"
+                       "    int *y = &x;\n"
+                       "    *y = 0;\n"
+                       "    x++;\n"
+                       "}\n");
+        ASSERT_EQUALS("", errout.str());
+
         checkUninitVar("int a()\n"
                        "{\n"
                        "    int ret;\n"