* src/SDCCicode.c (geniCodeIfx): fix bug 1406131: always false while loop

* support/regression/tests/bug-1406131.c: added

git-svn-id: https://sdcc.svn.sourceforge.net/svnroot/sdcc/trunk/sdcc@4017 4a8a32a2-be11-0410-ad9d-d568d2c75423

diff --git a/ChangeLog b/ChangeLog
index 7254c8eaa4666ee95f13b6247f0cbb8801c6952d..83335ba5136cc7d16972e924ba34c9d88878a0ee 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2006-01-16 Bernhard Held <bernhard AT bernhardheld.de>
+
+       * src/SDCCicode.c (geniCodeIfx): fix bug 1406131: always false
+       while loop
+       * support/regression/tests/bug-1406131.c: added
+
 2005-12-31 Bernhard Held <bernhard AT bernhardheld.de>
 
        * src/SDCCast.c (decorateType): fix promotion of unary minus

diff --git a/src/SDCCicode.c b/src/SDCCicode.c
index 513c7b6ccee6a2aaf7cc8fe47e7d04f0465d9136..c8ebf3be39270a7fed38fe0f6d2f2559c629ed1b 100644 (file)
--- a/src/SDCCicode.c
+++ b/src/SDCCicode.c
@@ -3635,8 +3635,6 @@ geniCodeIfx (ast * tree,int lvl)
         {
           if (tree->falseLabel)
             geniCodeGoto (tree->falseLabel);
-          else
-            assert (0);
         }
       goto exit;
     }

diff --git a/support/regression/tests/bug-1406131.c b/support/regression/tests/bug-1406131.c
new file mode 100755 (executable)
index 0000000..0e1651c
--- /dev/null
+++ b/support/regression/tests/bug-1406131.c
@@ -0,0 +1,19 @@
+/* bug-1406131.c
+
+   always false while-loop
+*/
+#include <testfwk.h>
+
+void
+testwhile(void)
+{
+  do
+    ;
+  while (0);
+  
+  while (0)
+    ;
+  
+  for (; 0; )
+    ;
+}