[packages/gcc.git] / gcc32-attr-visibility.patch

2002-02-26  Jakub Jelinek  <jakub@redhat.com>

	* attribs.c (c_common_attribute_table): Add visibility.
	(handle_visibility_attribute): New function.
	* varasm.c (assemble_visibility): New function.
	* output.h (assemble_visibility): Add prototype.
	* tree.h (MODULE_LOCAL_P): Define.
	* crtstuff.c (__dso_handle): Use visibility attribute.
	* config/i386/i386.h (ENCODE_SECTION_INFO): Set SYMBOL_REF_FLAG
	for MODULE_LOCAL_P symbols too.
	* config/ia64/ia64.c (ia64_encode_section_info): Handle
	MODULE_LOCAL_P symbols the same way as local symbols.
	Add SDATA_NAME_FLAG_CHAR even if decl was explicitely forced
	into .sdata/.sbss by the user.
	* doc/extend.texi (Function Attributes): Document visibility
	attribute.

	* gcc.dg/ia64-visibility-1.c: New test.

--- gcc/attribs.c	2002/02/25 22:38:52	1.14
+++ gcc/attribs.c	2002/02/26 21:17:14	1.15
@@ -75,6 +75,8 @@ static tree handle_weak_attribute	PARAMS
 						 bool *));
 static tree handle_alias_attribute	PARAMS ((tree *, tree, tree, int,
 						 bool *));
+static tree handle_visibility_attribute	PARAMS ((tree *, tree, tree, int,
+						 bool *));
 static tree handle_no_instrument_function_attribute PARAMS ((tree *, tree,
 							     tree, int,
 							     bool *));
@@ -148,6 +150,8 @@ static const struct attribute_spec c_com
 			      handle_deprecated_attribute },
   { "vector_size",	      1, 1, false, true, false,
 			      handle_vector_size_attribute },
+  { "visibility",	      1, 1, true,  false, false,
+			      handle_visibility_attribute },
   { NULL,                     0, 0, false, false, false, NULL }
 };
 
@@ -1061,6 +1065,50 @@ handle_alias_attribute (node, name, args
   return NULL_TREE;
 }
 
+/* Handle an "visibility" attribute; arguments as in
+   struct attribute_spec.handler.  */
+
+static tree
+handle_visibility_attribute (node, name, args, flags, no_add_attrs)
+     tree *node;
+     tree name;
+     tree args;
+     int flags ATTRIBUTE_UNUSED;
+     bool *no_add_attrs;
+{
+  tree decl = *node;
+
+  if (decl_function_context (decl) != 0 || ! TREE_PUBLIC (decl))
+    {
+      warning ("`%s' attribute ignored", IDENTIFIER_POINTER (name));
+      *no_add_attrs = true;
+    }
+  else
+    {
+      tree id;
+
+      id = TREE_VALUE (args);
+      if (TREE_CODE (id) != STRING_CST)
+	{
+	  error ("visibility arg not a string");
+	  *no_add_attrs = true;
+	  return NULL_TREE;
+	}
+      if (strcmp (TREE_STRING_POINTER (id), "hidden")
+	  && strcmp (TREE_STRING_POINTER (id), "protected")
+	  && strcmp (TREE_STRING_POINTER (id), "internal"))
+	{
+	  error ("visibility arg must be one of \"hidden\", \"protected\" or \"internal\"");
+	  *no_add_attrs = true;
+	  return NULL_TREE;
+	}
+
+      assemble_visibility (decl, TREE_STRING_POINTER (id));
+    }
+
+  return NULL_TREE;
+}
+
 /* Handle a "no_instrument_function" attribute; arguments as in
    struct attribute_spec.handler.  */
 
--- gcc/varasm.c	2002/02/20 23:19:19	1.250
+++ gcc/varasm.c	2002/02/26 21:17:14	1.251
@@ -5160,6 +5160,25 @@ assemble_alias (decl, target)
 #endif
 }
 
