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()