sdcc-3.9.0 fork implementing GNU assembler syntax

This fork aims to provide better support for stm8-binutils

1 files changed, 49 insertions, 0 deletions

diff --git a/support/valdiag/tests/bug-971834.c b/support/valdiag/tests/bug-971834.c
new file mode 100644
index 0000000..27df123
--- /dev/null
+++ b/support/valdiag/tests/bug-971834.c
@@ -0,0 +1,49 @@
+
+/* bug-971834.c
+
+   Life Range problem with
+   - uninitialized variable
+   - loop
+ */
+
+#ifdef TEST1
+unsigned char ttt = 2;
+
+short foo (void)
+{
+  unsigned short a;
+  a |= ttt;		/* WARNING(SDCC || GCC) */
+  return a;
+}
+#endif
+
+
+#ifdef TEST2
+unsigned char ttt[] = {0xff, 1};
+
+char foo (void)
+{
+  unsigned char a, i;
+  for (i = 0; i < sizeof(ttt); i++)
+    a |= ttt[i];	/* WARNING(SDCC) */
+  return a;
+}
+#endif
+
+#ifdef TEST3
+unsigned char ttt[] = {0xff, 1};
+unsigned char b;
+
+char foo (void)
+{
+  unsigned char i, j;
+  unsigned char a;
+  for (j = 0; j < sizeof(ttt); j++) {
+    for (i = 0; i < sizeof(ttt); i++) {
+      a |= ttt[i];	/* WARNING(SDCC) */
+      b = a;
+    }
+  }
+  return b;
+}
+#endif