+/* Emit an assembler directive to set symbol for DECL visibility to
+   VISIBILITY_TYPE.  */
+
+void
+assemble_visibility (decl, visibility_type)
+     tree decl;
+     const char *visibility_type ATTRIBUTE_UNUSED;
+{
+  const char *name;
+
+  name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
+
+#ifdef HAVE_GAS_HIDDEN
+  fprintf (asm_out_file, "\t.%s\t%s\n", visibility_type, name);
+#else
+  warning ("visibility attribute not supported in this configuration; ignored");
+#endif
+}
+
 /* Returns 1 if the target configuration supports defining public symbols
    so that one of them will be chosen at link time instead of generating a
    multiply-defined symbol error, whether through the use of weak symbols or
--- gcc/output.h	2002/02/17 14:23:50	1.94
+++ gcc/output.h	2002/02/26 21:17:14	1.95
@@ -255,6 +255,8 @@ extern void assemble_constant_align	PARA
 
 extern void assemble_alias		PARAMS ((tree, tree));
 
+extern void assemble_visibility		PARAMS ((tree, const char *));
+
 /* Output a string of literal assembler code
    for an `asm' keyword used between functions.  */
 extern void assemble_asm		PARAMS ((tree));
--- gcc/tree.h	2002/02/20 00:19:33	1.308
+++ gcc/tree.h	2002/02/26 21:17:14	1.309
@@ -2283,6 +2283,11 @@ extern tree merge_attributes		PARAMS ((t
 extern tree merge_dllimport_decl_attributes PARAMS ((tree, tree));
 #endif
 
+/* Return true if DECL will be always resolved to a symbol defined in the
+   same module (shared library or program).  */
+#define MODULE_LOCAL_P(DECL) \
+  (lookup_attribute ("visibility", DECL_ATTRIBUTES (DECL)) != NULL)
+
 /* Return a version of the TYPE, qualified as indicated by the
    TYPE_QUALS, if one exists.  If no qualified version exists yet,
    return NULL_TREE.  */
--- gcc/crtstuff.c	2002/02/05 10:31:01	1.54
+++ gcc/crtstuff.c	2002/02/26 21:17:14	1.55
@@ -213,13 +213,9 @@ STATIC void *__JCR_LIST__[]
    in one DSO or the main program is not used in another object.  The
    dynamic linker takes care of this.  */
 
-/* XXX Ideally the following should be implemented using
-       __attribute__ ((__visibility__ ("hidden")))
-   but the __attribute__ support is not yet there.  */
 #ifdef HAVE_GAS_HIDDEN
-asm (".hidden\t__dso_handle");
+extern void *__dso_handle __attribute__ ((__visibility__ ("hidden")));
 #endif
-
 #ifdef CRTSTUFFS_O
 void *__dso_handle = &__dso_handle;
 #else
--- gcc/config/i386/i386.h	2002/02/17 07:52:12	1.243
+++ gcc/config/i386/i386.h	2002/02/26 21:17:18	1.244
@@ -2266,7 +2266,9 @@ do {								\
 	    							\
 	    SYMBOL_REF_FLAG (XEXP (rtl, 0))			\
 	      = (TREE_CODE_CLASS (TREE_CODE (DECL)) != 'd'	\
-		 || ! TREE_PUBLIC (DECL));			\
+		 || ! TREE_PUBLIC (DECL)			\
+		 || (TREE_CODE (DECL) == VAR_DECL		\
+		     && MODULE_LOCAL_P (DECL)));		\
 	  }							\
       }								\
 } while (0)
