# HG changeset patch
# User Xerxes R?nby <xerxes@zafena.se>
# Date 1301321999 -7200
# Node ID 677ddb123c9171f0bf5b83f48de828ddcaa09ec1
# Parent  69eb5f3dd2c1493b6041ca1c2337cff04eabcfdc
Added regression test for untyped U32 are considered as int by if-eqz/if-nez/if-eq/if-ne.
On behalf of: R?mi Forax

	* src/test/java/org/icedrobot/daneel/rewriter/IfTest.java: New.

diff -r 69eb5f3dd2c1 -r 677ddb123c91 src/test/java/org/icedrobot/daneel/rewriter/IfTest.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/test/java/org/icedrobot/daneel/rewriter/IfTest.java	Mon Mar 28 16:19:59 2011 +0200
@@ -0,0 +1,75 @@
+/*
+ * Daneel - Dalvik to Java bytecode compiler
+ * Copyright (C) 2011  IcedRobot team
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program.  If not, see <http://www.gnu.org/licenses/>.
+ *
+ * This file is subject to the "Classpath" exception:
+ *
+ * Linking this library statically or dynamically with other modules is
+ * making a combined work based on this library.  Thus, the terms and
+ * conditions of the GNU General Public License cover the whole
+ * combination.
+ *
+ * As a special exception, the copyright holders of this library give you
+ * permission to link this library with independent modules to produce an
+ * executable, regardless of the license terms of these independent
+ * modules, and to copy and distribute the resulting executable under terms
+ * of your choice, provided that you also meet, for each linked independent
+ * module, the terms and conditions of the license of that module.  An
+ * independent module is a module which is not derived from or based on
+ * this library.  If you modify this library, you may extend this exception
+ * to your version of the library, but you are not obligated to do so.  If
+ * you do not wish to do so, delete this exception statement from your
+ * version.
+ */
+
+package org.icedrobot.daneel.rewriter;
+
+import org.icedrobot.daneel.DexifyingRunner;
+import org.junit.Test;
+import org.junit.runner.RunWith;
+
+@RunWith(DexifyingRunner.class)
+public class IfTest {
+
+    @Test
+    public void testIf() {
+        DEXCode.m();
+    }
+
+    // Keep this class named "DEXCode" to push it through Daneel.
+    private static class DEXCode {
+
+        private static void foo(int i) { }
+        private static void foo(Object o) { }
+        private static void bar() { }
+
+        public static void m() {
+            int i = 0;
+            if (i == 0) {   // should not be considered as an int here
+                bar();
+            } else {
+                foo(i);   // here, we detect that this is an int, so we can patch
+            }
+
+            Object a = null;
+            if (a == null) {  // should not be considered as an int here
+                bar();
+            } else {
+                foo(a);   // here, we detect that this is an Object, so we can patch
+            }
+        }
+    };
+}