1 files changed, 37 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/compile/BUG1.c b/gcc/testsuite/gcc.c-torture/compile/BUG1.c
new file mode 100644
index 0000000..ada8eaf
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/BUG1.c
@@ -0,0 +1,37 @@
+struct _XtTextSource {
+	/* ... */
+    	void (* SetSelection)();
+	/* ... */
+    };
+
+typedef struct _XtTextSource *XtTextSource;
+
+typedef struct _TextPart {
+    	XtTextSource source;
+	/* ... */
+} TextPart;
+
+typedef struct _TextRec {
+	/* ... */
+	TextPart    text;
+} TextRec;
+
+typedef struct _TextRec      *TextWidget;
+
+
+void XtTextUnsetSelection(w)
+    TextWidget          w;		   /* original is: Widget w; */
+{
+    register TextWidget ctx = (TextWidget) w;
+    void (*nullProc)() = 0;
+
+/*
+ * the following line causes the error, when optimizing:
+ */
+
+    if (ctx->text.source->SetSelection != nullProc) {
+
+	foo();
+
+    }
+}