--- gcc/config/ia64/ia64.c	2002/01/21 02:24:02	1.139
+++ gcc/config/ia64/ia64.c	2002/02/26 22:41:48	1.141
@@ -6897,13 +6904,14 @@ ia64_encode_section_info (decl)
      statically allocated, but the space is allocated somewhere else.  Such
      decls can not be own data.  */
   if (! TARGET_NO_SDATA
-      && TREE_STATIC (decl) && ! DECL_EXTERNAL (decl)
-      && ! (DECL_ONE_ONLY (decl) || DECL_WEAK (decl))
-      && ! (TREE_PUBLIC (decl)
-	    && (flag_pic
-		|| (DECL_COMMON (decl)
-		    && (DECL_INITIAL (decl) == 0
-			|| DECL_INITIAL (decl) == error_mark_node))))
+      && ((TREE_STATIC (decl) && ! DECL_EXTERNAL (decl)
+	   && ! (DECL_ONE_ONLY (decl) || DECL_WEAK (decl))
+	   && ! (TREE_PUBLIC (decl)
+		 && (flag_pic
+		     || (DECL_COMMON (decl)
+			 && (DECL_INITIAL (decl) == 0
+			     || DECL_INITIAL (decl) == error_mark_node)))))
+	  || MODULE_LOCAL_P (decl))
       /* Either the variable must be declared without a section attribute,
 	 or the section must be sdata or sbss.  */
       && (DECL_SECTION_NAME (decl) == 0
@@ -6923,9 +6931,12 @@ ia64_encode_section_info (decl)
 	;
 
       /* If this is an incomplete type with size 0, then we can't put it in
-	 sdata because it might be too big when completed.  */
-      else if (size > 0
-	       && size <= (HOST_WIDE_INT) ia64_section_threshold
+	 sdata because it might be too big when completed.
+	 Objects bigger than threshold should have SDATA_NAME_FLAG_CHAR
+	 added if they are in .sdata or .sbss explicitely.  */
+      else if (((size > 0
+		 && size <= (HOST_WIDE_INT) ia64_section_threshold)
+		|| DECL_SECTION_NAME (decl))
 	       && symbol_str[0] != SDATA_NAME_FLAG_CHAR)
 	{
 	  size_t len = strlen (symbol_str);
--- gcc/doc/extend.texi	2002/02/23 12:59:07	1.64
+++ gcc/doc/extend.texi	2002/02/26 21:17:17	1.65
@@ -2198,7 +2198,7 @@ The @code{alias} attribute causes the de
 alias for another symbol, which must be specified.  For instance,
 
 @smallexample
-void __f () @{ /* do something */; @}
+void __f () @{ /* @r{Do something.} */; @}
 void f () __attribute__ ((weak, alias ("__f")));
 @end smallexample
 
@@ -2206,6 +2206,19 @@ declares @samp{f} to be a weak alias for
 mangled name for the target must be used.
 
 Not all target machines support this attribute.
+
+@item visibility ("@var{visibility_type}")
+@cindex @code{visibility} attribute
+The @code{visibility} attribute on ELF targets causes the declaration
+to be emitted with hidden, protected or internal visibility.
+
+@smallexample
+void __attribute__ ((visibility ("protected")))
+f () @{ /* @r{Do something.} */; @}
+int i __attribute__ ((visibility ("hidden")));
+@end smallexample
+
+Not all ELF targets support this attribute.
 
 @item regparm (@var{number})
 @cindex functions that are passed arguments in registers on the 386
--- gcc/testsuite/gcc.dg/ia64-visibility-1.c.jj	Tue Feb 26 12:30:32 2002
+++ gcc/testsuite/gcc.dg/ia64-visibility-1.c	Tue Feb 26 12:33:26 2002
@@ -0,0 +1,36 @@
+/* Test visibility attribute.  */
+/* { dg-do compile { target ia64*-*-linux* } } */
+/* { dg-options "-O2 -fpic" } */
+/* { dg-final { scan-assembler "\\.hidden.*variable_j" } } */
+/* { dg-final { scan-assembler "\\.hidden.*variable_m" } } */
+/* { dg-final { scan-assembler "\\.protected.*baz" } } */
+/* { dg-final { scan-assembler "gprel.*variable_i" } } */
+/* { dg-final { scan-assembler "gprel.*variable_j" } } */
+/* { dg-final { scan-assembler "ltoff.*variable_k" } } */
+/* { dg-final { scan-assembler "gprel.*variable_l" } } */
+/* { dg-final { scan-assembler "gprel.*variable_m" } } */
+/* { dg-final { scan-assembler "ltoff.*variable_n" } } */
+
+static int variable_i;
+int variable_j __attribute__((visibility ("hidden")));
+int variable_k;
+struct A { char a[64]; };
+static struct A variable_l __attribute__((section (".sbss")));
+struct A variable_m __attribute__((visibility ("hidden"), section(".sbss")));
+struct A variable_n __attribute__((section (".sbss")));
+
+int foo (void)
+{
+  return variable_i + variable_j + variable_k;
+}
+
+void bar (void)
+{
+  variable_l.a[10] = 0;
+  variable_m.a[10] = 0;
+  variable_n.a[10] = 0;
+}
+
+void __attribute__((visibility ("protected"))) baz (void)
+{
+}
Commit	Line	Data
5384b728	1	2002-02-26 Jakub Jelinek <jakub@redhat.com>
	2
	3	* attribs.c (c_common_attribute_table): Add visibility.
	4	(handle_visibility_attribute): New function.
	5	* varasm.c (assemble_visibility): New function.
	6	* output.h (assemble_visibility): Add prototype.
	7	* tree.h (MODULE_LOCAL_P): Define.
	8	* crtstuff.c (__dso_handle): Use visibility attribute.
	9	* config/i386/i386.h (ENCODE_SECTION_INFO): Set SYMBOL_REF_FLAG
	10	for MODULE_LOCAL_P symbols too.
	11	* config/ia64/ia64.c (ia64_encode_section_info): Handle
	12	MODULE_LOCAL_P symbols the same way as local symbols.
	13	Add SDATA_NAME_FLAG_CHAR even if decl was explicitely forced
	14	into .sdata/.sbss by the user.
	15	* doc/extend.texi (Function Attributes): Document visibility
	16	attribute.
	17
	18	* gcc.dg/ia64-visibility-1.c: New test.
	19
	20	--- gcc/attribs.c 2002/02/25 22:38:52 1.14
	21	+++ gcc/attribs.c 2002/02/26 21:17:14 1.15
	22	@@ -75,6 +75,8 @@ static tree handle_weak_attribute PARAMS
	23	bool *));
	24	static tree handle_alias_attribute PARAMS ((tree *, tree, tree, int,
	25	bool *));
	26	+static tree handle_visibility_attribute PARAMS ((tree *, tree, tree, int,
	27	+ bool *));
	28	static tree handle_no_instrument_function_attribute PARAMS ((tree *, tree,
	29	tree, int,
	30	bool *));
	31	@@ -148,6 +150,8 @@ static const struct attribute_spec c_com
	32	handle_deprecated_attribute },
	33	{ "vector_size", 1, 1, false, true, false,
	34	handle_vector_size_attribute },
	35	+ { "visibility", 1, 1, true, false, false,
	36	+ handle_visibility_attribute },
	37	{ NULL, 0, 0, false, false, false, NULL }
	38	};
	39
	40	@@ -1061,6 +1065,50 @@ handle_alias_attribute (node, name, args
	41	return NULL_TREE;
	42	}
	43
	44	+/* Handle an "visibility" attribute; arguments as in
	45	+ struct attribute_spec.handler. */
	46	+
	47	+static tree
	48	+handle_visibility_attribute (node, name, args, flags, no_add_attrs)
	49	+ tree *node;
	50	+ tree name;
	51	+ tree args;
	52	+ int flags ATTRIBUTE_UNUSED;
	53	+ bool *no_add_attrs;
	54	+{
	55	+ tree decl = *node;
	56	+
	57	+ if (decl_function_context (decl) != 0 \|\| ! TREE_PUBLIC (decl))
	58	+ {
	59	+ warning ("`%s' attribute ignored", IDENTIFIER_POINTER (name));
	60	+ *no_add_attrs = true;
	61	+ }
	62	+ else
	63	+ {
	64	+ tree id;
65	+
66	+ id = TREE_VALUE (args);
67	+ if (TREE_CODE (id) != STRING_CST)
68	+ {
69	+ error ("visibility arg not a string");
70	+ *no_add_attrs = true;
71	+ return NULL_TREE;
72	+ }
73	+ if (strcmp (TREE_STRING_POINTER (id), "hidden")
74	+ && strcmp (TREE_STRING_POINTER (id), "protected")
75	+ && strcmp (TREE_STRING_POINTER (id), "internal"))
76	+ {
77	+ error ("visibility arg must be one of \"hidden\", \"protected\" or \"internal\"");
78	+ *no_add_attrs = true;
79	+ return NULL_TREE;
80	+ }
81	+
82	+ assemble_visibility (decl, TREE_STRING_POINTER (id));
83	+ }
84	+
85	+ return NULL_TREE;
86	+}
87	+
88	/* Handle a "no_instrument_function" attribute; arguments as in
89	struct attribute_spec.handler. */
90
91	--- gcc/varasm.c 2002/02/20 23:19:19 1.250
92	+++ gcc/varasm.c 2002/02/26 21:17:14 1.251
93	@@ -5160,6 +5160,25 @@ assemble_alias (decl, target)
94	#endif
95	}
96
97	+/* Emit an assembler directive to set symbol for DECL visibility to
98	+ VISIBILITY_TYPE. */
99	+
100	+void
101	+assemble_visibility (decl, visibility_type)
102	+ tree decl;
103	+ const char *visibility_type ATTRIBUTE_UNUSED;
104	+{
105	+ const char *name;
106	+
107	+ name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
108	+
109	+#ifdef HAVE_GAS_HIDDEN
110	+ fprintf (asm_out_file, "\t.%s\t%s\n", visibility_type, name);
111	+#else
112	+ warning ("visibility attribute not supported in this configuration; ignored");
113	+#endif
114	+}
115	+
116	/* Returns 1 if the target configuration supports defining public symbols
117	so that one of them will be chosen at link time instead of generating a
118	multiply-defined symbol error, whether through the use of weak symbols or
119	--- gcc/output.h 2002/02/17 14:23:50 1.94
120	+++ gcc/output.h 2002/02/26 21:17:14 1.95
121	@@ -255,6 +255,8 @@ extern void assemble_constant_align PARA
122
123	extern void assemble_alias PARAMS ((tree, tree));
124
125	+extern void assemble_visibility PARAMS ((tree, const char *));
126	+
127	/* Output a string of literal assembler code
128	for an `asm' keyword used between functions. */
129	extern void assemble_asm PARAMS ((tree));
130	--- gcc/tree.h 2002/02/20 00:19:33 1.308
131	+++ gcc/tree.h 2002/02/26 21:17:14 1.309
132	@@ -2283,6 +2283,11 @@ extern tree merge_attributes PARAMS ((t
133	extern tree merge_dllimport_decl_attributes PARAMS ((tree, tree));
134	#endif
135
136	+/* Return true if DECL will be always resolved to a symbol defined in the
137	+ same module (shared library or program). */
138	+#define MODULE_LOCAL_P(DECL) \
139	+ (lookup_attribute ("visibility", DECL_ATTRIBUTES (DECL)) != NULL)
140	+
141	/* Return a version of the TYPE, qualified as indicated by the
142	TYPE_QUALS, if one exists. If no qualified version exists yet,
143	return NULL_TREE. */
144	--- gcc/crtstuff.c 2002/02/05 10:31:01 1.54
145	+++ gcc/crtstuff.c 2002/02/26 21:17:14 1.55
146	@@ -213,13 +213,9 @@ STATIC void *__JCR_LIST__[]
147	in one DSO or the main program is not used in another object. The
148	dynamic linker takes care of this. */
149
150	-/* XXX Ideally the following should be implemented using
151	- __attribute__ ((__visibility__ ("hidden")))
152	- but the __attribute__ support is not yet there. */
153	#ifdef HAVE_GAS_HIDDEN
154	-asm (".hidden\t__dso_handle");
155	+extern void *__dso_handle __attribute__ ((__visibility__ ("hidden")));
156	#endif
157	-
158	#ifdef CRTSTUFFS_O
159	void *__dso_handle = &__dso_handle;
160	#else
161	--- gcc/config/i386/i386.h 2002/02/17 07:52:12 1.243
162	+++ gcc/config/i386/i386.h 2002/02/26 21:17:18 1.244
163	@@ -2266,7 +2266,9 @@ do { \
164	\
165	SYMBOL_REF_FLAG (XEXP (rtl, 0)) \
166	= (TREE_CODE_CLASS (TREE_CODE (DECL)) != 'd' \
167	- \|\| ! TREE_PUBLIC (DECL)); \
168	+ \|\| ! TREE_PUBLIC (DECL) \
169	+ \|\| (TREE_CODE (DECL) == VAR_DECL \
170	+ && MODULE_LOCAL_P (DECL))); \
171	} \
172	} \
173	} while (0)
174	--- gcc/config/ia64/ia64.c 2002/01/21 02:24:02 1.139
175	+++ gcc/config/ia64/ia64.c 2002/02/26 22:41:48 1.141
176	@@ -6897,13 +6904,14 @@ ia64_encode_section_info (decl)
177	statically allocated, but the space is allocated somewhere else. Such
178	decls can not be own data. */
179	if (! TARGET_NO_SDATA
180	- && TREE_STATIC (decl) && ! DECL_EXTERNAL (decl)
181	- && ! (DECL_ONE_ONLY (decl) \|\| DECL_WEAK (decl))
182	- && ! (TREE_PUBLIC (decl)
183	- && (flag_pic
184	- \|\| (DECL_COMMON (decl)
185	- && (DECL_INITIAL (decl) == 0
186	- \|\| DECL_INITIAL (decl) == error_mark_node))))
187	+ && ((TREE_STATIC (decl) && ! DECL_EXTERNAL (decl)
188	+ && ! (DECL_ONE_ONLY (decl) \|\| DECL_WEAK (decl))
189	+ && ! (TREE_PUBLIC (decl)
190	+ && (flag_pic
191	+ \|\| (DECL_COMMON (decl)
192	+ && (DECL_INITIAL (decl) == 0
193	+ \|\| DECL_INITIAL (decl) == error_mark_node)))))
194	+ \|\| MODULE_LOCAL_P (decl))
195	/* Either the variable must be declared without a section attribute,
196	or the section must be sdata or sbss. */
197	&& (DECL_SECTION_NAME (decl) == 0
198	@@ -6923,9 +6931,12 @@ ia64_encode_section_info (decl)
199	;
200
201	/* If this is an incomplete type with size 0, then we can't put it in
202	- sdata because it might be too big when completed. */
203	- else if (size > 0
204	- && size <= (HOST_WIDE_INT) ia64_section_threshold
205	+ sdata because it might be too big when completed.
206	+ Objects bigger than threshold should have SDATA_NAME_FLAG_CHAR
207	+ added if they are in .sdata or .sbss explicitely. */
208	+ else if (((size > 0
209	+ && size <= (HOST_WIDE_INT) ia64_section_threshold)
210	+ \|\| DECL_SECTION_NAME (decl))
211	&& symbol_str[0] != SDATA_NAME_FLAG_CHAR)
212	{
213	size_t len = strlen (symbol_str);
214	--- gcc/doc/extend.texi 2002/02/23 12:59:07 1.64
215	+++ gcc/doc/extend.texi 2002/02/26 21:17:17 1.65
216	@@ -2198,7 +2198,7 @@ The @code{alias} attribute causes the de
217	alias for another symbol, which must be specified. For instance,
218
219	@smallexample
220	-void __f () @{ /* do something */; @}
221	+void __f () @{ /* @r{Do something.} */; @}
222	void f () __attribute__ ((weak, alias ("__f")));
223	@end smallexample
224
225	@@ -2206,6 +2206,19 @@ declares @samp{f} to be a weak alias for
226	mangled name for the target must be used.
227
228	Not all target machines support this attribute.
229	+
230	+@item visibility ("@var{visibility_type}")
231	+@cindex @code{visibility} attribute
232	+The @code{visibility} attribute on ELF targets causes the declaration
233	+to be emitted with hidden, protected or internal visibility.
234	+
235	+@smallexample
236	+void __attribute__ ((visibility ("protected")))
237	+f () @{ /* @r{Do something.} */; @}
238	+int i __attribute__ ((visibility ("hidden")));
239	+@end smallexample
240	+
241	+Not all ELF targets support this attribute.
242
243	@item regparm (@var{number})
244	@cindex functions that are passed arguments in registers on the 386
245	--- gcc/testsuite/gcc.dg/ia64-visibility-1.c.jj Tue Feb 26 12:30:32 2002
246	+++ gcc/testsuite/gcc.dg/ia64-visibility-1.c Tue Feb 26 12:33:26 2002
247	@@ -0,0 +1,36 @@
248	+/* Test visibility attribute. */
249	+/* { dg-do compile { target ia64--linux* } } */
250	+/* { dg-options "-O2 -fpic" } */
251	+/* { dg-final { scan-assembler "\\.hidden.variable_j" } } /
252	+/* { dg-final { scan-assembler "\\.hidden.variable_m" } } /
253	+/* { dg-final { scan-assembler "\\.protected.baz" } } /
254	+/* { dg-final { scan-assembler "gprel.variable_i" } } /
255	+/* { dg-final { scan-assembler "gprel.variable_j" } } /
256	+/* { dg-final { scan-assembler "ltoff.variable_k" } } /
257	+/* { dg-final { scan-assembler "gprel.variable_l" } } /
258	+/* { dg-final { scan-assembler "gprel.variable_m" } } /
259	+/* { dg-final { scan-assembler "ltoff.variable_n" } } /
260	+
261	+static int variable_i;
262	+int variable_j __attribute__((visibility ("hidden")));
263	+int variable_k;
264	+struct A { char a[64]; };
265	+static struct A variable_l __attribute__((section (".sbss")));
266	+struct A variable_m __attribute__((visibility ("hidden"), section(".sbss")));
267	+struct A variable_n __attribute__((section (".sbss")));
268	+
269	+int foo (void)
270	+{
271	+ return variable_i + variable_j + variable_k;
272	+}
273	+
274	+void bar (void)
275	+{
276	+ variable_l.a[10] = 0;
277	+ variable_m.a[10] = 0;
278	+ variable_n.a[10] = 0;
279	+}
280	+
281	+void __attribute__((visibility ("protected"))) baz (void)
282	+{
283	+}