1 files changed, 33 insertions, 0 deletions
diff --git a/gcc_arm/testsuite/gcc.c-torture/execute/memcheck/t5.c b/gcc_arm/testsuite/gcc.c-torture/execute/memcheck/t5.c
new file mode 100755
index 0000000..c3bbf64
--- /dev/null
+++ b/gcc_arm/testsuite/gcc.c-torture/execute/memcheck/t5.c
@@ -0,0 +1,33 @@
+/* Must define:
+   int expect_error;
+   void test ();
+   void setup () NOCHECK; */
+
+#include "driver.h"
+
+int expect_error = 1;
+
+struct s {
+  char c;
+  int a, b;
+};
+
+struct s *sp;
+
+void test ()
+{
+  sp = c_malloc (sizeof (struct s));
+  sp->c = 0;
+  sp->b = 47;
+  foo (sp);
+}
+
+int foo (struct s *sp)
+{
+  return sp->c + sp->a + sp->b;
+}
+
+void setup () /* NOCHECK */
+{
+  mark_region (&sp, sizeof (sp), ACCESS_RW);
+}