xref: /dflybsd-src/contrib/gcc-8.0/gcc/c-family/c-pragma.c (revision 38fd149817dfbff97799f62fcb70be98c4e32523)
1*38fd1498Szrj /* Handle #pragma, system V.4 style.  Supports #pragma weak and #pragma pack.
2*38fd1498Szrj    Copyright (C) 1992-2018 Free Software Foundation, Inc.
3*38fd1498Szrj 
4*38fd1498Szrj This file is part of GCC.
5*38fd1498Szrj 
6*38fd1498Szrj GCC is free software; you can redistribute it and/or modify it under
7*38fd1498Szrj the terms of the GNU General Public License as published by the Free
8*38fd1498Szrj Software Foundation; either version 3, or (at your option) any later
9*38fd1498Szrj version.
10*38fd1498Szrj 
11*38fd1498Szrj GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12*38fd1498Szrj WARRANTY; without even the implied warranty of MERCHANTABILITY or
13*38fd1498Szrj FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
14*38fd1498Szrj for more details.
15*38fd1498Szrj 
16*38fd1498Szrj You should have received a copy of the GNU General Public License
17*38fd1498Szrj along with GCC; see the file COPYING3.  If not see
18*38fd1498Szrj <http://www.gnu.org/licenses/>.  */
19*38fd1498Szrj 
20*38fd1498Szrj #include "config.h"
21*38fd1498Szrj #include "system.h"
22*38fd1498Szrj #include "coretypes.h"
23*38fd1498Szrj #include "target.h"
24*38fd1498Szrj #include "function.h"		/* For cfun.  */
25*38fd1498Szrj #include "c-common.h"
26*38fd1498Szrj #include "memmodel.h"
27*38fd1498Szrj #include "tm_p.h"		/* For REGISTER_TARGET_PRAGMAS.  */
28*38fd1498Szrj #include "stringpool.h"
29*38fd1498Szrj #include "cgraph.h"
30*38fd1498Szrj #include "diagnostic.h"
31*38fd1498Szrj #include "attribs.h"
32*38fd1498Szrj #include "varasm.h"
33*38fd1498Szrj #include "c-pragma.h"
34*38fd1498Szrj #include "opts.h"
35*38fd1498Szrj #include "plugin.h"
36*38fd1498Szrj 
37*38fd1498Szrj #define GCC_BAD(gmsgid) \
38*38fd1498Szrj   do { warning (OPT_Wpragmas, gmsgid); return; } while (0)
39*38fd1498Szrj #define GCC_BAD2(gmsgid, arg) \
40*38fd1498Szrj   do { warning (OPT_Wpragmas, gmsgid, arg); return; } while (0)
41*38fd1498Szrj 
42*38fd1498Szrj struct GTY(()) align_stack {
43*38fd1498Szrj   int		       alignment;
44*38fd1498Szrj   tree		       id;
45*38fd1498Szrj   struct align_stack * prev;
46*38fd1498Szrj };
47*38fd1498Szrj 
48*38fd1498Szrj static GTY(()) struct align_stack * alignment_stack;
49*38fd1498Szrj 
50*38fd1498Szrj static void handle_pragma_pack (cpp_reader *);
51*38fd1498Szrj 
52*38fd1498Szrj /* If we have a "global" #pragma pack(<n>) in effect when the first
53*38fd1498Szrj    #pragma pack(push,<n>) is encountered, this stores the value of
54*38fd1498Szrj    maximum_field_alignment in effect.  When the final pop_alignment()
55*38fd1498Szrj    happens, we restore the value to this, not to a value of 0 for
56*38fd1498Szrj    maximum_field_alignment.  Value is in bits.  */
57*38fd1498Szrj static int default_alignment;
58*38fd1498Szrj #define SET_GLOBAL_ALIGNMENT(ALIGN) (maximum_field_alignment = *(alignment_stack == NULL \
59*38fd1498Szrj 	? &default_alignment \
60*38fd1498Szrj 	: &alignment_stack->alignment) = (ALIGN))
61*38fd1498Szrj 
62*38fd1498Szrj static void push_alignment (int, tree);
63*38fd1498Szrj static void pop_alignment (tree);
64*38fd1498Szrj 
65*38fd1498Szrj /* Push an alignment value onto the stack.  */
66*38fd1498Szrj static void
push_alignment(int alignment,tree id)67*38fd1498Szrj push_alignment (int alignment, tree id)
68*38fd1498Szrj {
69*38fd1498Szrj   align_stack * entry = ggc_alloc<align_stack> ();
70*38fd1498Szrj 
71*38fd1498Szrj   entry->alignment  = alignment;
72*38fd1498Szrj   entry->id	    = id;
73*38fd1498Szrj   entry->prev	    = alignment_stack;
74*38fd1498Szrj 
75*38fd1498Szrj   /* The current value of maximum_field_alignment is not necessarily
76*38fd1498Szrj      0 since there may be a #pragma pack(<n>) in effect; remember it
77*38fd1498Szrj      so that we can restore it after the final #pragma pop().  */
78*38fd1498Szrj   if (alignment_stack == NULL)
79*38fd1498Szrj     default_alignment = maximum_field_alignment;
80*38fd1498Szrj 
81*38fd1498Szrj   alignment_stack = entry;
82*38fd1498Szrj 
83*38fd1498Szrj   maximum_field_alignment = alignment;
84*38fd1498Szrj }
85*38fd1498Szrj 
86*38fd1498Szrj /* Undo a push of an alignment onto the stack.  */
87*38fd1498Szrj static void
pop_alignment(tree id)88*38fd1498Szrj pop_alignment (tree id)
89*38fd1498Szrj {
90*38fd1498Szrj   align_stack * entry;
91*38fd1498Szrj 
92*38fd1498Szrj   if (alignment_stack == NULL)
93*38fd1498Szrj     GCC_BAD ("#pragma pack (pop) encountered without matching #pragma pack (push)");
94*38fd1498Szrj 
95*38fd1498Szrj   /* If we got an identifier, strip away everything above the target
96*38fd1498Szrj      entry so that the next step will restore the state just below it.  */
97*38fd1498Szrj   if (id)
98*38fd1498Szrj     {
99*38fd1498Szrj       for (entry = alignment_stack; entry; entry = entry->prev)
100*38fd1498Szrj 	if (entry->id == id)
101*38fd1498Szrj 	  {
102*38fd1498Szrj 	    alignment_stack = entry;
103*38fd1498Szrj 	    break;
104*38fd1498Szrj 	  }
105*38fd1498Szrj       if (entry == NULL)
106*38fd1498Szrj 	warning (OPT_Wpragmas, "\
107*38fd1498Szrj #pragma pack(pop, %E) encountered without matching #pragma pack(push, %E)"
108*38fd1498Szrj 		 , id, id);
109*38fd1498Szrj     }
110*38fd1498Szrj 
111*38fd1498Szrj   entry = alignment_stack->prev;
112*38fd1498Szrj 
113*38fd1498Szrj   maximum_field_alignment = entry ? entry->alignment : default_alignment;
114*38fd1498Szrj 
115*38fd1498Szrj   alignment_stack = entry;
116*38fd1498Szrj }
117*38fd1498Szrj 
118*38fd1498Szrj /* #pragma pack ()
119*38fd1498Szrj    #pragma pack (N)
120*38fd1498Szrj 
121*38fd1498Szrj    #pragma pack (push)
122*38fd1498Szrj    #pragma pack (push, N)
123*38fd1498Szrj    #pragma pack (push, ID)
124*38fd1498Szrj    #pragma pack (push, ID, N)
125*38fd1498Szrj    #pragma pack (pop)
126*38fd1498Szrj    #pragma pack (pop, ID) */
127*38fd1498Szrj static void
handle_pragma_pack(cpp_reader * ARG_UNUSED (dummy))128*38fd1498Szrj handle_pragma_pack (cpp_reader * ARG_UNUSED (dummy))
129*38fd1498Szrj {
130*38fd1498Szrj   tree x, id = 0;
131*38fd1498Szrj   int align = -1;
132*38fd1498Szrj   enum cpp_ttype token;
133*38fd1498Szrj   enum { set, push, pop } action;
134*38fd1498Szrj 
135*38fd1498Szrj   if (pragma_lex (&x) != CPP_OPEN_PAREN)
136*38fd1498Szrj     GCC_BAD ("missing %<(%> after %<#pragma pack%> - ignored");
137*38fd1498Szrj 
138*38fd1498Szrj   token = pragma_lex (&x);
139*38fd1498Szrj   if (token == CPP_CLOSE_PAREN)
140*38fd1498Szrj     {
141*38fd1498Szrj       action = set;
142*38fd1498Szrj       align = initial_max_fld_align;
143*38fd1498Szrj     }
144*38fd1498Szrj   else if (token == CPP_NUMBER)
145*38fd1498Szrj     {
146*38fd1498Szrj       if (TREE_CODE (x) != INTEGER_CST)
147*38fd1498Szrj 	GCC_BAD ("invalid constant in %<#pragma pack%> - ignored");
148*38fd1498Szrj       align = TREE_INT_CST_LOW (x);
149*38fd1498Szrj       action = set;
150*38fd1498Szrj       if (pragma_lex (&x) != CPP_CLOSE_PAREN)
151*38fd1498Szrj 	GCC_BAD ("malformed %<#pragma pack%> - ignored");
152*38fd1498Szrj     }
153*38fd1498Szrj   else if (token == CPP_NAME)
154*38fd1498Szrj     {
155*38fd1498Szrj #define GCC_BAD_ACTION do { if (action != pop) \
156*38fd1498Szrj 	  GCC_BAD ("malformed %<#pragma pack(push[, id][, <n>])%> - ignored"); \
157*38fd1498Szrj 	else \
158*38fd1498Szrj 	  GCC_BAD ("malformed %<#pragma pack(pop[, id])%> - ignored"); \
159*38fd1498Szrj 	} while (0)
160*38fd1498Szrj 
161*38fd1498Szrj       const char *op = IDENTIFIER_POINTER (x);
162*38fd1498Szrj       if (!strcmp (op, "push"))
163*38fd1498Szrj 	action = push;
164*38fd1498Szrj       else if (!strcmp (op, "pop"))
165*38fd1498Szrj 	action = pop;
166*38fd1498Szrj       else
167*38fd1498Szrj 	GCC_BAD2 ("unknown action %qE for %<#pragma pack%> - ignored", x);
168*38fd1498Szrj 
169*38fd1498Szrj       while ((token = pragma_lex (&x)) == CPP_COMMA)
170*38fd1498Szrj 	{
171*38fd1498Szrj 	  token = pragma_lex (&x);
172*38fd1498Szrj 	  if (token == CPP_NAME && id == 0)
173*38fd1498Szrj 	    {
174*38fd1498Szrj 	      id = x;
175*38fd1498Szrj 	    }
176*38fd1498Szrj 	  else if (token == CPP_NUMBER && action == push && align == -1)
177*38fd1498Szrj 	    {
178*38fd1498Szrj 	      if (TREE_CODE (x) != INTEGER_CST)
179*38fd1498Szrj 		GCC_BAD ("invalid constant in %<#pragma pack%> - ignored");
180*38fd1498Szrj 	      align = TREE_INT_CST_LOW (x);
181*38fd1498Szrj 	      if (align == -1)
182*38fd1498Szrj 		action = set;
183*38fd1498Szrj 	    }
184*38fd1498Szrj 	  else
185*38fd1498Szrj 	    GCC_BAD_ACTION;
186*38fd1498Szrj 	}
187*38fd1498Szrj 
188*38fd1498Szrj       if (token != CPP_CLOSE_PAREN)
189*38fd1498Szrj 	GCC_BAD_ACTION;
190*38fd1498Szrj #undef GCC_BAD_ACTION
191*38fd1498Szrj     }
192*38fd1498Szrj   else
193*38fd1498Szrj     GCC_BAD ("malformed %<#pragma pack%> - ignored");
194*38fd1498Szrj 
195*38fd1498Szrj   if (pragma_lex (&x) != CPP_EOF)
196*38fd1498Szrj     warning (OPT_Wpragmas, "junk at end of %<#pragma pack%>");
197*38fd1498Szrj 
198*38fd1498Szrj   if (flag_pack_struct)
199*38fd1498Szrj     GCC_BAD ("#pragma pack has no effect with -fpack-struct - ignored");
200*38fd1498Szrj 
201*38fd1498Szrj   if (action != pop)
202*38fd1498Szrj     switch (align)
203*38fd1498Szrj       {
204*38fd1498Szrj       case 0:
205*38fd1498Szrj       case 1:
206*38fd1498Szrj       case 2:
207*38fd1498Szrj       case 4:
208*38fd1498Szrj       case 8:
209*38fd1498Szrj       case 16:
210*38fd1498Szrj 	align *= BITS_PER_UNIT;
211*38fd1498Szrj 	break;
212*38fd1498Szrj       case -1:
213*38fd1498Szrj 	if (action == push)
214*38fd1498Szrj 	  {
215*38fd1498Szrj 	    align = maximum_field_alignment;
216*38fd1498Szrj 	    break;
217*38fd1498Szrj 	  }
218*38fd1498Szrj 	/* FALLTHRU */
219*38fd1498Szrj       default:
220*38fd1498Szrj 	GCC_BAD2 ("alignment must be a small power of two, not %d", align);
221*38fd1498Szrj       }
222*38fd1498Szrj 
223*38fd1498Szrj   switch (action)
224*38fd1498Szrj     {
225*38fd1498Szrj     case set:   SET_GLOBAL_ALIGNMENT (align);  break;
226*38fd1498Szrj     case push:  push_alignment (align, id);    break;
227*38fd1498Szrj     case pop:   pop_alignment (id);	       break;
228*38fd1498Szrj     }
229*38fd1498Szrj }
230*38fd1498Szrj 
231*38fd1498Szrj struct GTY(()) pending_weak
232*38fd1498Szrj {
233*38fd1498Szrj   tree name;
234*38fd1498Szrj   tree value;
235*38fd1498Szrj };
236*38fd1498Szrj 
237*38fd1498Szrj 
238*38fd1498Szrj static GTY(()) vec<pending_weak, va_gc> *pending_weaks;
239*38fd1498Szrj 
240*38fd1498Szrj static void apply_pragma_weak (tree, tree);
241*38fd1498Szrj static void handle_pragma_weak (cpp_reader *);
242*38fd1498Szrj 
243*38fd1498Szrj static void
apply_pragma_weak(tree decl,tree value)244*38fd1498Szrj apply_pragma_weak (tree decl, tree value)
245*38fd1498Szrj {
246*38fd1498Szrj   if (value)
247*38fd1498Szrj     {
248*38fd1498Szrj       value = build_string (IDENTIFIER_LENGTH (value),
249*38fd1498Szrj 			    IDENTIFIER_POINTER (value));
250*38fd1498Szrj       decl_attributes (&decl, build_tree_list (get_identifier ("alias"),
251*38fd1498Szrj 					       build_tree_list (NULL, value)),
252*38fd1498Szrj 		       0);
253*38fd1498Szrj     }
254*38fd1498Szrj 
255*38fd1498Szrj   if (SUPPORTS_WEAK && DECL_EXTERNAL (decl) && TREE_USED (decl)
256*38fd1498Szrj       && !DECL_WEAK (decl) /* Don't complain about a redundant #pragma.  */
257*38fd1498Szrj       && DECL_ASSEMBLER_NAME_SET_P (decl)
258*38fd1498Szrj       && TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
259*38fd1498Szrj     warning (OPT_Wpragmas, "applying #pragma weak %q+D after first use "
260*38fd1498Szrj 	     "results in unspecified behavior", decl);
261*38fd1498Szrj 
262*38fd1498Szrj   declare_weak (decl);
263*38fd1498Szrj }
264*38fd1498Szrj 
265*38fd1498Szrj void
maybe_apply_pragma_weak(tree decl)266*38fd1498Szrj maybe_apply_pragma_weak (tree decl)
267*38fd1498Szrj {
268*38fd1498Szrj   tree id;
269*38fd1498Szrj   int i;
270*38fd1498Szrj   pending_weak *pe;
271*38fd1498Szrj 
272*38fd1498Szrj   /* Avoid asking for DECL_ASSEMBLER_NAME when it's not needed.  */
273*38fd1498Szrj 
274*38fd1498Szrj   /* No weak symbols pending, take the short-cut.  */
275*38fd1498Szrj   if (vec_safe_is_empty (pending_weaks))
276*38fd1498Szrj     return;
277*38fd1498Szrj   /* If it's not visible outside this file, it doesn't matter whether
278*38fd1498Szrj      it's weak.  */
279*38fd1498Szrj   if (!DECL_EXTERNAL (decl) && !TREE_PUBLIC (decl))
280*38fd1498Szrj     return;
281*38fd1498Szrj   /* If it's not a function or a variable, it can't be weak.
282*38fd1498Szrj      FIXME: what kinds of things are visible outside this file but
283*38fd1498Szrj      aren't functions or variables?   Should this be an assert instead?  */
284*38fd1498Szrj   if (!VAR_OR_FUNCTION_DECL_P (decl))
285*38fd1498Szrj     return;
286*38fd1498Szrj 
287*38fd1498Szrj   if (DECL_ASSEMBLER_NAME_SET_P (decl))
288*38fd1498Szrj     id = DECL_ASSEMBLER_NAME (decl);
289*38fd1498Szrj   else
290*38fd1498Szrj     {
291*38fd1498Szrj       id = DECL_ASSEMBLER_NAME (decl);
292*38fd1498Szrj       SET_DECL_ASSEMBLER_NAME (decl, NULL_TREE);
293*38fd1498Szrj     }
294*38fd1498Szrj 
295*38fd1498Szrj   FOR_EACH_VEC_ELT (*pending_weaks, i, pe)
296*38fd1498Szrj     if (id == pe->name)
297*38fd1498Szrj       {
298*38fd1498Szrj 	apply_pragma_weak (decl, pe->value);
299*38fd1498Szrj 	pending_weaks->unordered_remove (i);
300*38fd1498Szrj 	break;
301*38fd1498Szrj       }
302*38fd1498Szrj }
303*38fd1498Szrj 
304*38fd1498Szrj /* Process all "#pragma weak A = B" directives where we have not seen
305*38fd1498Szrj    a decl for A.  */
306*38fd1498Szrj void
maybe_apply_pending_pragma_weaks(void)307*38fd1498Szrj maybe_apply_pending_pragma_weaks (void)
308*38fd1498Szrj {
309*38fd1498Szrj   tree alias_id, id, decl;
310*38fd1498Szrj   int i;
311*38fd1498Szrj   pending_weak *pe;
312*38fd1498Szrj   symtab_node *target;
313*38fd1498Szrj 
314*38fd1498Szrj   if (vec_safe_is_empty (pending_weaks))
315*38fd1498Szrj     return;
316*38fd1498Szrj 
317*38fd1498Szrj   FOR_EACH_VEC_ELT (*pending_weaks, i, pe)
318*38fd1498Szrj     {
319*38fd1498Szrj       alias_id = pe->name;
320*38fd1498Szrj       id = pe->value;
321*38fd1498Szrj 
322*38fd1498Szrj       if (id == NULL)
323*38fd1498Szrj 	continue;
324*38fd1498Szrj 
325*38fd1498Szrj       target = symtab_node::get_for_asmname (id);
326*38fd1498Szrj       decl = build_decl (UNKNOWN_LOCATION,
327*38fd1498Szrj 			 target ? TREE_CODE (target->decl) : FUNCTION_DECL,
328*38fd1498Szrj 			 alias_id, default_function_type);
329*38fd1498Szrj 
330*38fd1498Szrj       DECL_ARTIFICIAL (decl) = 1;
331*38fd1498Szrj       TREE_PUBLIC (decl) = 1;
332*38fd1498Szrj       DECL_WEAK (decl) = 1;
333*38fd1498Szrj       if (VAR_P (decl))
334*38fd1498Szrj 	TREE_STATIC (decl) = 1;
335*38fd1498Szrj       if (!target)
336*38fd1498Szrj 	{
337*38fd1498Szrj 	  error ("%q+D aliased to undefined symbol %qE",
338*38fd1498Szrj 		 decl, id);
339*38fd1498Szrj 	  continue;
340*38fd1498Szrj 	}
341*38fd1498Szrj 
342*38fd1498Szrj       assemble_alias (decl, id);
343*38fd1498Szrj     }
344*38fd1498Szrj }
345*38fd1498Szrj 
346*38fd1498Szrj /* #pragma weak name [= value] */
347*38fd1498Szrj static void
handle_pragma_weak(cpp_reader * ARG_UNUSED (dummy))348*38fd1498Szrj handle_pragma_weak (cpp_reader * ARG_UNUSED (dummy))
349*38fd1498Szrj {
350*38fd1498Szrj   tree name, value, x, decl;
351*38fd1498Szrj   enum cpp_ttype t;
352*38fd1498Szrj 
353*38fd1498Szrj   value = 0;
354*38fd1498Szrj 
355*38fd1498Szrj   if (pragma_lex (&name) != CPP_NAME)
356*38fd1498Szrj     GCC_BAD ("malformed #pragma weak, ignored");
357*38fd1498Szrj   t = pragma_lex (&x);
358*38fd1498Szrj   if (t == CPP_EQ)
359*38fd1498Szrj     {
360*38fd1498Szrj       if (pragma_lex (&value) != CPP_NAME)
361*38fd1498Szrj 	GCC_BAD ("malformed #pragma weak, ignored");
362*38fd1498Szrj       t = pragma_lex (&x);
363*38fd1498Szrj     }
364*38fd1498Szrj   if (t != CPP_EOF)
365*38fd1498Szrj     warning (OPT_Wpragmas, "junk at end of %<#pragma weak%>");
366*38fd1498Szrj 
367*38fd1498Szrj   decl = identifier_global_value (name);
368*38fd1498Szrj   if (decl && DECL_P (decl))
369*38fd1498Szrj     {
370*38fd1498Szrj       if (!VAR_OR_FUNCTION_DECL_P (decl))
371*38fd1498Szrj 	GCC_BAD2 ("%<#pragma weak%> declaration of %q+D not allowed,"
372*38fd1498Szrj 		  " ignored", decl);
373*38fd1498Szrj       apply_pragma_weak (decl, value);
374*38fd1498Szrj       if (value)
375*38fd1498Szrj 	{
376*38fd1498Szrj 	  DECL_EXTERNAL (decl) = 0;
377*38fd1498Szrj 	  if (VAR_P (decl))
378*38fd1498Szrj 	    TREE_STATIC (decl) = 1;
379*38fd1498Szrj 	  assemble_alias (decl, value);
380*38fd1498Szrj 	}
381*38fd1498Szrj     }
382*38fd1498Szrj   else
383*38fd1498Szrj     {
384*38fd1498Szrj       pending_weak pe = {name, value};
385*38fd1498Szrj       vec_safe_push (pending_weaks, pe);
386*38fd1498Szrj     }
387*38fd1498Szrj }
388*38fd1498Szrj 
389*38fd1498Szrj static enum scalar_storage_order_kind global_sso;
390*38fd1498Szrj 
391*38fd1498Szrj void
maybe_apply_pragma_scalar_storage_order(tree type)392*38fd1498Szrj maybe_apply_pragma_scalar_storage_order (tree type)
393*38fd1498Szrj {
394*38fd1498Szrj   if (global_sso == SSO_NATIVE)
395*38fd1498Szrj     return;
396*38fd1498Szrj 
397*38fd1498Szrj   gcc_assert (RECORD_OR_UNION_TYPE_P (type));
398*38fd1498Szrj 
399*38fd1498Szrj   if (lookup_attribute ("scalar_storage_order", TYPE_ATTRIBUTES (type)))
400*38fd1498Szrj     return;
401*38fd1498Szrj 
402*38fd1498Szrj   if (global_sso == SSO_BIG_ENDIAN)
403*38fd1498Szrj     TYPE_REVERSE_STORAGE_ORDER (type) = !BYTES_BIG_ENDIAN;
404*38fd1498Szrj   else if (global_sso == SSO_LITTLE_ENDIAN)
405*38fd1498Szrj     TYPE_REVERSE_STORAGE_ORDER (type) = BYTES_BIG_ENDIAN;
406*38fd1498Szrj   else
407*38fd1498Szrj     gcc_unreachable ();
408*38fd1498Szrj }
409*38fd1498Szrj 
410*38fd1498Szrj static void
handle_pragma_scalar_storage_order(cpp_reader * ARG_UNUSED (dummy))411*38fd1498Szrj handle_pragma_scalar_storage_order (cpp_reader *ARG_UNUSED(dummy))
412*38fd1498Szrj {
413*38fd1498Szrj   const char *kind_string;
414*38fd1498Szrj   enum cpp_ttype token;
415*38fd1498Szrj   tree x;
416*38fd1498Szrj 
417*38fd1498Szrj   if (BYTES_BIG_ENDIAN != WORDS_BIG_ENDIAN)
418*38fd1498Szrj     {
419*38fd1498Szrj       error ("scalar_storage_order is not supported because endianness "
420*38fd1498Szrj 	     "is not uniform");
421*38fd1498Szrj       return;
422*38fd1498Szrj     }
423*38fd1498Szrj 
424*38fd1498Szrj   if (c_dialect_cxx ())
425*38fd1498Szrj     {
426*38fd1498Szrj       if (warn_unknown_pragmas > in_system_header_at (input_location))
427*38fd1498Szrj 	warning (OPT_Wunknown_pragmas,
428*38fd1498Szrj 		 "%<#pragma scalar_storage_order%> is not supported for C++");
429*38fd1498Szrj       return;
430*38fd1498Szrj     }
431*38fd1498Szrj 
432*38fd1498Szrj   token = pragma_lex (&x);
433*38fd1498Szrj   if (token != CPP_NAME)
434*38fd1498Szrj     GCC_BAD ("missing [big-endian|little-endian|default] after %<#pragma scalar_storage_order%>");
435*38fd1498Szrj   kind_string = IDENTIFIER_POINTER (x);
436*38fd1498Szrj   if (strcmp (kind_string, "default") == 0)
437*38fd1498Szrj     global_sso = default_sso;
438*38fd1498Szrj   else if (strcmp (kind_string, "big") == 0)
439*38fd1498Szrj     global_sso = SSO_BIG_ENDIAN;
440*38fd1498Szrj   else if (strcmp (kind_string, "little") == 0)
441*38fd1498Szrj     global_sso = SSO_LITTLE_ENDIAN;
442*38fd1498Szrj   else
443*38fd1498Szrj     GCC_BAD ("expected [big-endian|little-endian|default] after %<#pragma scalar_storage_order%>");
444*38fd1498Szrj }
445*38fd1498Szrj 
446*38fd1498Szrj /* GCC supports two #pragma directives for renaming the external
447*38fd1498Szrj    symbol associated with a declaration (DECL_ASSEMBLER_NAME), for
448*38fd1498Szrj    compatibility with the Solaris and VMS system headers.  GCC also
449*38fd1498Szrj    has its own notation for this, __asm__("name") annotations.
450*38fd1498Szrj 
451*38fd1498Szrj    Corner cases of these features and their interaction:
452*38fd1498Szrj 
453*38fd1498Szrj    1) Both pragmas silently apply only to declarations with external
454*38fd1498Szrj       linkage (that is, TREE_PUBLIC || DECL_EXTERNAL).  Asm labels
455*38fd1498Szrj       do not have this restriction.
456*38fd1498Szrj 
457*38fd1498Szrj    2) In C++, both #pragmas silently apply only to extern "C" declarations.
458*38fd1498Szrj       Asm labels do not have this restriction.
459*38fd1498Szrj 
460*38fd1498Szrj    3) If any of the three ways of changing DECL_ASSEMBLER_NAME is
461*38fd1498Szrj       applied to a decl whose DECL_ASSEMBLER_NAME is already set, and the
462*38fd1498Szrj       new name is different, a warning issues and the name does not change.
463*38fd1498Szrj 
464*38fd1498Szrj    4) The "source name" for #pragma redefine_extname is the DECL_NAME,
465*38fd1498Szrj       *not* the DECL_ASSEMBLER_NAME.
466*38fd1498Szrj 
467*38fd1498Szrj    5) If #pragma extern_prefix is in effect and a declaration occurs
468*38fd1498Szrj       with an __asm__ name, the #pragma extern_prefix is silently
469*38fd1498Szrj       ignored for that declaration.
470*38fd1498Szrj 
471*38fd1498Szrj    6) If #pragma extern_prefix and #pragma redefine_extname apply to
472*38fd1498Szrj       the same declaration, whichever triggered first wins, and a warning
473*38fd1498Szrj       is issued.  (We would like to have #pragma redefine_extname always
474*38fd1498Szrj       win, but it can appear either before or after the declaration, and
475*38fd1498Szrj       if it appears afterward, we have no way of knowing whether a modified
476*38fd1498Szrj       DECL_ASSEMBLER_NAME is due to #pragma extern_prefix.)  */
477*38fd1498Szrj 
478*38fd1498Szrj struct GTY(()) pending_redefinition {
479*38fd1498Szrj   tree oldname;
480*38fd1498Szrj   tree newname;
481*38fd1498Szrj };
482*38fd1498Szrj 
483*38fd1498Szrj 
484*38fd1498Szrj static GTY(()) vec<pending_redefinition, va_gc> *pending_redefine_extname;
485*38fd1498Szrj 
486*38fd1498Szrj static void handle_pragma_redefine_extname (cpp_reader *);
487*38fd1498Szrj 
488*38fd1498Szrj /* #pragma redefine_extname oldname newname */
489*38fd1498Szrj static void
handle_pragma_redefine_extname(cpp_reader * ARG_UNUSED (dummy))490*38fd1498Szrj handle_pragma_redefine_extname (cpp_reader * ARG_UNUSED (dummy))
491*38fd1498Szrj {
492*38fd1498Szrj   tree oldname, newname, decls, x;
493*38fd1498Szrj   enum cpp_ttype t;
494*38fd1498Szrj   bool found;
495*38fd1498Szrj 
496*38fd1498Szrj   if (pragma_lex (&oldname) != CPP_NAME)
497*38fd1498Szrj     GCC_BAD ("malformed #pragma redefine_extname, ignored");
498*38fd1498Szrj   if (pragma_lex (&newname) != CPP_NAME)
499*38fd1498Szrj     GCC_BAD ("malformed #pragma redefine_extname, ignored");
500*38fd1498Szrj   t = pragma_lex (&x);
501*38fd1498Szrj   if (t != CPP_EOF)
502*38fd1498Szrj     warning (OPT_Wpragmas, "junk at end of %<#pragma redefine_extname%>");
503*38fd1498Szrj 
504*38fd1498Szrj   found = false;
505*38fd1498Szrj   for (decls = c_linkage_bindings (oldname);
506*38fd1498Szrj        decls; )
507*38fd1498Szrj     {
508*38fd1498Szrj       tree decl;
509*38fd1498Szrj       if (TREE_CODE (decls) == TREE_LIST)
510*38fd1498Szrj 	{
511*38fd1498Szrj 	  decl = TREE_VALUE (decls);
512*38fd1498Szrj 	  decls = TREE_CHAIN (decls);
513*38fd1498Szrj 	}
514*38fd1498Szrj       else
515*38fd1498Szrj 	{
516*38fd1498Szrj 	  decl = decls;
517*38fd1498Szrj 	  decls = NULL_TREE;
518*38fd1498Szrj 	}
519*38fd1498Szrj 
520*38fd1498Szrj       if ((TREE_PUBLIC (decl) || DECL_EXTERNAL (decl))
521*38fd1498Szrj 	  && VAR_OR_FUNCTION_DECL_P (decl))
522*38fd1498Szrj 	{
523*38fd1498Szrj 	  found = true;
524*38fd1498Szrj 	  if (DECL_ASSEMBLER_NAME_SET_P (decl))
525*38fd1498Szrj 	    {
526*38fd1498Szrj 	      const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
527*38fd1498Szrj 	      name = targetm.strip_name_encoding (name);
528*38fd1498Szrj 
529*38fd1498Szrj 	      if (!id_equal (newname, name))
530*38fd1498Szrj 		warning (OPT_Wpragmas, "#pragma redefine_extname ignored due to "
531*38fd1498Szrj 			 "conflict with previous rename");
532*38fd1498Szrj 	    }
533*38fd1498Szrj 	  else
534*38fd1498Szrj 	    symtab->change_decl_assembler_name (decl, newname);
535*38fd1498Szrj 	}
536*38fd1498Szrj     }
537*38fd1498Szrj 
538*38fd1498Szrj   if (!found)
539*38fd1498Szrj     /* We have to add this to the rename list even if there's already
540*38fd1498Szrj        a global value that doesn't meet the above criteria, because in
541*38fd1498Szrj        C++ "struct foo {...};" puts "foo" in the current namespace but
542*38fd1498Szrj        does *not* conflict with a subsequent declaration of a function
543*38fd1498Szrj        or variable foo.  See g++.dg/other/pragma-re-2.C.  */
544*38fd1498Szrj     add_to_renaming_pragma_list (oldname, newname);
545*38fd1498Szrj }
546*38fd1498Szrj 
547*38fd1498Szrj /* This is called from here and from ia64-c.c.  */
548*38fd1498Szrj void
add_to_renaming_pragma_list(tree oldname,tree newname)549*38fd1498Szrj add_to_renaming_pragma_list (tree oldname, tree newname)
550*38fd1498Szrj {
551*38fd1498Szrj   unsigned ix;
552*38fd1498Szrj   pending_redefinition *p;
553*38fd1498Szrj 
554*38fd1498Szrj   FOR_EACH_VEC_SAFE_ELT (pending_redefine_extname, ix, p)
555*38fd1498Szrj     if (oldname == p->oldname)
556*38fd1498Szrj       {
557*38fd1498Szrj 	if (p->newname != newname)
558*38fd1498Szrj 	  warning (OPT_Wpragmas, "#pragma redefine_extname ignored due to "
559*38fd1498Szrj 		   "conflict with previous #pragma redefine_extname");
560*38fd1498Szrj 	return;
561*38fd1498Szrj       }
562*38fd1498Szrj 
563*38fd1498Szrj   pending_redefinition e = {oldname, newname};
564*38fd1498Szrj   vec_safe_push (pending_redefine_extname, e);
565*38fd1498Szrj }
566*38fd1498Szrj 
567*38fd1498Szrj /* The current prefix set by #pragma extern_prefix.  */
568*38fd1498Szrj GTY(()) tree pragma_extern_prefix;
569*38fd1498Szrj 
570*38fd1498Szrj /* Hook from the front ends to apply the results of one of the preceding
571*38fd1498Szrj    pragmas that rename variables.  */
572*38fd1498Szrj 
573*38fd1498Szrj tree
maybe_apply_renaming_pragma(tree decl,tree asmname)574*38fd1498Szrj maybe_apply_renaming_pragma (tree decl, tree asmname)
575*38fd1498Szrj {
576*38fd1498Szrj   unsigned ix;
577*38fd1498Szrj   pending_redefinition *p;
578*38fd1498Szrj 
579*38fd1498Szrj   /* The renaming pragmas are only applied to declarations with
580*38fd1498Szrj      external linkage.  */
581*38fd1498Szrj   if (!VAR_OR_FUNCTION_DECL_P (decl)
582*38fd1498Szrj       || (!TREE_PUBLIC (decl) && !DECL_EXTERNAL (decl))
583*38fd1498Szrj       || !has_c_linkage (decl))
584*38fd1498Szrj     return asmname;
585*38fd1498Szrj 
586*38fd1498Szrj   /* If the DECL_ASSEMBLER_NAME is already set, it does not change,
587*38fd1498Szrj      but we may warn about a rename that conflicts.  */
588*38fd1498Szrj   if (DECL_ASSEMBLER_NAME_SET_P (decl))
589*38fd1498Szrj     {
590*38fd1498Szrj       const char *oldname = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
591*38fd1498Szrj       oldname = targetm.strip_name_encoding (oldname);
592*38fd1498Szrj 
593*38fd1498Szrj       if (asmname && strcmp (TREE_STRING_POINTER (asmname), oldname))
594*38fd1498Szrj 	  warning (OPT_Wpragmas, "asm declaration ignored due to "
595*38fd1498Szrj 		   "conflict with previous rename");
596*38fd1498Szrj 
597*38fd1498Szrj       /* Take any pending redefine_extname off the list.  */
598*38fd1498Szrj       FOR_EACH_VEC_SAFE_ELT (pending_redefine_extname, ix, p)
599*38fd1498Szrj 	if (DECL_NAME (decl) == p->oldname)
600*38fd1498Szrj 	  {
601*38fd1498Szrj 	    /* Only warn if there is a conflict.  */
602*38fd1498Szrj 	    if (!id_equal (p->newname, oldname))
603*38fd1498Szrj 	      warning (OPT_Wpragmas, "#pragma redefine_extname ignored due to "
604*38fd1498Szrj 		       "conflict with previous rename");
605*38fd1498Szrj 
606*38fd1498Szrj 	    pending_redefine_extname->unordered_remove (ix);
607*38fd1498Szrj 	    break;
608*38fd1498Szrj 	  }
609*38fd1498Szrj       return NULL_TREE;
610*38fd1498Szrj     }
611*38fd1498Szrj 
612*38fd1498Szrj   /* Find out if we have a pending #pragma redefine_extname.  */
613*38fd1498Szrj   FOR_EACH_VEC_SAFE_ELT (pending_redefine_extname, ix, p)
614*38fd1498Szrj     if (DECL_NAME (decl) == p->oldname)
615*38fd1498Szrj       {
616*38fd1498Szrj 	tree newname = p->newname;
617*38fd1498Szrj 	pending_redefine_extname->unordered_remove (ix);
618*38fd1498Szrj 
619*38fd1498Szrj 	/* If we already have an asmname, #pragma redefine_extname is
620*38fd1498Szrj 	   ignored (with a warning if it conflicts).  */
621*38fd1498Szrj 	if (asmname)
622*38fd1498Szrj 	  {
623*38fd1498Szrj 	    if (strcmp (TREE_STRING_POINTER (asmname),
624*38fd1498Szrj 			IDENTIFIER_POINTER (newname)) != 0)
625*38fd1498Szrj 	      warning (OPT_Wpragmas, "#pragma redefine_extname ignored due to "
626*38fd1498Szrj 		       "conflict with __asm__ declaration");
627*38fd1498Szrj 	    return asmname;
628*38fd1498Szrj 	  }
629*38fd1498Szrj 
630*38fd1498Szrj 	/* Otherwise we use what we've got; #pragma extern_prefix is
631*38fd1498Szrj 	   silently ignored.  */
632*38fd1498Szrj 	return build_string (IDENTIFIER_LENGTH (newname),
633*38fd1498Szrj 			     IDENTIFIER_POINTER (newname));
634*38fd1498Szrj       }
635*38fd1498Szrj 
636*38fd1498Szrj   /* If we've got an asmname, #pragma extern_prefix is silently ignored.  */
637*38fd1498Szrj   if (asmname)
638*38fd1498Szrj     return asmname;
639*38fd1498Szrj 
640*38fd1498Szrj   /* If #pragma extern_prefix is in effect, apply it.  */
641*38fd1498Szrj   if (pragma_extern_prefix)
642*38fd1498Szrj     {
643*38fd1498Szrj       const char *prefix = TREE_STRING_POINTER (pragma_extern_prefix);
644*38fd1498Szrj       size_t plen = TREE_STRING_LENGTH (pragma_extern_prefix) - 1;
645*38fd1498Szrj 
646*38fd1498Szrj       const char *id = IDENTIFIER_POINTER (DECL_NAME (decl));
647*38fd1498Szrj       size_t ilen = IDENTIFIER_LENGTH (DECL_NAME (decl));
648*38fd1498Szrj 
649*38fd1498Szrj       char *newname = (char *) alloca (plen + ilen + 1);
650*38fd1498Szrj 
651*38fd1498Szrj       memcpy (newname,        prefix, plen);
652*38fd1498Szrj       memcpy (newname + plen, id, ilen + 1);
653*38fd1498Szrj 
654*38fd1498Szrj       return build_string (plen + ilen, newname);
655*38fd1498Szrj     }
656*38fd1498Szrj 
657*38fd1498Szrj   /* Nada.  */
658*38fd1498Szrj   return NULL_TREE;
659*38fd1498Szrj }
660*38fd1498Szrj 
661*38fd1498Szrj 
662*38fd1498Szrj static void handle_pragma_visibility (cpp_reader *);
663*38fd1498Szrj 
664*38fd1498Szrj static vec<int> visstack;
665*38fd1498Szrj 
666*38fd1498Szrj /* Push the visibility indicated by STR onto the top of the #pragma
667*38fd1498Szrj    visibility stack.  KIND is 0 for #pragma GCC visibility, 1 for
668*38fd1498Szrj    C++ namespace with visibility attribute and 2 for C++ builtin
669*38fd1498Szrj    ABI namespace.  push_visibility/pop_visibility calls must have
670*38fd1498Szrj    matching KIND, it is not allowed to push visibility using one
671*38fd1498Szrj    KIND and pop using a different one.  */
672*38fd1498Szrj 
673*38fd1498Szrj void
push_visibility(const char * str,int kind)674*38fd1498Szrj push_visibility (const char *str, int kind)
675*38fd1498Szrj {
676*38fd1498Szrj   visstack.safe_push (((int) default_visibility) | (kind << 8));
677*38fd1498Szrj   if (!strcmp (str, "default"))
678*38fd1498Szrj     default_visibility = VISIBILITY_DEFAULT;
679*38fd1498Szrj   else if (!strcmp (str, "internal"))
680*38fd1498Szrj     default_visibility = VISIBILITY_INTERNAL;
681*38fd1498Szrj   else if (!strcmp (str, "hidden"))
682*38fd1498Szrj     default_visibility = VISIBILITY_HIDDEN;
683*38fd1498Szrj   else if (!strcmp (str, "protected"))
684*38fd1498Szrj     default_visibility = VISIBILITY_PROTECTED;
685*38fd1498Szrj   else
686*38fd1498Szrj     GCC_BAD ("#pragma GCC visibility push() must specify default, internal, hidden or protected");
687*38fd1498Szrj   visibility_options.inpragma = 1;
688*38fd1498Szrj }
689*38fd1498Szrj 
690*38fd1498Szrj /* Pop a level of the #pragma visibility stack.  Return true if
691*38fd1498Szrj    successful.  */
692*38fd1498Szrj 
693*38fd1498Szrj bool
pop_visibility(int kind)694*38fd1498Szrj pop_visibility (int kind)
695*38fd1498Szrj {
696*38fd1498Szrj   if (!visstack.length ())
697*38fd1498Szrj     return false;
698*38fd1498Szrj   if ((visstack.last () >> 8) != kind)
699*38fd1498Szrj     return false;
700*38fd1498Szrj   default_visibility
701*38fd1498Szrj     = (enum symbol_visibility) (visstack.pop () & 0xff);
702*38fd1498Szrj   visibility_options.inpragma
703*38fd1498Szrj     = visstack.length () != 0;
704*38fd1498Szrj   return true;
705*38fd1498Szrj }
706*38fd1498Szrj 
707*38fd1498Szrj /* Sets the default visibility for symbols to something other than that
708*38fd1498Szrj    specified on the command line.  */
709*38fd1498Szrj 
710*38fd1498Szrj static void
handle_pragma_visibility(cpp_reader * dummy ATTRIBUTE_UNUSED)711*38fd1498Szrj handle_pragma_visibility (cpp_reader *dummy ATTRIBUTE_UNUSED)
712*38fd1498Szrj {
713*38fd1498Szrj   /* Form is #pragma GCC visibility push(hidden)|pop */
714*38fd1498Szrj   tree x;
715*38fd1498Szrj   enum cpp_ttype token;
716*38fd1498Szrj   enum { bad, push, pop } action = bad;
717*38fd1498Szrj 
718*38fd1498Szrj   token = pragma_lex (&x);
719*38fd1498Szrj   if (token == CPP_NAME)
720*38fd1498Szrj     {
721*38fd1498Szrj       const char *op = IDENTIFIER_POINTER (x);
722*38fd1498Szrj       if (!strcmp (op, "push"))
723*38fd1498Szrj 	action = push;
724*38fd1498Szrj       else if (!strcmp (op, "pop"))
725*38fd1498Szrj 	action = pop;
726*38fd1498Szrj     }
727*38fd1498Szrj   if (bad == action)
728*38fd1498Szrj     GCC_BAD ("#pragma GCC visibility must be followed by push or pop");
729*38fd1498Szrj   else
730*38fd1498Szrj     {
731*38fd1498Szrj       if (pop == action)
732*38fd1498Szrj 	{
733*38fd1498Szrj 	  if (! pop_visibility (0))
734*38fd1498Szrj 	    GCC_BAD ("no matching push for %<#pragma GCC visibility pop%>");
735*38fd1498Szrj 	}
736*38fd1498Szrj       else
737*38fd1498Szrj 	{
738*38fd1498Szrj 	  if (pragma_lex (&x) != CPP_OPEN_PAREN)
739*38fd1498Szrj 	    GCC_BAD ("missing %<(%> after %<#pragma GCC visibility push%> - ignored");
740*38fd1498Szrj 	  token = pragma_lex (&x);
741*38fd1498Szrj 	  if (token != CPP_NAME)
742*38fd1498Szrj 	    GCC_BAD ("malformed #pragma GCC visibility push");
743*38fd1498Szrj 	  else
744*38fd1498Szrj 	    push_visibility (IDENTIFIER_POINTER (x), 0);
745*38fd1498Szrj 	  if (pragma_lex (&x) != CPP_CLOSE_PAREN)
746*38fd1498Szrj 	    GCC_BAD ("missing %<(%> after %<#pragma GCC visibility push%> - ignored");
747*38fd1498Szrj 	}
748*38fd1498Szrj     }
749*38fd1498Szrj   if (pragma_lex (&x) != CPP_EOF)
750*38fd1498Szrj     warning (OPT_Wpragmas, "junk at end of %<#pragma GCC visibility%>");
751*38fd1498Szrj }
752*38fd1498Szrj 
753*38fd1498Szrj static void
handle_pragma_diagnostic(cpp_reader * ARG_UNUSED (dummy))754*38fd1498Szrj handle_pragma_diagnostic(cpp_reader *ARG_UNUSED(dummy))
755*38fd1498Szrj {
756*38fd1498Szrj   tree x;
757*38fd1498Szrj   location_t loc;
758*38fd1498Szrj   enum cpp_ttype token = pragma_lex (&x, &loc);
759*38fd1498Szrj   if (token != CPP_NAME)
760*38fd1498Szrj     {
761*38fd1498Szrj       warning_at (loc, OPT_Wpragmas,
762*38fd1498Szrj 		  "missing [error|warning|ignored|push|pop]"
763*38fd1498Szrj 		  " after %<#pragma GCC diagnostic%>");
764*38fd1498Szrj       return;
765*38fd1498Szrj     }
766*38fd1498Szrj 
767*38fd1498Szrj   diagnostic_t kind;
768*38fd1498Szrj   const char *kind_string = IDENTIFIER_POINTER (x);
769*38fd1498Szrj   if (strcmp (kind_string, "error") == 0)
770*38fd1498Szrj     kind = DK_ERROR;
771*38fd1498Szrj   else if (strcmp (kind_string, "warning") == 0)
772*38fd1498Szrj     kind = DK_WARNING;
773*38fd1498Szrj   else if (strcmp (kind_string, "ignored") == 0)
774*38fd1498Szrj     kind = DK_IGNORED;
775*38fd1498Szrj   else if (strcmp (kind_string, "push") == 0)
776*38fd1498Szrj     {
777*38fd1498Szrj       diagnostic_push_diagnostics (global_dc, input_location);
778*38fd1498Szrj       return;
779*38fd1498Szrj     }
780*38fd1498Szrj   else if (strcmp (kind_string, "pop") == 0)
781*38fd1498Szrj     {
782*38fd1498Szrj       diagnostic_pop_diagnostics (global_dc, input_location);
783*38fd1498Szrj       return;
784*38fd1498Szrj     }
785*38fd1498Szrj   else
786*38fd1498Szrj     {
787*38fd1498Szrj       warning_at (loc, OPT_Wpragmas,
788*38fd1498Szrj 		  "expected [error|warning|ignored|push|pop]"
789*38fd1498Szrj 		  " after %<#pragma GCC diagnostic%>");
790*38fd1498Szrj       return;
791*38fd1498Szrj     }
792*38fd1498Szrj 
793*38fd1498Szrj   token = pragma_lex (&x, &loc);
794*38fd1498Szrj   if (token != CPP_STRING)
795*38fd1498Szrj     {
796*38fd1498Szrj       warning_at (loc, OPT_Wpragmas,
797*38fd1498Szrj 		  "missing option after %<#pragma GCC diagnostic%> kind");
798*38fd1498Szrj       return;
799*38fd1498Szrj     }
800*38fd1498Szrj 
801*38fd1498Szrj   const char *option_string = TREE_STRING_POINTER (x);
802*38fd1498Szrj   unsigned int lang_mask = c_common_option_lang_mask () | CL_COMMON;
803*38fd1498Szrj   /* option_string + 1 to skip the initial '-' */
804*38fd1498Szrj   unsigned int option_index = find_opt (option_string + 1, lang_mask);
805*38fd1498Szrj   if (option_index == OPT_SPECIAL_unknown)
806*38fd1498Szrj     {
807*38fd1498Szrj       warning_at (loc, OPT_Wpragmas,
808*38fd1498Szrj 		  "unknown option after %<#pragma GCC diagnostic%> kind");
809*38fd1498Szrj       return;
810*38fd1498Szrj     }
811*38fd1498Szrj   else if (!(cl_options[option_index].flags & CL_WARNING))
812*38fd1498Szrj     {
813*38fd1498Szrj       warning_at (loc, OPT_Wpragmas,
814*38fd1498Szrj 		  "%qs is not an option that controls warnings", option_string);
815*38fd1498Szrj       return;
816*38fd1498Szrj     }
817*38fd1498Szrj   else if (!(cl_options[option_index].flags & lang_mask))
818*38fd1498Szrj     {
819*38fd1498Szrj       char *ok_langs = write_langs (cl_options[option_index].flags);
820*38fd1498Szrj       char *bad_lang = write_langs (c_common_option_lang_mask ());
821*38fd1498Szrj       warning_at (loc, OPT_Wpragmas,
822*38fd1498Szrj 		  "option %qs is valid for %s but not for %s",
823*38fd1498Szrj 		  option_string, ok_langs, bad_lang);
824*38fd1498Szrj       free (ok_langs);
825*38fd1498Szrj       free (bad_lang);
826*38fd1498Szrj       return;
827*38fd1498Szrj     }
828*38fd1498Szrj 
829*38fd1498Szrj   struct cl_option_handlers handlers;
830*38fd1498Szrj   set_default_handlers (&handlers, NULL);
831*38fd1498Szrj   const char *arg = NULL;
832*38fd1498Szrj   if (cl_options[option_index].flags & CL_JOINED)
833*38fd1498Szrj     arg = option_string + 1 + cl_options[option_index].opt_len;
834*38fd1498Szrj   /* FIXME: input_location isn't the best location here, but it is
835*38fd1498Szrj      what we used to do here before and changing it breaks e.g.
836*38fd1498Szrj      PR69543 and PR69558.  */
837*38fd1498Szrj   control_warning_option (option_index, (int) kind,
838*38fd1498Szrj 			  arg, kind != DK_IGNORED,
839*38fd1498Szrj 			  input_location, lang_mask, &handlers,
840*38fd1498Szrj 			  &global_options, &global_options_set,
841*38fd1498Szrj 			  global_dc);
842*38fd1498Szrj }
843*38fd1498Szrj 
844*38fd1498Szrj /*  Parse #pragma GCC target (xxx) to set target specific options.  */
845*38fd1498Szrj static void
handle_pragma_target(cpp_reader * ARG_UNUSED (dummy))846*38fd1498Szrj handle_pragma_target(cpp_reader *ARG_UNUSED(dummy))
847*38fd1498Szrj {
848*38fd1498Szrj   enum cpp_ttype token;
849*38fd1498Szrj   tree x;
850*38fd1498Szrj   bool close_paren_needed_p = false;
851*38fd1498Szrj 
852*38fd1498Szrj   if (cfun)
853*38fd1498Szrj     {
854*38fd1498Szrj       error ("#pragma GCC option is not allowed inside functions");
855*38fd1498Szrj       return;
856*38fd1498Szrj     }
857*38fd1498Szrj 
858*38fd1498Szrj   token = pragma_lex (&x);
859*38fd1498Szrj   if (token == CPP_OPEN_PAREN)
860*38fd1498Szrj     {
861*38fd1498Szrj       close_paren_needed_p = true;
862*38fd1498Szrj       token = pragma_lex (&x);
863*38fd1498Szrj     }
864*38fd1498Szrj 
865*38fd1498Szrj   if (token != CPP_STRING)
866*38fd1498Szrj     {
867*38fd1498Szrj       GCC_BAD ("%<#pragma GCC option%> is not a string");
868*38fd1498Szrj       return;
869*38fd1498Szrj     }
870*38fd1498Szrj 
871*38fd1498Szrj   /* Strings are user options.  */
872*38fd1498Szrj   else
873*38fd1498Szrj     {
874*38fd1498Szrj       tree args = NULL_TREE;
875*38fd1498Szrj 
876*38fd1498Szrj       do
877*38fd1498Szrj 	{
878*38fd1498Szrj 	  /* Build up the strings now as a tree linked list.  Skip empty
879*38fd1498Szrj 	     strings.  */
880*38fd1498Szrj 	  if (TREE_STRING_LENGTH (x) > 0)
881*38fd1498Szrj 	    args = tree_cons (NULL_TREE, x, args);
882*38fd1498Szrj 
883*38fd1498Szrj 	  token = pragma_lex (&x);
884*38fd1498Szrj 	  while (token == CPP_COMMA)
885*38fd1498Szrj 	    token = pragma_lex (&x);
886*38fd1498Szrj 	}
887*38fd1498Szrj       while (token == CPP_STRING);
888*38fd1498Szrj 
889*38fd1498Szrj       if (close_paren_needed_p)
890*38fd1498Szrj 	{
891*38fd1498Szrj 	  if (token == CPP_CLOSE_PAREN)
892*38fd1498Szrj 	    token = pragma_lex (&x);
893*38fd1498Szrj 	  else
894*38fd1498Szrj 	    GCC_BAD ("%<#pragma GCC target (string [,string]...)%> does "
895*38fd1498Szrj 		     "not have a final %<)%>");
896*38fd1498Szrj 	}
897*38fd1498Szrj 
898*38fd1498Szrj       if (token != CPP_EOF)
899*38fd1498Szrj 	{
900*38fd1498Szrj 	  error ("#pragma GCC target string... is badly formed");
901*38fd1498Szrj 	  return;
902*38fd1498Szrj 	}
903*38fd1498Szrj 
904*38fd1498Szrj       /* put arguments in the order the user typed them.  */
905*38fd1498Szrj       args = nreverse (args);
906*38fd1498Szrj 
907*38fd1498Szrj       if (targetm.target_option.pragma_parse (args, NULL_TREE))
908*38fd1498Szrj 	current_target_pragma = chainon (current_target_pragma, args);
909*38fd1498Szrj     }
910*38fd1498Szrj }
911*38fd1498Szrj 
912*38fd1498Szrj /* Handle #pragma GCC optimize to set optimization options.  */
913*38fd1498Szrj static void
handle_pragma_optimize(cpp_reader * ARG_UNUSED (dummy))914*38fd1498Szrj handle_pragma_optimize (cpp_reader *ARG_UNUSED(dummy))
915*38fd1498Szrj {
916*38fd1498Szrj   enum cpp_ttype token;
917*38fd1498Szrj   tree x;
918*38fd1498Szrj   bool close_paren_needed_p = false;
919*38fd1498Szrj   tree optimization_previous_node = optimization_current_node;
920*38fd1498Szrj 
921*38fd1498Szrj   if (cfun)
922*38fd1498Szrj     {
923*38fd1498Szrj       error ("#pragma GCC optimize is not allowed inside functions");
924*38fd1498Szrj       return;
925*38fd1498Szrj     }
926*38fd1498Szrj 
927*38fd1498Szrj   token = pragma_lex (&x);
928*38fd1498Szrj   if (token == CPP_OPEN_PAREN)
929*38fd1498Szrj     {
930*38fd1498Szrj       close_paren_needed_p = true;
931*38fd1498Szrj       token = pragma_lex (&x);
932*38fd1498Szrj     }
933*38fd1498Szrj 
934*38fd1498Szrj   if (token != CPP_STRING && token != CPP_NUMBER)
935*38fd1498Szrj     {
936*38fd1498Szrj       GCC_BAD ("%<#pragma GCC optimize%> is not a string or number");
937*38fd1498Szrj       return;
938*38fd1498Szrj     }
939*38fd1498Szrj 
940*38fd1498Szrj   /* Strings/numbers are user options.  */
941*38fd1498Szrj   else
942*38fd1498Szrj     {
943*38fd1498Szrj       tree args = NULL_TREE;
944*38fd1498Szrj 
945*38fd1498Szrj       do
946*38fd1498Szrj 	{
947*38fd1498Szrj 	  /* Build up the numbers/strings now as a list.  */
948*38fd1498Szrj 	  if (token != CPP_STRING || TREE_STRING_LENGTH (x) > 0)
949*38fd1498Szrj 	    args = tree_cons (NULL_TREE, x, args);
950*38fd1498Szrj 
951*38fd1498Szrj 	  token = pragma_lex (&x);
952*38fd1498Szrj 	  while (token == CPP_COMMA)
953*38fd1498Szrj 	    token = pragma_lex (&x);
954*38fd1498Szrj 	}
955*38fd1498Szrj       while (token == CPP_STRING || token == CPP_NUMBER);
956*38fd1498Szrj 
957*38fd1498Szrj       if (close_paren_needed_p)
958*38fd1498Szrj 	{
959*38fd1498Szrj 	  if (token == CPP_CLOSE_PAREN)
960*38fd1498Szrj 	    token = pragma_lex (&x);
961*38fd1498Szrj 	  else
962*38fd1498Szrj 	    GCC_BAD ("%<#pragma GCC optimize (string [,string]...)%> does "
963*38fd1498Szrj 		     "not have a final %<)%>");
964*38fd1498Szrj 	}
965*38fd1498Szrj 
966*38fd1498Szrj       if (token != CPP_EOF)
967*38fd1498Szrj 	{
968*38fd1498Szrj 	  error ("#pragma GCC optimize string... is badly formed");
969*38fd1498Szrj 	  return;
970*38fd1498Szrj 	}
971*38fd1498Szrj 
972*38fd1498Szrj       /* put arguments in the order the user typed them.  */
973*38fd1498Szrj       args = nreverse (args);
974*38fd1498Szrj 
975*38fd1498Szrj       parse_optimize_options (args, false);
976*38fd1498Szrj       current_optimize_pragma = chainon (current_optimize_pragma, args);
977*38fd1498Szrj       optimization_current_node = build_optimization_node (&global_options);
978*38fd1498Szrj       c_cpp_builtins_optimize_pragma (parse_in,
979*38fd1498Szrj 				      optimization_previous_node,
980*38fd1498Szrj 				      optimization_current_node);
981*38fd1498Szrj     }
982*38fd1498Szrj }
983*38fd1498Szrj 
984*38fd1498Szrj /* Stack of the #pragma GCC options created with #pragma GCC push_option.  Save
985*38fd1498Szrj    both the binary representation of the options and the TREE_LIST of
986*38fd1498Szrj    strings that will be added to the function's attribute list.  */
987*38fd1498Szrj struct GTY(()) opt_stack {
988*38fd1498Szrj   struct opt_stack *prev;
989*38fd1498Szrj   tree target_binary;
990*38fd1498Szrj   tree target_strings;
991*38fd1498Szrj   tree optimize_binary;
992*38fd1498Szrj   tree optimize_strings;
993*38fd1498Szrj };
994*38fd1498Szrj 
995*38fd1498Szrj static GTY(()) struct opt_stack * options_stack;
996*38fd1498Szrj 
997*38fd1498Szrj /* Handle #pragma GCC push_options to save the current target and optimization
998*38fd1498Szrj    options.  */
999*38fd1498Szrj 
1000*38fd1498Szrj static void
handle_pragma_push_options(cpp_reader * ARG_UNUSED (dummy))1001*38fd1498Szrj handle_pragma_push_options (cpp_reader *ARG_UNUSED(dummy))
1002*38fd1498Szrj {
1003*38fd1498Szrj   enum cpp_ttype token;
1004*38fd1498Szrj   tree x = 0;
1005*38fd1498Szrj 
1006*38fd1498Szrj   token = pragma_lex (&x);
1007*38fd1498Szrj   if (token != CPP_EOF)
1008*38fd1498Szrj     {
1009*38fd1498Szrj       warning (OPT_Wpragmas, "junk at end of %<#pragma push_options%>");
1010*38fd1498Szrj       return;
1011*38fd1498Szrj     }
1012*38fd1498Szrj 
1013*38fd1498Szrj   opt_stack *p = ggc_alloc<opt_stack> ();
1014*38fd1498Szrj   p->prev = options_stack;
1015*38fd1498Szrj   options_stack = p;
1016*38fd1498Szrj 
1017*38fd1498Szrj   /* Save optimization and target flags in binary format.  */
1018*38fd1498Szrj   p->optimize_binary = build_optimization_node (&global_options);
1019*38fd1498Szrj   p->target_binary = build_target_option_node (&global_options);
1020*38fd1498Szrj 
1021*38fd1498Szrj   /* Save optimization and target flags in string list format.  */
1022*38fd1498Szrj   p->optimize_strings = copy_list (current_optimize_pragma);
1023*38fd1498Szrj   p->target_strings = copy_list (current_target_pragma);
1024*38fd1498Szrj }
1025*38fd1498Szrj 
1026*38fd1498Szrj /* Handle #pragma GCC pop_options to restore the current target and
1027*38fd1498Szrj    optimization options from a previous push_options.  */
1028*38fd1498Szrj 
1029*38fd1498Szrj static void
handle_pragma_pop_options(cpp_reader * ARG_UNUSED (dummy))1030*38fd1498Szrj handle_pragma_pop_options (cpp_reader *ARG_UNUSED(dummy))
1031*38fd1498Szrj {
1032*38fd1498Szrj   enum cpp_ttype token;
1033*38fd1498Szrj   tree x = 0;
1034*38fd1498Szrj   opt_stack *p;
1035*38fd1498Szrj 
1036*38fd1498Szrj   token = pragma_lex (&x);
1037*38fd1498Szrj   if (token != CPP_EOF)
1038*38fd1498Szrj     {
1039*38fd1498Szrj       warning (OPT_Wpragmas, "junk at end of %<#pragma pop_options%>");
1040*38fd1498Szrj       return;
1041*38fd1498Szrj     }
1042*38fd1498Szrj 
1043*38fd1498Szrj   if (! options_stack)
1044*38fd1498Szrj     {
1045*38fd1498Szrj       warning (OPT_Wpragmas,
1046*38fd1498Szrj 	       "%<#pragma GCC pop_options%> without a corresponding "
1047*38fd1498Szrj 	       "%<#pragma GCC push_options%>");
1048*38fd1498Szrj       return;
1049*38fd1498Szrj     }
1050*38fd1498Szrj 
1051*38fd1498Szrj   p = options_stack;
1052*38fd1498Szrj   options_stack = p->prev;
1053*38fd1498Szrj 
1054*38fd1498Szrj   if (p->target_binary != target_option_current_node)
1055*38fd1498Szrj     {
1056*38fd1498Szrj       (void) targetm.target_option.pragma_parse (NULL_TREE, p->target_binary);
1057*38fd1498Szrj       target_option_current_node = p->target_binary;
1058*38fd1498Szrj     }
1059*38fd1498Szrj 
1060*38fd1498Szrj   if (p->optimize_binary != optimization_current_node)
1061*38fd1498Szrj     {
1062*38fd1498Szrj       tree old_optimize = optimization_current_node;
1063*38fd1498Szrj       cl_optimization_restore (&global_options,
1064*38fd1498Szrj 			       TREE_OPTIMIZATION (p->optimize_binary));
1065*38fd1498Szrj       c_cpp_builtins_optimize_pragma (parse_in, old_optimize,
1066*38fd1498Szrj 				      p->optimize_binary);
1067*38fd1498Szrj       optimization_current_node = p->optimize_binary;
1068*38fd1498Szrj     }
1069*38fd1498Szrj 
1070*38fd1498Szrj   current_target_pragma = p->target_strings;
1071*38fd1498Szrj   current_optimize_pragma = p->optimize_strings;
1072*38fd1498Szrj }
1073*38fd1498Szrj 
1074*38fd1498Szrj /* Handle #pragma GCC reset_options to restore the current target and
1075*38fd1498Szrj    optimization options to the original options used on the command line.  */
1076*38fd1498Szrj 
1077*38fd1498Szrj static void
handle_pragma_reset_options(cpp_reader * ARG_UNUSED (dummy))1078*38fd1498Szrj handle_pragma_reset_options (cpp_reader *ARG_UNUSED(dummy))
1079*38fd1498Szrj {
1080*38fd1498Szrj   enum cpp_ttype token;
1081*38fd1498Szrj   tree x = 0;
1082*38fd1498Szrj   tree new_optimize = optimization_default_node;
1083*38fd1498Szrj   tree new_target = target_option_default_node;
1084*38fd1498Szrj 
1085*38fd1498Szrj   token = pragma_lex (&x);
1086*38fd1498Szrj   if (token != CPP_EOF)
1087*38fd1498Szrj     {
1088*38fd1498Szrj       warning (OPT_Wpragmas, "junk at end of %<#pragma reset_options%>");
1089*38fd1498Szrj       return;
1090*38fd1498Szrj     }
1091*38fd1498Szrj 
1092*38fd1498Szrj   if (new_target != target_option_current_node)
1093*38fd1498Szrj     {
1094*38fd1498Szrj       (void) targetm.target_option.pragma_parse (NULL_TREE, new_target);
1095*38fd1498Szrj       target_option_current_node = new_target;
1096*38fd1498Szrj     }
1097*38fd1498Szrj 
1098*38fd1498Szrj   if (new_optimize != optimization_current_node)
1099*38fd1498Szrj     {
1100*38fd1498Szrj       tree old_optimize = optimization_current_node;
1101*38fd1498Szrj       cl_optimization_restore (&global_options,
1102*38fd1498Szrj 			       TREE_OPTIMIZATION (new_optimize));
1103*38fd1498Szrj       c_cpp_builtins_optimize_pragma (parse_in, old_optimize, new_optimize);
1104*38fd1498Szrj       optimization_current_node = new_optimize;
1105*38fd1498Szrj     }
1106*38fd1498Szrj 
1107*38fd1498Szrj   current_target_pragma = NULL_TREE;
1108*38fd1498Szrj   current_optimize_pragma = NULL_TREE;
1109*38fd1498Szrj }
1110*38fd1498Szrj 
1111*38fd1498Szrj /* Print a plain user-specified message.  */
1112*38fd1498Szrj 
1113*38fd1498Szrj static void
handle_pragma_message(cpp_reader * ARG_UNUSED (dummy))1114*38fd1498Szrj handle_pragma_message (cpp_reader *ARG_UNUSED(dummy))
1115*38fd1498Szrj {
1116*38fd1498Szrj   enum cpp_ttype token;
1117*38fd1498Szrj   tree x, message = 0;
1118*38fd1498Szrj 
1119*38fd1498Szrj   token = pragma_lex (&x);
1120*38fd1498Szrj   if (token == CPP_OPEN_PAREN)
1121*38fd1498Szrj     {
1122*38fd1498Szrj       token = pragma_lex (&x);
1123*38fd1498Szrj       if (token == CPP_STRING)
1124*38fd1498Szrj         message = x;
1125*38fd1498Szrj       else
1126*38fd1498Szrj         GCC_BAD ("expected a string after %<#pragma message%>");
1127*38fd1498Szrj       if (pragma_lex (&x) != CPP_CLOSE_PAREN)
1128*38fd1498Szrj         GCC_BAD ("malformed %<#pragma message%>, ignored");
1129*38fd1498Szrj     }
1130*38fd1498Szrj   else if (token == CPP_STRING)
1131*38fd1498Szrj     message = x;
1132*38fd1498Szrj   else
1133*38fd1498Szrj     GCC_BAD ("expected a string after %<#pragma message%>");
1134*38fd1498Szrj 
1135*38fd1498Szrj   gcc_assert (message);
1136*38fd1498Szrj 
1137*38fd1498Szrj   if (pragma_lex (&x) != CPP_EOF)
1138*38fd1498Szrj     warning (OPT_Wpragmas, "junk at end of %<#pragma message%>");
1139*38fd1498Szrj 
1140*38fd1498Szrj   if (TREE_STRING_LENGTH (message) > 1)
1141*38fd1498Szrj     inform (input_location, "#pragma message: %s", TREE_STRING_POINTER (message));
1142*38fd1498Szrj }
1143*38fd1498Szrj 
1144*38fd1498Szrj /* Mark whether the current location is valid for a STDC pragma.  */
1145*38fd1498Szrj 
1146*38fd1498Szrj static bool valid_location_for_stdc_pragma;
1147*38fd1498Szrj 
1148*38fd1498Szrj void
mark_valid_location_for_stdc_pragma(bool flag)1149*38fd1498Szrj mark_valid_location_for_stdc_pragma (bool flag)
1150*38fd1498Szrj {
1151*38fd1498Szrj   valid_location_for_stdc_pragma = flag;
1152*38fd1498Szrj }
1153*38fd1498Szrj 
1154*38fd1498Szrj /* Return true if the current location is valid for a STDC pragma.  */
1155*38fd1498Szrj 
1156*38fd1498Szrj bool
valid_location_for_stdc_pragma_p(void)1157*38fd1498Szrj valid_location_for_stdc_pragma_p (void)
1158*38fd1498Szrj {
1159*38fd1498Szrj   return valid_location_for_stdc_pragma;
1160*38fd1498Szrj }
1161*38fd1498Szrj 
1162*38fd1498Szrj enum pragma_switch_t { PRAGMA_ON, PRAGMA_OFF, PRAGMA_DEFAULT, PRAGMA_BAD };
1163*38fd1498Szrj 
1164*38fd1498Szrj /* A STDC pragma must appear outside of external declarations or
1165*38fd1498Szrj    preceding all explicit declarations and statements inside a compound
1166*38fd1498Szrj    statement; its behavior is undefined if used in any other context.
1167*38fd1498Szrj    It takes a switch of ON, OFF, or DEFAULT.  */
1168*38fd1498Szrj 
1169*38fd1498Szrj static enum pragma_switch_t
handle_stdc_pragma(const char * pname)1170*38fd1498Szrj handle_stdc_pragma (const char *pname)
1171*38fd1498Szrj {
1172*38fd1498Szrj   const char *arg;
1173*38fd1498Szrj   tree t;
1174*38fd1498Szrj   enum pragma_switch_t ret;
1175*38fd1498Szrj 
1176*38fd1498Szrj   if (!valid_location_for_stdc_pragma_p ())
1177*38fd1498Szrj     {
1178*38fd1498Szrj       warning (OPT_Wpragmas, "invalid location for %<pragma %s%>, ignored",
1179*38fd1498Szrj 	       pname);
1180*38fd1498Szrj       return PRAGMA_BAD;
1181*38fd1498Szrj     }
1182*38fd1498Szrj 
1183*38fd1498Szrj   if (pragma_lex (&t) != CPP_NAME)
1184*38fd1498Szrj     {
1185*38fd1498Szrj       warning (OPT_Wpragmas, "malformed %<#pragma %s%>, ignored", pname);
1186*38fd1498Szrj       return PRAGMA_BAD;
1187*38fd1498Szrj     }
1188*38fd1498Szrj 
1189*38fd1498Szrj   arg = IDENTIFIER_POINTER (t);
1190*38fd1498Szrj 
1191*38fd1498Szrj   if (!strcmp (arg, "ON"))
1192*38fd1498Szrj     ret = PRAGMA_ON;
1193*38fd1498Szrj   else if (!strcmp (arg, "OFF"))
1194*38fd1498Szrj     ret = PRAGMA_OFF;
1195*38fd1498Szrj   else if (!strcmp (arg, "DEFAULT"))
1196*38fd1498Szrj     ret = PRAGMA_DEFAULT;
1197*38fd1498Szrj   else
1198*38fd1498Szrj     {
1199*38fd1498Szrj       warning (OPT_Wpragmas, "malformed %<#pragma %s%>, ignored", pname);
1200*38fd1498Szrj       return PRAGMA_BAD;
1201*38fd1498Szrj     }
1202*38fd1498Szrj 
1203*38fd1498Szrj   if (pragma_lex (&t) != CPP_EOF)
1204*38fd1498Szrj     {
1205*38fd1498Szrj       warning (OPT_Wpragmas, "junk at end of %<#pragma %s%>", pname);
1206*38fd1498Szrj       return PRAGMA_BAD;
1207*38fd1498Szrj     }
1208*38fd1498Szrj 
1209*38fd1498Szrj   return ret;
1210*38fd1498Szrj }
1211*38fd1498Szrj 
1212*38fd1498Szrj /* #pragma STDC FLOAT_CONST_DECIMAL64 ON
1213*38fd1498Szrj    #pragma STDC FLOAT_CONST_DECIMAL64 OFF
1214*38fd1498Szrj    #pragma STDC FLOAT_CONST_DECIMAL64 DEFAULT */
1215*38fd1498Szrj 
1216*38fd1498Szrj static void
handle_pragma_float_const_decimal64(cpp_reader * ARG_UNUSED (dummy))1217*38fd1498Szrj handle_pragma_float_const_decimal64 (cpp_reader *ARG_UNUSED (dummy))
1218*38fd1498Szrj {
1219*38fd1498Szrj   if (c_dialect_cxx ())
1220*38fd1498Szrj     {
1221*38fd1498Szrj       if (warn_unknown_pragmas > in_system_header_at (input_location))
1222*38fd1498Szrj 	warning (OPT_Wunknown_pragmas,
1223*38fd1498Szrj 		 "%<#pragma STDC FLOAT_CONST_DECIMAL64%> is not supported"
1224*38fd1498Szrj 		 " for C++");
1225*38fd1498Szrj       return;
1226*38fd1498Szrj     }
1227*38fd1498Szrj 
1228*38fd1498Szrj   if (!targetm.decimal_float_supported_p ())
1229*38fd1498Szrj     {
1230*38fd1498Szrj       if (warn_unknown_pragmas > in_system_header_at (input_location))
1231*38fd1498Szrj 	warning (OPT_Wunknown_pragmas,
1232*38fd1498Szrj 		 "%<#pragma STDC FLOAT_CONST_DECIMAL64%> is not supported"
1233*38fd1498Szrj 		 " on this target");
1234*38fd1498Szrj       return;
1235*38fd1498Szrj     }
1236*38fd1498Szrj 
1237*38fd1498Szrj   pedwarn (input_location, OPT_Wpedantic,
1238*38fd1498Szrj 	   "ISO C does not support %<#pragma STDC FLOAT_CONST_DECIMAL64%>");
1239*38fd1498Szrj 
1240*38fd1498Szrj   switch (handle_stdc_pragma ("STDC FLOAT_CONST_DECIMAL64"))
1241*38fd1498Szrj     {
1242*38fd1498Szrj     case PRAGMA_ON:
1243*38fd1498Szrj       set_float_const_decimal64 ();
1244*38fd1498Szrj       break;
1245*38fd1498Szrj     case PRAGMA_OFF:
1246*38fd1498Szrj     case PRAGMA_DEFAULT:
1247*38fd1498Szrj       clear_float_const_decimal64 ();
1248*38fd1498Szrj       break;
1249*38fd1498Szrj     case PRAGMA_BAD:
1250*38fd1498Szrj       break;
1251*38fd1498Szrj     }
1252*38fd1498Szrj }
1253*38fd1498Szrj 
1254*38fd1498Szrj /* A vector of registered pragma callbacks, which is never freed.   */
1255*38fd1498Szrj 
1256*38fd1498Szrj static vec<internal_pragma_handler> registered_pragmas;
1257*38fd1498Szrj 
1258*38fd1498Szrj struct pragma_ns_name
1259*38fd1498Szrj {
1260*38fd1498Szrj   const char *space;
1261*38fd1498Szrj   const char *name;
1262*38fd1498Szrj };
1263*38fd1498Szrj 
1264*38fd1498Szrj 
1265*38fd1498Szrj static vec<pragma_ns_name> registered_pp_pragmas;
1266*38fd1498Szrj 
1267*38fd1498Szrj struct omp_pragma_def { const char *name; unsigned int id; };
1268*38fd1498Szrj static const struct omp_pragma_def oacc_pragmas[] = {
1269*38fd1498Szrj   { "atomic", PRAGMA_OACC_ATOMIC },
1270*38fd1498Szrj   { "cache", PRAGMA_OACC_CACHE },
1271*38fd1498Szrj   { "data", PRAGMA_OACC_DATA },
1272*38fd1498Szrj   { "declare", PRAGMA_OACC_DECLARE },
1273*38fd1498Szrj   { "enter", PRAGMA_OACC_ENTER_DATA },
1274*38fd1498Szrj   { "exit", PRAGMA_OACC_EXIT_DATA },
1275*38fd1498Szrj   { "host_data", PRAGMA_OACC_HOST_DATA },
1276*38fd1498Szrj   { "kernels", PRAGMA_OACC_KERNELS },
1277*38fd1498Szrj   { "loop", PRAGMA_OACC_LOOP },
1278*38fd1498Szrj   { "parallel", PRAGMA_OACC_PARALLEL },
1279*38fd1498Szrj   { "routine", PRAGMA_OACC_ROUTINE },
1280*38fd1498Szrj   { "update", PRAGMA_OACC_UPDATE },
1281*38fd1498Szrj   { "wait", PRAGMA_OACC_WAIT }
1282*38fd1498Szrj };
1283*38fd1498Szrj static const struct omp_pragma_def omp_pragmas[] = {
1284*38fd1498Szrj   { "atomic", PRAGMA_OMP_ATOMIC },
1285*38fd1498Szrj   { "barrier", PRAGMA_OMP_BARRIER },
1286*38fd1498Szrj   { "cancel", PRAGMA_OMP_CANCEL },
1287*38fd1498Szrj   { "cancellation", PRAGMA_OMP_CANCELLATION_POINT },
1288*38fd1498Szrj   { "critical", PRAGMA_OMP_CRITICAL },
1289*38fd1498Szrj   { "end", PRAGMA_OMP_END_DECLARE_TARGET },
1290*38fd1498Szrj   { "flush", PRAGMA_OMP_FLUSH },
1291*38fd1498Szrj   { "master", PRAGMA_OMP_MASTER },
1292*38fd1498Szrj   { "section", PRAGMA_OMP_SECTION },
1293*38fd1498Szrj   { "sections", PRAGMA_OMP_SECTIONS },
1294*38fd1498Szrj   { "single", PRAGMA_OMP_SINGLE },
1295*38fd1498Szrj   { "task", PRAGMA_OMP_TASK },
1296*38fd1498Szrj   { "taskgroup", PRAGMA_OMP_TASKGROUP },
1297*38fd1498Szrj   { "taskwait", PRAGMA_OMP_TASKWAIT },
1298*38fd1498Szrj   { "taskyield", PRAGMA_OMP_TASKYIELD },
1299*38fd1498Szrj   { "threadprivate", PRAGMA_OMP_THREADPRIVATE }
1300*38fd1498Szrj };
1301*38fd1498Szrj static const struct omp_pragma_def omp_pragmas_simd[] = {
1302*38fd1498Szrj   { "declare", PRAGMA_OMP_DECLARE },
1303*38fd1498Szrj   { "distribute", PRAGMA_OMP_DISTRIBUTE },
1304*38fd1498Szrj   { "for", PRAGMA_OMP_FOR },
1305*38fd1498Szrj   { "ordered", PRAGMA_OMP_ORDERED },
1306*38fd1498Szrj   { "parallel", PRAGMA_OMP_PARALLEL },
1307*38fd1498Szrj   { "simd", PRAGMA_OMP_SIMD },
1308*38fd1498Szrj   { "target", PRAGMA_OMP_TARGET },
1309*38fd1498Szrj   { "taskloop", PRAGMA_OMP_TASKLOOP },
1310*38fd1498Szrj   { "teams", PRAGMA_OMP_TEAMS },
1311*38fd1498Szrj };
1312*38fd1498Szrj 
1313*38fd1498Szrj void
c_pp_lookup_pragma(unsigned int id,const char ** space,const char ** name)1314*38fd1498Szrj c_pp_lookup_pragma (unsigned int id, const char **space, const char **name)
1315*38fd1498Szrj {
1316*38fd1498Szrj   const int n_oacc_pragmas = sizeof (oacc_pragmas) / sizeof (*oacc_pragmas);
1317*38fd1498Szrj   const int n_omp_pragmas = sizeof (omp_pragmas) / sizeof (*omp_pragmas);
1318*38fd1498Szrj   const int n_omp_pragmas_simd = sizeof (omp_pragmas_simd)
1319*38fd1498Szrj 				 / sizeof (*omp_pragmas);
1320*38fd1498Szrj   int i;
1321*38fd1498Szrj 
1322*38fd1498Szrj   for (i = 0; i < n_oacc_pragmas; ++i)
1323*38fd1498Szrj     if (oacc_pragmas[i].id == id)
1324*38fd1498Szrj       {
1325*38fd1498Szrj 	*space = "acc";
1326*38fd1498Szrj 	*name = oacc_pragmas[i].name;
1327*38fd1498Szrj 	return;
1328*38fd1498Szrj       }
1329*38fd1498Szrj 
1330*38fd1498Szrj   for (i = 0; i < n_omp_pragmas; ++i)
1331*38fd1498Szrj     if (omp_pragmas[i].id == id)
1332*38fd1498Szrj       {
1333*38fd1498Szrj 	*space = "omp";
1334*38fd1498Szrj 	*name = omp_pragmas[i].name;
1335*38fd1498Szrj 	return;
1336*38fd1498Szrj       }
1337*38fd1498Szrj 
1338*38fd1498Szrj   for (i = 0; i < n_omp_pragmas_simd; ++i)
1339*38fd1498Szrj     if (omp_pragmas_simd[i].id == id)
1340*38fd1498Szrj       {
1341*38fd1498Szrj 	*space = "omp";
1342*38fd1498Szrj 	*name = omp_pragmas_simd[i].name;
1343*38fd1498Szrj 	return;
1344*38fd1498Szrj       }
1345*38fd1498Szrj 
1346*38fd1498Szrj   if (id >= PRAGMA_FIRST_EXTERNAL
1347*38fd1498Szrj       && (id < PRAGMA_FIRST_EXTERNAL + registered_pp_pragmas.length ()))
1348*38fd1498Szrj     {
1349*38fd1498Szrj       *space = registered_pp_pragmas[id - PRAGMA_FIRST_EXTERNAL].space;
1350*38fd1498Szrj       *name = registered_pp_pragmas[id - PRAGMA_FIRST_EXTERNAL].name;
1351*38fd1498Szrj       return;
1352*38fd1498Szrj     }
1353*38fd1498Szrj 
1354*38fd1498Szrj   gcc_unreachable ();
1355*38fd1498Szrj }
1356*38fd1498Szrj 
1357*38fd1498Szrj /* Front-end wrappers for pragma registration to avoid dragging
1358*38fd1498Szrj    cpplib.h in almost everywhere.  */
1359*38fd1498Szrj 
1360*38fd1498Szrj static void
c_register_pragma_1(const char * space,const char * name,internal_pragma_handler ihandler,bool allow_expansion)1361*38fd1498Szrj c_register_pragma_1 (const char *space, const char *name,
1362*38fd1498Szrj                      internal_pragma_handler ihandler, bool allow_expansion)
1363*38fd1498Szrj {
1364*38fd1498Szrj   unsigned id;
1365*38fd1498Szrj 
1366*38fd1498Szrj   if (flag_preprocess_only)
1367*38fd1498Szrj     {
1368*38fd1498Szrj       pragma_ns_name ns_name;
1369*38fd1498Szrj 
1370*38fd1498Szrj       if (!allow_expansion)
1371*38fd1498Szrj 	return;
1372*38fd1498Szrj 
1373*38fd1498Szrj       ns_name.space = space;
1374*38fd1498Szrj       ns_name.name = name;
1375*38fd1498Szrj       registered_pp_pragmas.safe_push (ns_name);
1376*38fd1498Szrj       id = registered_pp_pragmas.length ();
1377*38fd1498Szrj       id += PRAGMA_FIRST_EXTERNAL - 1;
1378*38fd1498Szrj     }
1379*38fd1498Szrj   else
1380*38fd1498Szrj     {
1381*38fd1498Szrj       registered_pragmas.safe_push (ihandler);
1382*38fd1498Szrj       id = registered_pragmas.length ();
1383*38fd1498Szrj       id += PRAGMA_FIRST_EXTERNAL - 1;
1384*38fd1498Szrj 
1385*38fd1498Szrj       /* The C front end allocates 8 bits in c_token.  The C++ front end
1386*38fd1498Szrj 	 keeps the pragma kind in the form of INTEGER_CST, so no small
1387*38fd1498Szrj 	 limit applies.  At present this is sufficient.  */
1388*38fd1498Szrj       gcc_assert (id < 256);
1389*38fd1498Szrj     }
1390*38fd1498Szrj 
1391*38fd1498Szrj   cpp_register_deferred_pragma (parse_in, space, name, id,
1392*38fd1498Szrj 				allow_expansion, false);
1393*38fd1498Szrj }
1394*38fd1498Szrj 
1395*38fd1498Szrj /* Register a C pragma handler, using a space and a name.  It disallows pragma
1396*38fd1498Szrj    expansion (if you want it, use c_register_pragma_with_expansion instead).  */
1397*38fd1498Szrj void
c_register_pragma(const char * space,const char * name,pragma_handler_1arg handler)1398*38fd1498Szrj c_register_pragma (const char *space, const char *name,
1399*38fd1498Szrj                    pragma_handler_1arg handler)
1400*38fd1498Szrj {
1401*38fd1498Szrj   internal_pragma_handler ihandler;
1402*38fd1498Szrj 
1403*38fd1498Szrj   ihandler.handler.handler_1arg = handler;
1404*38fd1498Szrj   ihandler.extra_data = false;
1405*38fd1498Szrj   ihandler.data = NULL;
1406*38fd1498Szrj   c_register_pragma_1 (space, name, ihandler, false);
1407*38fd1498Szrj }
1408*38fd1498Szrj 
1409*38fd1498Szrj /* Register a C pragma handler, using a space and a name, it also carries an
1410*38fd1498Szrj    extra data field which can be used by the handler.  It disallows pragma
1411*38fd1498Szrj    expansion (if you want it, use c_register_pragma_with_expansion_and_data
1412*38fd1498Szrj    instead).  */
1413*38fd1498Szrj void
c_register_pragma_with_data(const char * space,const char * name,pragma_handler_2arg handler,void * data)1414*38fd1498Szrj c_register_pragma_with_data (const char *space, const char *name,
1415*38fd1498Szrj                              pragma_handler_2arg handler, void * data)
1416*38fd1498Szrj {
1417*38fd1498Szrj   internal_pragma_handler ihandler;
1418*38fd1498Szrj 
1419*38fd1498Szrj   ihandler.handler.handler_2arg = handler;
1420*38fd1498Szrj   ihandler.extra_data = true;
1421*38fd1498Szrj   ihandler.data = data;
1422*38fd1498Szrj   c_register_pragma_1 (space, name, ihandler, false);
1423*38fd1498Szrj }
1424*38fd1498Szrj 
1425*38fd1498Szrj /* Register a C pragma handler, using a space and a name.  It allows pragma
1426*38fd1498Szrj    expansion as in the following example:
1427*38fd1498Szrj 
1428*38fd1498Szrj    #define NUMBER 10
1429*38fd1498Szrj    #pragma count (NUMBER)
1430*38fd1498Szrj 
1431*38fd1498Szrj    Name expansion is still disallowed.  */
1432*38fd1498Szrj void
c_register_pragma_with_expansion(const char * space,const char * name,pragma_handler_1arg handler)1433*38fd1498Szrj c_register_pragma_with_expansion (const char *space, const char *name,
1434*38fd1498Szrj 				  pragma_handler_1arg handler)
1435*38fd1498Szrj {
1436*38fd1498Szrj   internal_pragma_handler ihandler;
1437*38fd1498Szrj 
1438*38fd1498Szrj   ihandler.handler.handler_1arg = handler;
1439*38fd1498Szrj   ihandler.extra_data = false;
1440*38fd1498Szrj   ihandler.data = NULL;
1441*38fd1498Szrj   c_register_pragma_1 (space, name, ihandler, true);
1442*38fd1498Szrj }
1443*38fd1498Szrj 
1444*38fd1498Szrj /* Register a C pragma handler, using a space and a name, it also carries an
1445*38fd1498Szrj    extra data field which can be used by the handler.  It allows pragma
1446*38fd1498Szrj    expansion as in the following example:
1447*38fd1498Szrj 
1448*38fd1498Szrj    #define NUMBER 10
1449*38fd1498Szrj    #pragma count (NUMBER)
1450*38fd1498Szrj 
1451*38fd1498Szrj    Name expansion is still disallowed.  */
1452*38fd1498Szrj void
c_register_pragma_with_expansion_and_data(const char * space,const char * name,pragma_handler_2arg handler,void * data)1453*38fd1498Szrj c_register_pragma_with_expansion_and_data (const char *space, const char *name,
1454*38fd1498Szrj                                            pragma_handler_2arg handler,
1455*38fd1498Szrj                                            void *data)
1456*38fd1498Szrj {
1457*38fd1498Szrj   internal_pragma_handler ihandler;
1458*38fd1498Szrj 
1459*38fd1498Szrj   ihandler.handler.handler_2arg = handler;
1460*38fd1498Szrj   ihandler.extra_data = true;
1461*38fd1498Szrj   ihandler.data = data;
1462*38fd1498Szrj   c_register_pragma_1 (space, name, ihandler, true);
1463*38fd1498Szrj }
1464*38fd1498Szrj 
1465*38fd1498Szrj void
c_invoke_pragma_handler(unsigned int id)1466*38fd1498Szrj c_invoke_pragma_handler (unsigned int id)
1467*38fd1498Szrj {
1468*38fd1498Szrj   internal_pragma_handler *ihandler;
1469*38fd1498Szrj   pragma_handler_1arg handler_1arg;
1470*38fd1498Szrj   pragma_handler_2arg handler_2arg;
1471*38fd1498Szrj 
1472*38fd1498Szrj   id -= PRAGMA_FIRST_EXTERNAL;
1473*38fd1498Szrj   ihandler = &registered_pragmas[id];
1474*38fd1498Szrj   if (ihandler->extra_data)
1475*38fd1498Szrj     {
1476*38fd1498Szrj       handler_2arg = ihandler->handler.handler_2arg;
1477*38fd1498Szrj       handler_2arg (parse_in, ihandler->data);
1478*38fd1498Szrj     }
1479*38fd1498Szrj   else
1480*38fd1498Szrj     {
1481*38fd1498Szrj       handler_1arg = ihandler->handler.handler_1arg;
1482*38fd1498Szrj       handler_1arg (parse_in);
1483*38fd1498Szrj     }
1484*38fd1498Szrj }
1485*38fd1498Szrj 
1486*38fd1498Szrj /* Set up front-end pragmas.  */
1487*38fd1498Szrj void
init_pragma(void)1488*38fd1498Szrj init_pragma (void)
1489*38fd1498Szrj {
1490*38fd1498Szrj   if (flag_openacc)
1491*38fd1498Szrj     {
1492*38fd1498Szrj       const int n_oacc_pragmas
1493*38fd1498Szrj 	= sizeof (oacc_pragmas) / sizeof (*oacc_pragmas);
1494*38fd1498Szrj       int i;
1495*38fd1498Szrj 
1496*38fd1498Szrj       for (i = 0; i < n_oacc_pragmas; ++i)
1497*38fd1498Szrj 	cpp_register_deferred_pragma (parse_in, "acc", oacc_pragmas[i].name,
1498*38fd1498Szrj 				      oacc_pragmas[i].id, true, true);
1499*38fd1498Szrj     }
1500*38fd1498Szrj 
1501*38fd1498Szrj   if (flag_openmp)
1502*38fd1498Szrj     {
1503*38fd1498Szrj       const int n_omp_pragmas = sizeof (omp_pragmas) / sizeof (*omp_pragmas);
1504*38fd1498Szrj       int i;
1505*38fd1498Szrj 
1506*38fd1498Szrj       for (i = 0; i < n_omp_pragmas; ++i)
1507*38fd1498Szrj 	cpp_register_deferred_pragma (parse_in, "omp", omp_pragmas[i].name,
1508*38fd1498Szrj 				      omp_pragmas[i].id, true, true);
1509*38fd1498Szrj     }
1510*38fd1498Szrj   if (flag_openmp || flag_openmp_simd)
1511*38fd1498Szrj     {
1512*38fd1498Szrj       const int n_omp_pragmas_simd = sizeof (omp_pragmas_simd)
1513*38fd1498Szrj 				     / sizeof (*omp_pragmas);
1514*38fd1498Szrj       int i;
1515*38fd1498Szrj 
1516*38fd1498Szrj       for (i = 0; i < n_omp_pragmas_simd; ++i)
1517*38fd1498Szrj 	cpp_register_deferred_pragma (parse_in, "omp", omp_pragmas_simd[i].name,
1518*38fd1498Szrj 				      omp_pragmas_simd[i].id, true, true);
1519*38fd1498Szrj     }
1520*38fd1498Szrj 
1521*38fd1498Szrj   if (!flag_preprocess_only)
1522*38fd1498Szrj     cpp_register_deferred_pragma (parse_in, "GCC", "pch_preprocess",
1523*38fd1498Szrj 				  PRAGMA_GCC_PCH_PREPROCESS, false, false);
1524*38fd1498Szrj 
1525*38fd1498Szrj   if (!flag_preprocess_only)
1526*38fd1498Szrj     cpp_register_deferred_pragma (parse_in, "GCC", "ivdep", PRAGMA_IVDEP, false,
1527*38fd1498Szrj 				  false);
1528*38fd1498Szrj 
1529*38fd1498Szrj   if (!flag_preprocess_only)
1530*38fd1498Szrj     cpp_register_deferred_pragma (parse_in, "GCC", "unroll", PRAGMA_UNROLL,
1531*38fd1498Szrj 				  false, false);
1532*38fd1498Szrj 
1533*38fd1498Szrj #ifdef HANDLE_PRAGMA_PACK_WITH_EXPANSION
1534*38fd1498Szrj   c_register_pragma_with_expansion (0, "pack", handle_pragma_pack);
1535*38fd1498Szrj #else
1536*38fd1498Szrj   c_register_pragma (0, "pack", handle_pragma_pack);
1537*38fd1498Szrj #endif
1538*38fd1498Szrj   c_register_pragma (0, "weak", handle_pragma_weak);
1539*38fd1498Szrj 
1540*38fd1498Szrj   c_register_pragma ("GCC", "visibility", handle_pragma_visibility);
1541*38fd1498Szrj 
1542*38fd1498Szrj   c_register_pragma ("GCC", "diagnostic", handle_pragma_diagnostic);
1543*38fd1498Szrj   c_register_pragma ("GCC", "target", handle_pragma_target);
1544*38fd1498Szrj   c_register_pragma ("GCC", "optimize", handle_pragma_optimize);
1545*38fd1498Szrj   c_register_pragma ("GCC", "push_options", handle_pragma_push_options);
1546*38fd1498Szrj   c_register_pragma ("GCC", "pop_options", handle_pragma_pop_options);
1547*38fd1498Szrj   c_register_pragma ("GCC", "reset_options", handle_pragma_reset_options);
1548*38fd1498Szrj 
1549*38fd1498Szrj   c_register_pragma ("STDC", "FLOAT_CONST_DECIMAL64",
1550*38fd1498Szrj 		     handle_pragma_float_const_decimal64);
1551*38fd1498Szrj 
1552*38fd1498Szrj   c_register_pragma_with_expansion (0, "redefine_extname",
1553*38fd1498Szrj 				    handle_pragma_redefine_extname);
1554*38fd1498Szrj 
1555*38fd1498Szrj   c_register_pragma_with_expansion (0, "message", handle_pragma_message);
1556*38fd1498Szrj 
1557*38fd1498Szrj #ifdef REGISTER_TARGET_PRAGMAS
1558*38fd1498Szrj   REGISTER_TARGET_PRAGMAS ();
1559*38fd1498Szrj #endif
1560*38fd1498Szrj 
1561*38fd1498Szrj   global_sso = default_sso;
1562*38fd1498Szrj   c_register_pragma (0, "scalar_storage_order",
1563*38fd1498Szrj 		     handle_pragma_scalar_storage_order);
1564*38fd1498Szrj 
1565*38fd1498Szrj   /* Allow plugins to register their own pragmas. */
1566*38fd1498Szrj   invoke_plugin_callbacks (PLUGIN_PRAGMAS, NULL);
1567*38fd1498Szrj }
1568*38fd1498Szrj 
1569*38fd1498Szrj #include "gt-c-family-c-pragma.h"
1570