Make pointer casting work.
diff --git a/libacc/tests/data/b2071670.c b/libacc/tests/data/b2071670.c
new file mode 100644
index 0000000..311bc4f
--- /dev/null
+++ b/libacc/tests/data/b2071670.c
@@ -0,0 +1,9 @@
+// See http://b/2071670
+
+int main() {
+    float f = 10.0f;
+    float* floatPointer = &f;
+    // The following line used to incorrectly error: "Incompatible pointer or array types"
+    int* buffer = (int*) floatPointer;
+    return *buffer;
+}
diff --git a/libacc/tests/test.py b/libacc/tests/test.py
index 0d408cc..b8caee0 100644
--- a/libacc/tests/test.py
+++ b/libacc/tests/test.py
@@ -458,6 +458,12 @@
 result: 4
 ""","""""")
 
+    def testB2071670(self):
+        self.compileCheck(["-R", "data/b2071670.c"], """Executing compiled code:
+result: 1092616192
+""","""""")
+
+
 def main():
     checkEnvironment()
     parseArgv()