OSDN Git Service

2009-04-30 David Ayers <ayers@fsfe.org>
[pf3gnuchains/gcc-fork.git] / gcc / c-pragma.c
1 /* Handle #pragma, system V.4 style.  Supports #pragma weak and #pragma pack.
2    Copyright (C) 1992, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
3    2006, 2007, 2008 Free Software Foundation, Inc.
4
5 This file is part of GCC.
6
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
10 version.
11
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15 for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3.  If not see
19 <http://www.gnu.org/licenses/>.  */
20
21 #include "config.h"
22 #include "system.h"
23 #include "coretypes.h"
24 #include "tm.h"
25 #include "rtl.h"
26 #include "tree.h"
27 #include "function.h"
28 #include "cpplib.h"
29 #include "c-pragma.h"
30 #include "flags.h"
31 #include "toplev.h"
32 #include "ggc.h"
33 #include "c-common.h"
34 #include "output.h"
35 #include "tm_p.h"
36 #include "vec.h"
37 #include "target.h"
38 #include "diagnostic.h"
39 #include "opts.h"
40
41 #define GCC_BAD(gmsgid) \
42   do { warning (OPT_Wpragmas, gmsgid); return; } while (0)
43 #define GCC_BAD2(gmsgid, arg) \
44   do { warning (OPT_Wpragmas, gmsgid, arg); return; } while (0)
45
46 typedef struct GTY(()) align_stack {
47   int                  alignment;
48   tree                 id;
49   struct align_stack * prev;
50 } align_stack;
51
52 static GTY(()) struct align_stack * alignment_stack;
53
54 #ifdef HANDLE_PRAGMA_PACK
55 static void handle_pragma_pack (cpp_reader *);
56
57 #ifdef HANDLE_PRAGMA_PACK_PUSH_POP
58 /* If we have a "global" #pragma pack(<n>) in effect when the first
59    #pragma pack(push,<n>) is encountered, this stores the value of
60    maximum_field_alignment in effect.  When the final pop_alignment()
61    happens, we restore the value to this, not to a value of 0 for
62    maximum_field_alignment.  Value is in bits.  */
63 static int default_alignment;
64 #define SET_GLOBAL_ALIGNMENT(ALIGN) (maximum_field_alignment = *(alignment_stack == NULL \
65         ? &default_alignment \
66         : &alignment_stack->alignment) = (ALIGN))
67
68 static void push_alignment (int, tree);
69 static void pop_alignment (tree);
70
71 /* Push an alignment value onto the stack.  */
72 static void
73 push_alignment (int alignment, tree id)
74 {
75   align_stack * entry;
76
77   entry = GGC_NEW (align_stack);
78
79   entry->alignment  = alignment;
80   entry->id         = id;
81   entry->prev       = alignment_stack;
82
83   /* The current value of maximum_field_alignment is not necessarily
84      0 since there may be a #pragma pack(<n>) in effect; remember it
85      so that we can restore it after the final #pragma pop().  */
86   if (alignment_stack == NULL)
87     default_alignment = maximum_field_alignment;
88
89   alignment_stack = entry;
90
91   maximum_field_alignment = alignment;
92 }
93
94 /* Undo a push of an alignment onto the stack.  */
95 static void
96 pop_alignment (tree id)
97 {
98   align_stack * entry;
99
100   if (alignment_stack == NULL)
101     GCC_BAD ("#pragma pack (pop) encountered without matching #pragma pack (push)");
102
103   /* If we got an identifier, strip away everything above the target
104      entry so that the next step will restore the state just below it.  */
105   if (id)
106     {
107       for (entry = alignment_stack; entry; entry = entry->prev)
108         if (entry->id == id)
109           {
110             alignment_stack = entry;
111             break;
112           }
113       if (entry == NULL)
114         warning (OPT_Wpragmas, "\
115 #pragma pack(pop, %s) encountered without matching #pragma pack(push, %s)"
116                  , IDENTIFIER_POINTER (id), IDENTIFIER_POINTER (id));
117     }
118
119   entry = alignment_stack->prev;
120
121   maximum_field_alignment = entry ? entry->alignment : default_alignment;
122
123   alignment_stack = entry;
124 }
125 #else  /* not HANDLE_PRAGMA_PACK_PUSH_POP */
126 #define SET_GLOBAL_ALIGNMENT(ALIGN) (maximum_field_alignment = (ALIGN))
127 #define push_alignment(ID, N) \
128     GCC_BAD ("#pragma pack(push[, id], <n>) is not supported on this target")
129 #define pop_alignment(ID) \
130     GCC_BAD ("#pragma pack(pop[, id], <n>) is not supported on this target")
131 #endif /* HANDLE_PRAGMA_PACK_PUSH_POP */
132
133 /* #pragma pack ()
134    #pragma pack (N)
135
136    #pragma pack (push)
137    #pragma pack (push, N)
138    #pragma pack (push, ID)
139    #pragma pack (push, ID, N)
140    #pragma pack (pop)
141    #pragma pack (pop, ID) */
142 static void
143 handle_pragma_pack (cpp_reader * ARG_UNUSED (dummy))
144 {
145   tree x, id = 0;
146   int align = -1;
147   enum cpp_ttype token;
148   enum { set, push, pop } action;
149
150   if (pragma_lex (&x) != CPP_OPEN_PAREN)
151     GCC_BAD ("missing %<(%> after %<#pragma pack%> - ignored");
152
153   token = pragma_lex (&x);
154   if (token == CPP_CLOSE_PAREN)
155     {
156       action = set;
157       align = initial_max_fld_align;
158     }
159   else if (token == CPP_NUMBER)
160     {
161       if (TREE_CODE (x) != INTEGER_CST)
162         GCC_BAD ("invalid constant in %<#pragma pack%> - ignored");
163       align = TREE_INT_CST_LOW (x);
164       action = set;
165       if (pragma_lex (&x) != CPP_CLOSE_PAREN)
166         GCC_BAD ("malformed %<#pragma pack%> - ignored");
167     }
168   else if (token == CPP_NAME)
169     {
170 #define GCC_BAD_ACTION do { if (action != pop) \
171           GCC_BAD ("malformed %<#pragma pack(push[, id][, <n>])%> - ignored"); \
172         else \
173           GCC_BAD ("malformed %<#pragma pack(pop[, id])%> - ignored"); \
174         } while (0)
175
176       const char *op = IDENTIFIER_POINTER (x);
177       if (!strcmp (op, "push"))
178         action = push;
179       else if (!strcmp (op, "pop"))
180         action = pop;
181       else
182         GCC_BAD2 ("unknown action %qs for %<#pragma pack%> - ignored", op);
183
184       while ((token = pragma_lex (&x)) == CPP_COMMA)
185         {
186           token = pragma_lex (&x);
187           if (token == CPP_NAME && id == 0)
188             {
189               id = x;
190             }
191           else if (token == CPP_NUMBER && action == push && align == -1)
192             {
193               if (TREE_CODE (x) != INTEGER_CST)
194                 GCC_BAD ("invalid constant in %<#pragma pack%> - ignored");
195               align = TREE_INT_CST_LOW (x);
196               if (align == -1)
197                 action = set;
198             }
199           else
200             GCC_BAD_ACTION;
201         }
202
203       if (token != CPP_CLOSE_PAREN)
204         GCC_BAD_ACTION;
205 #undef GCC_BAD_ACTION
206     }
207   else
208     GCC_BAD ("malformed %<#pragma pack%> - ignored");
209
210   if (pragma_lex (&x) != CPP_EOF)
211     warning (OPT_Wpragmas, "junk at end of %<#pragma pack%>");
212
213   if (flag_pack_struct)
214     GCC_BAD ("#pragma pack has no effect with -fpack-struct - ignored");
215
216   if (action != pop)
217     switch (align)
218       {
219       case 0:
220       case 1:
221       case 2:
222       case 4:
223       case 8:
224       case 16:
225         align *= BITS_PER_UNIT;
226         break;
227       case -1:
228         if (action == push)
229           {
230             align = maximum_field_alignment;
231             break;
232           }
233       default:
234         GCC_BAD2 ("alignment must be a small power of two, not %d", align);
235       }
236
237   switch (action)
238     {
239     case set:   SET_GLOBAL_ALIGNMENT (align);  break;
240     case push:  push_alignment (align, id);    break;
241     case pop:   pop_alignment (id);            break;
242     }
243 }
244 #endif  /* HANDLE_PRAGMA_PACK */
245
246 struct GTY(()) def_pragma_macro_value {
247   struct def_pragma_macro_value *prev;
248   cpp_macro *value;
249 };
250
251 struct GTY(()) def_pragma_macro {
252   hashval_t hash;
253   const char *name;
254   struct def_pragma_macro_value value;
255 };
256
257 static GTY((param_is (struct def_pragma_macro))) htab_t pushed_macro_table;
258
259 #ifdef HANDLE_PRAGMA_PUSH_POP_MACRO
260 /* Hash table control functions for pushed_macro_table.  */
261 static hashval_t
262 dpm_hash (const void *p)
263 {
264   return ((const struct def_pragma_macro *)p)->hash;
265 }
266
267 static int
268 dpm_eq (const void *pa, const void *pb)
269 {
270   const struct def_pragma_macro *const a = (const struct def_pragma_macro *) pa,
271     *const b = (const struct def_pragma_macro *) pb;
272   return a->hash == b->hash && strcmp (a->name, b->name) == 0;
273 }
274
275 /* #pragma push_macro("MACRO_NAME")
276    #pragma pop_macro("MACRO_NAME") */
277
278 static void
279 handle_pragma_push_macro (cpp_reader *reader)
280 {
281   tree x, id = 0;
282   enum cpp_ttype token;
283   struct def_pragma_macro dummy, *c;
284   const char *macroname;
285   void **slot;
286
287   if (pragma_lex (&x) != CPP_OPEN_PAREN)
288     GCC_BAD ("missing %<(%> after %<#pragma push_macro%> - ignored");
289
290   token = pragma_lex (&id);
291
292   /* Silently ignore */
293   if (token == CPP_CLOSE_PAREN)
294     return;
295   if (token != CPP_STRING)
296     GCC_BAD ("invalid constant in %<#pragma push_macro%> - ignored");
297
298   if (pragma_lex (&x) != CPP_CLOSE_PAREN)
299     GCC_BAD ("missing %<)%> after %<#pragma push_macro%> - ignored");
300
301   if (pragma_lex (&x) != CPP_EOF)
302     warning (OPT_Wpragmas, "junk at end of %<#pragma push_macro%>");
303
304   /* Check for empty string, and silently ignore.  */
305   if (TREE_STRING_LENGTH (id) < 1)
306     return;
307   macroname = TREE_STRING_POINTER (id);
308
309   if (pushed_macro_table == NULL)
310     pushed_macro_table = htab_create_ggc (15, dpm_hash, dpm_eq, 0);
311
312   dummy.hash = htab_hash_string (macroname);
313   dummy.name = macroname;
314   slot = htab_find_slot_with_hash (pushed_macro_table, &dummy,
315                                    dummy.hash, INSERT);
316   c = (struct def_pragma_macro *) *slot;
317   if (c == NULL)
318     {
319       *slot = c = GGC_NEW (struct def_pragma_macro);
320       c->hash = dummy.hash;
321       c->name = ggc_alloc_string (macroname, TREE_STRING_LENGTH (id) - 1);
322       c->value.prev = NULL;
323     }
324   else
325     {
326       struct def_pragma_macro_value *v;
327       v = GGC_NEW (struct def_pragma_macro_value);
328       *v = c->value;
329       c->value.prev = v;
330     }
331
332   c->value.value = cpp_push_definition (reader, macroname);
333 }
334
335 static void
336 handle_pragma_pop_macro (cpp_reader *reader)
337 {
338   tree x, id = 0;
339   enum cpp_ttype token;
340   struct def_pragma_macro dummy, *c;
341   const char *macroname;
342   void **slot = NULL;
343
344   if (pragma_lex (&x) != CPP_OPEN_PAREN)
345     GCC_BAD ("missing %<(%> after %<#pragma pop_macro%> - ignored");
346
347   token = pragma_lex (&id);
348
349   /* Silently ignore */
350   if (token == CPP_CLOSE_PAREN)
351     return;
352   if (token != CPP_STRING)
353     GCC_BAD ("invalid constant in %<#pragma pop_macro%> - ignored");
354
355   if (pragma_lex (&x) != CPP_CLOSE_PAREN)
356     GCC_BAD ("missing %<)%> after %<#pragma pop_macro%> - ignored");
357
358   if (pragma_lex (&x) != CPP_EOF)
359     warning (OPT_Wpragmas, "junk at end of %<#pragma pop_macro%>");
360
361   /* Check for empty string, and silently ignore.  */
362   if (TREE_STRING_LENGTH (id) < 1)
363     return;
364   macroname = TREE_STRING_POINTER (id);
365
366   dummy.hash = htab_hash_string (macroname);
367   dummy.name = macroname;
368   if (pushed_macro_table)
369     slot = htab_find_slot_with_hash (pushed_macro_table, &dummy,
370                                      dummy.hash, NO_INSERT);
371   if (slot == NULL)
372     return;
373   c = (struct def_pragma_macro *) *slot;
374
375   cpp_pop_definition (reader, c->name, c->value.value);
376
377   if (c->value.prev)
378     c->value = *c->value.prev;
379   else
380     htab_clear_slot (pushed_macro_table, slot);
381 }
382 #endif /* HANDLE_PRAGMA_PUSH_POP_MACRO */
383
384 static GTY(()) tree pending_weaks;
385
386 #ifdef HANDLE_PRAGMA_WEAK
387 static void apply_pragma_weak (tree, tree);
388 static void handle_pragma_weak (cpp_reader *);
389
390 static void
391 apply_pragma_weak (tree decl, tree value)
392 {
393   if (value)
394     {
395       value = build_string (IDENTIFIER_LENGTH (value),
396                             IDENTIFIER_POINTER (value));
397       decl_attributes (&decl, build_tree_list (get_identifier ("alias"),
398                                                build_tree_list (NULL, value)),
399                        0);
400     }
401
402   if (SUPPORTS_WEAK && DECL_EXTERNAL (decl) && TREE_USED (decl)
403       && !DECL_WEAK (decl) /* Don't complain about a redundant #pragma.  */
404       && TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
405     warning (OPT_Wpragmas, "applying #pragma weak %q+D after first use "
406              "results in unspecified behavior", decl);
407
408   declare_weak (decl);
409 }
410
411 void
412 maybe_apply_pragma_weak (tree decl)
413 {
414   tree *p, t, id;
415
416   /* Avoid asking for DECL_ASSEMBLER_NAME when it's not needed.  */
417
418   /* No weak symbols pending, take the short-cut.  */
419   if (!pending_weaks)
420     return;
421   /* If it's not visible outside this file, it doesn't matter whether
422      it's weak.  */
423   if (!DECL_EXTERNAL (decl) && !TREE_PUBLIC (decl))
424     return;
425   /* If it's not a function or a variable, it can't be weak.
426      FIXME: what kinds of things are visible outside this file but
427      aren't functions or variables?   Should this be an assert instead?  */
428   if (TREE_CODE (decl) != FUNCTION_DECL && TREE_CODE (decl) != VAR_DECL)
429     return;
430
431   id = DECL_ASSEMBLER_NAME (decl);
432
433   for (p = &pending_weaks; (t = *p) ; p = &TREE_CHAIN (t))
434     if (id == TREE_PURPOSE (t))
435       {
436         apply_pragma_weak (decl, TREE_VALUE (t));
437         *p = TREE_CHAIN (t);
438         break;
439       }
440 }
441
442 /* Process all "#pragma weak A = B" directives where we have not seen
443    a decl for A.  */
444 void
445 maybe_apply_pending_pragma_weaks (void)
446 {
447   tree *p, t, alias_id, id, decl, *next;
448
449   for (p = &pending_weaks; (t = *p) ; p = next)
450     {
451       next = &TREE_CHAIN (t);
452       alias_id = TREE_PURPOSE (t);
453       id = TREE_VALUE (t);
454
455       if (TREE_VALUE (t) == NULL)
456         continue;
457
458       decl = build_decl (FUNCTION_DECL, alias_id, default_function_type);
459
460       DECL_ARTIFICIAL (decl) = 1;
461       TREE_PUBLIC (decl) = 1;
462       DECL_EXTERNAL (decl) = 1;
463       DECL_WEAK (decl) = 1;
464
465       assemble_alias (decl, id);
466     }
467 }
468
469 /* #pragma weak name [= value] */
470 static void
471 handle_pragma_weak (cpp_reader * ARG_UNUSED (dummy))
472 {
473   tree name, value, x, decl;
474   enum cpp_ttype t;
475
476   value = 0;
477
478   if (pragma_lex (&name) != CPP_NAME)
479     GCC_BAD ("malformed #pragma weak, ignored");
480   t = pragma_lex (&x);
481   if (t == CPP_EQ)
482     {
483       if (pragma_lex (&value) != CPP_NAME)
484         GCC_BAD ("malformed #pragma weak, ignored");
485       t = pragma_lex (&x);
486     }
487   if (t != CPP_EOF)
488     warning (OPT_Wpragmas, "junk at end of %<#pragma weak%>");
489
490   decl = identifier_global_value (name);
491   if (decl && DECL_P (decl))
492     {
493       apply_pragma_weak (decl, value);
494       if (value)
495         assemble_alias (decl, value);
496     }
497   else
498     pending_weaks = tree_cons (name, value, pending_weaks);
499 }
500 #else
501 void
502 maybe_apply_pragma_weak (tree ARG_UNUSED (decl))
503 {
504 }
505
506 void
507 maybe_apply_pending_pragma_weaks (void)
508 {
509 }
510 #endif /* HANDLE_PRAGMA_WEAK */
511
512 /* GCC supports two #pragma directives for renaming the external
513    symbol associated with a declaration (DECL_ASSEMBLER_NAME), for
514    compatibility with the Solaris and Tru64 system headers.  GCC also
515    has its own notation for this, __asm__("name") annotations.
516
517    Corner cases of these features and their interaction:
518
519    1) Both pragmas silently apply only to declarations with external
520       linkage (that is, TREE_PUBLIC || DECL_EXTERNAL).  Asm labels
521       do not have this restriction.
522
523    2) In C++, both #pragmas silently apply only to extern "C" declarations.
524       Asm labels do not have this restriction.
525
526    3) If any of the three ways of changing DECL_ASSEMBLER_NAME is
527       applied to a decl whose DECL_ASSEMBLER_NAME is already set, and the
528       new name is different, a warning issues and the name does not change.
529
530    4) The "source name" for #pragma redefine_extname is the DECL_NAME,
531       *not* the DECL_ASSEMBLER_NAME.
532
533    5) If #pragma extern_prefix is in effect and a declaration occurs
534       with an __asm__ name, the #pragma extern_prefix is silently
535       ignored for that declaration.
536
537    6) If #pragma extern_prefix and #pragma redefine_extname apply to
538       the same declaration, whichever triggered first wins, and a warning
539       is issued.  (We would like to have #pragma redefine_extname always
540       win, but it can appear either before or after the declaration, and
541       if it appears afterward, we have no way of knowing whether a modified
542       DECL_ASSEMBLER_NAME is due to #pragma extern_prefix.)  */
543
544 static GTY(()) tree pending_redefine_extname;
545
546 static void handle_pragma_redefine_extname (cpp_reader *);
547
548 /* #pragma redefine_extname oldname newname */
549 static void
550 handle_pragma_redefine_extname (cpp_reader * ARG_UNUSED (dummy))
551 {
552   tree oldname, newname, decl, x;
553   enum cpp_ttype t;
554
555   if (pragma_lex (&oldname) != CPP_NAME)
556     GCC_BAD ("malformed #pragma redefine_extname, ignored");
557   if (pragma_lex (&newname) != CPP_NAME)
558     GCC_BAD ("malformed #pragma redefine_extname, ignored");
559   t = pragma_lex (&x);
560   if (t != CPP_EOF)
561     warning (OPT_Wpragmas, "junk at end of %<#pragma redefine_extname%>");
562
563   if (!flag_mudflap && !targetm.handle_pragma_redefine_extname)
564     {
565       if (warn_unknown_pragmas > in_system_header)
566         warning (OPT_Wunknown_pragmas,
567                  "#pragma redefine_extname not supported on this target");
568       return;
569     }
570
571   decl = identifier_global_value (oldname);
572   if (decl
573       && (TREE_PUBLIC (decl) || DECL_EXTERNAL (decl))
574       && (TREE_CODE (decl) == FUNCTION_DECL
575           || TREE_CODE (decl) == VAR_DECL)
576       && has_c_linkage (decl))
577     {
578       if (DECL_ASSEMBLER_NAME_SET_P (decl))
579         {
580           const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
581           name = targetm.strip_name_encoding (name);
582
583           if (strcmp (name, IDENTIFIER_POINTER (newname)))
584             warning (OPT_Wpragmas, "#pragma redefine_extname ignored due to "
585                      "conflict with previous rename");
586         }
587       else
588         change_decl_assembler_name (decl, newname);
589     }
590   else
591     /* We have to add this to the rename list even if there's already
592        a global value that doesn't meet the above criteria, because in
593        C++ "struct foo {...};" puts "foo" in the current namespace but
594        does *not* conflict with a subsequent declaration of a function
595        or variable foo.  See g++.dg/other/pragma-re-2.C.  */
596     add_to_renaming_pragma_list (oldname, newname);
597 }
598
599 /* This is called from here and from ia64.c.  */
600 void
601 add_to_renaming_pragma_list (tree oldname, tree newname)
602 {
603   tree previous = purpose_member (oldname, pending_redefine_extname);
604   if (previous)
605     {
606       if (TREE_VALUE (previous) != newname)
607         warning (OPT_Wpragmas, "#pragma redefine_extname ignored due to "
608                  "conflict with previous #pragma redefine_extname");
609       return;
610     }
611
612   pending_redefine_extname
613     = tree_cons (oldname, newname, pending_redefine_extname);
614 }
615
616 static GTY(()) tree pragma_extern_prefix;
617
618 /* #pragma extern_prefix "prefix" */
619 static void
620 handle_pragma_extern_prefix (cpp_reader * ARG_UNUSED (dummy))
621 {
622   tree prefix, x;
623   enum cpp_ttype t;
624
625   if (pragma_lex (&prefix) != CPP_STRING)
626     GCC_BAD ("malformed #pragma extern_prefix, ignored");
627   t = pragma_lex (&x);
628   if (t != CPP_EOF)
629     warning (OPT_Wpragmas, "junk at end of %<#pragma extern_prefix%>");
630
631   if (targetm.handle_pragma_extern_prefix)
632     /* Note that the length includes the null terminator.  */
633     pragma_extern_prefix = (TREE_STRING_LENGTH (prefix) > 1 ? prefix : NULL);
634   else if (warn_unknown_pragmas > in_system_header)
635     warning (OPT_Wunknown_pragmas,
636              "#pragma extern_prefix not supported on this target");
637 }
638
639 /* Hook from the front ends to apply the results of one of the preceding
640    pragmas that rename variables.  */
641
642 tree
643 maybe_apply_renaming_pragma (tree decl, tree asmname)
644 {
645   tree *p, t;
646
647   /* The renaming pragmas are only applied to declarations with
648      external linkage.  */
649   if ((TREE_CODE (decl) != FUNCTION_DECL && TREE_CODE (decl) != VAR_DECL)
650       || (!TREE_PUBLIC (decl) && !DECL_EXTERNAL (decl))
651       || !has_c_linkage (decl))
652     return asmname;
653
654   /* If the DECL_ASSEMBLER_NAME is already set, it does not change,
655      but we may warn about a rename that conflicts.  */
656   if (DECL_ASSEMBLER_NAME_SET_P (decl))
657     {
658       const char *oldname = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
659       oldname = targetm.strip_name_encoding (oldname);
660
661       if (asmname && strcmp (TREE_STRING_POINTER (asmname), oldname))
662           warning (OPT_Wpragmas, "asm declaration ignored due to "
663                    "conflict with previous rename");
664
665       /* Take any pending redefine_extname off the list.  */
666       for (p = &pending_redefine_extname; (t = *p); p = &TREE_CHAIN (t))
667         if (DECL_NAME (decl) == TREE_PURPOSE (t))
668           {
669             /* Only warn if there is a conflict.  */
670             if (strcmp (IDENTIFIER_POINTER (TREE_VALUE (t)), oldname))
671               warning (OPT_Wpragmas, "#pragma redefine_extname ignored due to "
672                        "conflict with previous rename");
673
674             *p = TREE_CHAIN (t);
675             break;
676           }
677       return 0;
678     }
679
680   /* Find out if we have a pending #pragma redefine_extname.  */
681   for (p = &pending_redefine_extname; (t = *p); p = &TREE_CHAIN (t))
682     if (DECL_NAME (decl) == TREE_PURPOSE (t))
683       {
684         tree newname = TREE_VALUE (t);
685         *p = TREE_CHAIN (t);
686
687         /* If we already have an asmname, #pragma redefine_extname is
688            ignored (with a warning if it conflicts).  */
689         if (asmname)
690           {
691             if (strcmp (TREE_STRING_POINTER (asmname),
692                         IDENTIFIER_POINTER (newname)) != 0)
693               warning (OPT_Wpragmas, "#pragma redefine_extname ignored due to "
694                        "conflict with __asm__ declaration");
695             return asmname;
696           }
697
698         /* Otherwise we use what we've got; #pragma extern_prefix is
699            silently ignored.  */
700         return build_string (IDENTIFIER_LENGTH (newname),
701                              IDENTIFIER_POINTER (newname));
702       }
703
704   /* If we've got an asmname, #pragma extern_prefix is silently ignored.  */
705   if (asmname)
706     return asmname;
707
708   /* If #pragma extern_prefix is in effect, apply it.  */
709   if (pragma_extern_prefix)
710     {
711       const char *prefix = TREE_STRING_POINTER (pragma_extern_prefix);
712       size_t plen = TREE_STRING_LENGTH (pragma_extern_prefix) - 1;
713
714       const char *id = IDENTIFIER_POINTER (DECL_NAME (decl));
715       size_t ilen = IDENTIFIER_LENGTH (DECL_NAME (decl));
716
717       char *newname = (char *) alloca (plen + ilen + 1);
718
719       memcpy (newname,        prefix, plen);
720       memcpy (newname + plen, id, ilen + 1);
721
722       return build_string (plen + ilen, newname);
723     }
724
725   /* Nada.  */
726   return 0;
727 }
728
729
730 #ifdef HANDLE_PRAGMA_VISIBILITY
731 static void handle_pragma_visibility (cpp_reader *);
732
733 typedef enum symbol_visibility visibility;
734 DEF_VEC_I (visibility);
735 DEF_VEC_ALLOC_I (visibility, heap);
736 static VEC (visibility, heap) *visstack;
737
738 /* Push the visibility indicated by STR onto the top of the #pragma
739    visibility stack.  */
740
741 void
742 push_visibility (const char *str)
743 {
744   VEC_safe_push (visibility, heap, visstack,
745                  default_visibility);
746   if (!strcmp (str, "default"))
747     default_visibility = VISIBILITY_DEFAULT;
748   else if (!strcmp (str, "internal"))
749     default_visibility = VISIBILITY_INTERNAL;
750   else if (!strcmp (str, "hidden"))
751     default_visibility = VISIBILITY_HIDDEN;
752   else if (!strcmp (str, "protected"))
753     default_visibility = VISIBILITY_PROTECTED;
754   else
755     GCC_BAD ("#pragma GCC visibility push() must specify default, internal, hidden or protected");
756   visibility_options.inpragma = 1;
757 }
758
759 /* Pop a level of the #pragma visibility stack.  */
760
761 void
762 pop_visibility (void)
763 {
764   default_visibility = VEC_pop (visibility, visstack);
765   visibility_options.inpragma
766     = VEC_length (visibility, visstack) != 0;
767 }
768
769 /* Sets the default visibility for symbols to something other than that
770    specified on the command line.  */
771
772 static void
773 handle_pragma_visibility (cpp_reader *dummy ATTRIBUTE_UNUSED)
774 {
775   /* Form is #pragma GCC visibility push(hidden)|pop */
776   tree x;
777   enum cpp_ttype token;
778   enum { bad, push, pop } action = bad;
779
780   token = pragma_lex (&x);
781   if (token == CPP_NAME)
782     {
783       const char *op = IDENTIFIER_POINTER (x);
784       if (!strcmp (op, "push"))
785         action = push;
786       else if (!strcmp (op, "pop"))
787         action = pop;
788     }
789   if (bad == action)
790     GCC_BAD ("#pragma GCC visibility must be followed by push or pop");
791   else
792     {
793       if (pop == action)
794         {
795           if (!VEC_length (visibility, visstack))
796             GCC_BAD ("no matching push for %<#pragma GCC visibility pop%>");
797           else
798             pop_visibility ();
799         }
800       else
801         {
802           if (pragma_lex (&x) != CPP_OPEN_PAREN)
803             GCC_BAD ("missing %<(%> after %<#pragma GCC visibility push%> - ignored");
804           token = pragma_lex (&x);
805           if (token != CPP_NAME)
806             GCC_BAD ("malformed #pragma GCC visibility push");
807           else
808             push_visibility (IDENTIFIER_POINTER (x));
809           if (pragma_lex (&x) != CPP_CLOSE_PAREN)
810             GCC_BAD ("missing %<(%> after %<#pragma GCC visibility push%> - ignored");
811         }
812     }
813   if (pragma_lex (&x) != CPP_EOF)
814     warning (OPT_Wpragmas, "junk at end of %<#pragma GCC visibility%>");
815 }
816
817 #endif
818
819 static void
820 handle_pragma_diagnostic(cpp_reader *ARG_UNUSED(dummy))
821 {
822   const char *kind_string, *option_string;
823   unsigned int option_index;
824   enum cpp_ttype token;
825   diagnostic_t kind;
826   tree x;
827
828   if (cfun)
829     {
830       error ("#pragma GCC diagnostic not allowed inside functions");
831       return;
832     }
833
834   token = pragma_lex (&x);
835   if (token != CPP_NAME)
836     GCC_BAD ("missing [error|warning|ignored] after %<#pragma GCC diagnostic%>");
837   kind_string = IDENTIFIER_POINTER (x);
838   if (strcmp (kind_string, "error") == 0)
839     kind = DK_ERROR;
840   else if (strcmp (kind_string, "warning") == 0)
841     kind = DK_WARNING;
842   else if (strcmp (kind_string, "ignored") == 0)
843     kind = DK_IGNORED;
844   else
845     GCC_BAD ("expected [error|warning|ignored] after %<#pragma GCC diagnostic%>");
846
847   token = pragma_lex (&x);
848   if (token != CPP_STRING)
849     GCC_BAD ("missing option after %<#pragma GCC diagnostic%> kind");
850   option_string = TREE_STRING_POINTER (x);
851   for (option_index = 0; option_index < cl_options_count; option_index++)
852     if (strcmp (cl_options[option_index].opt_text, option_string) == 0)
853       {
854         /* This overrides -Werror, for example.  */
855         diagnostic_classify_diagnostic (global_dc, option_index, kind);
856         /* This makes sure the option is enabled, like -Wfoo would do.  */
857         if (cl_options[option_index].var_type == CLVC_BOOLEAN
858             && cl_options[option_index].flag_var
859             && kind != DK_IGNORED)
860             *(int *) cl_options[option_index].flag_var = 1;
861         return;
862       }
863   GCC_BAD ("unknown option after %<#pragma GCC diagnostic%> kind");
864 }
865
866 /*  Parse #pragma GCC target (xxx) to set target specific options.  */
867 static void
868 handle_pragma_target(cpp_reader *ARG_UNUSED(dummy))
869 {
870   enum cpp_ttype token;
871   tree x;
872   bool close_paren_needed_p = false;
873
874   if (cfun)
875     {
876       error ("#pragma GCC option is not allowed inside functions");
877       return;
878     }
879
880   token = pragma_lex (&x);
881   if (token == CPP_OPEN_PAREN)
882     {
883       close_paren_needed_p = true;
884       token = pragma_lex (&x);
885     }
886
887   if (token != CPP_STRING)
888     {
889       GCC_BAD ("%<#pragma GCC option%> is not a string");
890       return;
891     }
892
893   /* Strings are user options.  */
894   else
895     {
896       tree args = NULL_TREE;
897
898       do
899         {
900           /* Build up the strings now as a tree linked list.  Skip empty
901              strings.  */
902           if (TREE_STRING_LENGTH (x) > 0)
903             args = tree_cons (NULL_TREE, x, args);
904
905           token = pragma_lex (&x);
906           while (token == CPP_COMMA)
907             token = pragma_lex (&x);
908         }
909       while (token == CPP_STRING);
910
911       if (close_paren_needed_p)
912         {
913           if (token == CPP_CLOSE_PAREN)
914             token = pragma_lex (&x);
915           else
916             GCC_BAD ("%<#pragma GCC target (string [,string]...)%> does "
917                      "not have a final %<)%>.");
918         }
919
920       if (token != CPP_EOF)
921         {
922           error ("#pragma GCC target string... is badly formed");
923           return;
924         }
925
926       /* put arguments in the order the user typed them.  */
927       args = nreverse (args);
928
929       if (targetm.target_option.pragma_parse (args, NULL_TREE))
930         current_target_pragma = args;
931     }
932 }
933
934 /* Handle #pragma GCC optimize to set optimization options.  */
935 static void
936 handle_pragma_optimize (cpp_reader *ARG_UNUSED(dummy))
937 {
938   enum cpp_ttype token;
939   tree x;
940   bool close_paren_needed_p = false;
941   tree optimization_previous_node = optimization_current_node;
942
943   if (cfun)
944     {
945       error ("#pragma GCC optimize is not allowed inside functions");
946       return;
947     }
948
949   token = pragma_lex (&x);
950   if (token == CPP_OPEN_PAREN)
951     {
952       close_paren_needed_p = true;
953       token = pragma_lex (&x);
954     }
955
956   if (token != CPP_STRING && token != CPP_NUMBER)
957     {
958       GCC_BAD ("%<#pragma GCC optimize%> is not a string or number");
959       return;
960     }
961
962   /* Strings/numbers are user options.  */
963   else
964     {
965       tree args = NULL_TREE;
966
967       do
968         {
969           /* Build up the numbers/strings now as a list.  */
970           if (token != CPP_STRING || TREE_STRING_LENGTH (x) > 0)
971             args = tree_cons (NULL_TREE, x, args);
972
973           token = pragma_lex (&x);
974           while (token == CPP_COMMA)
975             token = pragma_lex (&x);
976         }
977       while (token == CPP_STRING || token == CPP_NUMBER);
978
979       if (close_paren_needed_p)
980         {
981           if (token == CPP_CLOSE_PAREN)
982             token = pragma_lex (&x);
983           else
984             GCC_BAD ("%<#pragma GCC optimize (string [,string]...)%> does "
985                      "not have a final %<)%>.");
986         }
987
988       if (token != CPP_EOF)
989         {
990           error ("#pragma GCC optimize string... is badly formed");
991           return;
992         }
993
994       /* put arguments in the order the user typed them.  */
995       args = nreverse (args);
996
997       parse_optimize_options (args, false);
998       current_optimize_pragma = chainon (current_optimize_pragma, args);
999       optimization_current_node = build_optimization_node ();
1000       c_cpp_builtins_optimize_pragma (parse_in,
1001                                       optimization_previous_node,
1002                                       optimization_current_node);
1003     }
1004 }
1005
1006 /* Stack of the #pragma GCC options created with #pragma GCC push_option.  Save
1007    both the binary representation of the options and the TREE_LIST of
1008    strings that will be added to the function's attribute list.  */
1009 typedef struct GTY(()) opt_stack {
1010   struct opt_stack *prev;
1011   tree target_binary;
1012   tree target_strings;
1013   tree optimize_binary;
1014   tree optimize_strings;
1015 } opt_stack;
1016
1017 static GTY(()) struct opt_stack * options_stack;
1018
1019 /* Handle #pragma GCC push_options to save the current target and optimization
1020    options.  */
1021
1022 static void
1023 handle_pragma_push_options (cpp_reader *ARG_UNUSED(dummy))
1024 {
1025   enum cpp_ttype token;
1026   tree x = 0;
1027   opt_stack *p;
1028
1029   token = pragma_lex (&x);
1030   if (token != CPP_EOF)
1031     {
1032       warning (OPT_Wpragmas, "junk at end of %<#pragma push_options%>");
1033       return;
1034     }
1035
1036   p = GGC_NEW (opt_stack);
1037   p->prev = options_stack;
1038   options_stack = p;
1039
1040   /* Save optimization and target flags in binary format.  */
1041   p->optimize_binary = build_optimization_node ();
1042   p->target_binary = build_target_option_node ();
1043
1044   /* Save optimization and target flags in string list format.  */
1045   p->optimize_strings = copy_list (current_optimize_pragma);
1046   p->target_strings = copy_list (current_target_pragma);
1047 }
1048
1049 /* Handle #pragma GCC pop_options to restore the current target and
1050    optimization options from a previous push_options.  */
1051
1052 static void
1053 handle_pragma_pop_options (cpp_reader *ARG_UNUSED(dummy))
1054 {
1055   enum cpp_ttype token;
1056   tree x = 0;
1057   opt_stack *p;
1058
1059   token = pragma_lex (&x);
1060   if (token != CPP_EOF)
1061     {
1062       warning (OPT_Wpragmas, "junk at end of %<#pragma pop_options%>");
1063       return;
1064     }
1065
1066   if (! options_stack)
1067     {
1068       warning (OPT_Wpragmas,
1069                "%<#pragma GCC pop_options%> without a corresponding "
1070                "%<#pragma GCC push_options%>");
1071       return;
1072     }
1073
1074   p = options_stack;
1075   options_stack = p->prev;
1076
1077   if (p->target_binary != target_option_current_node)
1078     {
1079       (void) targetm.target_option.pragma_parse (NULL_TREE, p->target_binary);
1080       target_option_current_node = p->target_binary;
1081     }
1082
1083   if (p->optimize_binary != optimization_current_node)
1084     {
1085       tree old_optimize = optimization_current_node;
1086       cl_optimization_restore (TREE_OPTIMIZATION (p->optimize_binary));
1087       c_cpp_builtins_optimize_pragma (parse_in, old_optimize,
1088                                       p->optimize_binary);
1089       optimization_current_node = p->optimize_binary;
1090     }
1091
1092   current_target_pragma = p->target_strings;
1093   current_optimize_pragma = p->optimize_strings;
1094 }
1095
1096 /* Handle #pragma GCC reset_options to restore the current target and
1097    optimization options to the original options used on the command line.  */
1098
1099 static void
1100 handle_pragma_reset_options (cpp_reader *ARG_UNUSED(dummy))
1101 {
1102   enum cpp_ttype token;
1103   tree x = 0;
1104   tree new_optimize = optimization_default_node;
1105   tree new_target = target_option_default_node;
1106
1107   token = pragma_lex (&x);
1108   if (token != CPP_EOF)
1109     {
1110       warning (OPT_Wpragmas, "junk at end of %<#pragma reset_options%>");
1111       return;
1112     }
1113
1114   if (new_target != target_option_current_node)
1115     {
1116       (void) targetm.target_option.pragma_parse (NULL_TREE, new_target);
1117       target_option_current_node = new_target;
1118     }
1119
1120   if (new_optimize != optimization_current_node)
1121     {
1122       tree old_optimize = optimization_current_node;
1123       cl_optimization_restore (TREE_OPTIMIZATION (new_optimize));
1124       c_cpp_builtins_optimize_pragma (parse_in, old_optimize, new_optimize);
1125       optimization_current_node = new_optimize;
1126     }
1127
1128   current_target_pragma = NULL_TREE;
1129   current_optimize_pragma = NULL_TREE;
1130 }
1131
1132 /* Print a plain user-specified message.  */
1133
1134 static void
1135 handle_pragma_message (cpp_reader *ARG_UNUSED(dummy))
1136 {
1137   enum cpp_ttype token;
1138   tree x, message = 0;
1139
1140   token = pragma_lex (&x);
1141   if (token == CPP_OPEN_PAREN)
1142     {
1143       token = pragma_lex (&x);
1144       if (token == CPP_STRING)
1145         message = x;
1146       else
1147         GCC_BAD ("expected a string after %<#pragma message%>");
1148       if (pragma_lex (&x) != CPP_CLOSE_PAREN)
1149         GCC_BAD ("malformed %<#pragma message%>, ignored");
1150     }
1151   else if (token == CPP_STRING)
1152     message = x;
1153   else
1154     GCC_BAD ("expected a string after %<#pragma message%>");
1155
1156   gcc_assert (message);
1157
1158   if (pragma_lex (&x) != CPP_EOF)
1159     warning (OPT_Wpragmas, "junk at end of %<#pragma message%>");
1160
1161   if (TREE_STRING_LENGTH (message) > 1)
1162     inform (input_location, "#pragma message: %s", TREE_STRING_POINTER (message));
1163 }
1164
1165 /* A vector of registered pragma callbacks.  */
1166
1167 DEF_VEC_O (pragma_handler);
1168 DEF_VEC_ALLOC_O (pragma_handler, heap);
1169
1170 static VEC(pragma_handler, heap) *registered_pragmas;
1171
1172 typedef struct
1173 {
1174   const char *space;
1175   const char *name;
1176 } pragma_ns_name;
1177
1178 DEF_VEC_O (pragma_ns_name);
1179 DEF_VEC_ALLOC_O (pragma_ns_name, heap);
1180
1181 static VEC(pragma_ns_name, heap) *registered_pp_pragmas;
1182
1183 struct omp_pragma_def { const char *name; unsigned int id; };
1184 static const struct omp_pragma_def omp_pragmas[] = {
1185   { "atomic", PRAGMA_OMP_ATOMIC },
1186   { "barrier", PRAGMA_OMP_BARRIER },
1187   { "critical", PRAGMA_OMP_CRITICAL },
1188   { "flush", PRAGMA_OMP_FLUSH },
1189   { "for", PRAGMA_OMP_FOR },
1190   { "master", PRAGMA_OMP_MASTER },
1191   { "ordered", PRAGMA_OMP_ORDERED },
1192   { "parallel", PRAGMA_OMP_PARALLEL },
1193   { "section", PRAGMA_OMP_SECTION },
1194   { "sections", PRAGMA_OMP_SECTIONS },
1195   { "single", PRAGMA_OMP_SINGLE },
1196   { "task", PRAGMA_OMP_TASK },
1197   { "taskwait", PRAGMA_OMP_TASKWAIT },
1198   { "threadprivate", PRAGMA_OMP_THREADPRIVATE }
1199 };
1200
1201 void
1202 c_pp_lookup_pragma (unsigned int id, const char **space, const char **name)
1203 {
1204   const int n_omp_pragmas = sizeof (omp_pragmas) / sizeof (*omp_pragmas);
1205   int i;
1206
1207   for (i = 0; i < n_omp_pragmas; ++i)
1208     if (omp_pragmas[i].id == id)
1209       {
1210         *space = "omp";
1211         *name = omp_pragmas[i].name;
1212         return;
1213       }
1214
1215   if (id >= PRAGMA_FIRST_EXTERNAL
1216       && (id < PRAGMA_FIRST_EXTERNAL
1217           + VEC_length (pragma_ns_name, registered_pp_pragmas)))
1218     {
1219       *space = VEC_index (pragma_ns_name, registered_pp_pragmas,
1220                           id - PRAGMA_FIRST_EXTERNAL)->space;
1221       *name = VEC_index (pragma_ns_name, registered_pp_pragmas,
1222                          id - PRAGMA_FIRST_EXTERNAL)->name;
1223       return;
1224     }
1225
1226   gcc_unreachable ();
1227 }
1228
1229 /* Front-end wrappers for pragma registration to avoid dragging
1230    cpplib.h in almost everywhere.  */
1231
1232 static void
1233 c_register_pragma_1 (const char *space, const char *name,
1234                      pragma_handler handler, bool allow_expansion)
1235 {
1236   unsigned id;
1237
1238   if (flag_preprocess_only)
1239     {
1240       pragma_ns_name ns_name;
1241
1242       if (!allow_expansion)
1243         return;
1244
1245       ns_name.space = space;
1246       ns_name.name = name;
1247       VEC_safe_push (pragma_ns_name, heap, registered_pp_pragmas, &ns_name);
1248       id = VEC_length (pragma_ns_name, registered_pp_pragmas);
1249       id += PRAGMA_FIRST_EXTERNAL - 1;
1250     }
1251   else
1252     {
1253       VEC_safe_push (pragma_handler, heap, registered_pragmas, &handler);
1254       id = VEC_length (pragma_handler, registered_pragmas);
1255       id += PRAGMA_FIRST_EXTERNAL - 1;
1256
1257       /* The C++ front end allocates 6 bits in cp_token; the C front end
1258          allocates 7 bits in c_token.  At present this is sufficient.  */
1259       gcc_assert (id < 64);
1260     }
1261
1262   cpp_register_deferred_pragma (parse_in, space, name, id,
1263                                 allow_expansion, false);
1264 }
1265
1266 void
1267 c_register_pragma (const char *space, const char *name, pragma_handler handler)
1268 {
1269   c_register_pragma_1 (space, name, handler, false);
1270 }
1271
1272 void
1273 c_register_pragma_with_expansion (const char *space, const char *name,
1274                                   pragma_handler handler)
1275 {
1276   c_register_pragma_1 (space, name, handler, true);
1277 }
1278
1279 void
1280 c_invoke_pragma_handler (unsigned int id)
1281 {
1282   pragma_handler handler;
1283
1284   id -= PRAGMA_FIRST_EXTERNAL;
1285   handler = *VEC_index (pragma_handler, registered_pragmas, id);
1286
1287   handler (parse_in);
1288 }
1289
1290 /* Set up front-end pragmas.  */
1291 void
1292 init_pragma (void)
1293 {
1294   if (flag_openmp)
1295     {
1296       const int n_omp_pragmas = sizeof (omp_pragmas) / sizeof (*omp_pragmas);
1297       int i;
1298
1299       for (i = 0; i < n_omp_pragmas; ++i)
1300         cpp_register_deferred_pragma (parse_in, "omp", omp_pragmas[i].name,
1301                                       omp_pragmas[i].id, true, true);
1302     }
1303
1304   if (!flag_preprocess_only)
1305     cpp_register_deferred_pragma (parse_in, "GCC", "pch_preprocess",
1306                                   PRAGMA_GCC_PCH_PREPROCESS, false, false);
1307
1308 #ifdef HANDLE_PRAGMA_PACK
1309 #ifdef HANDLE_PRAGMA_PACK_WITH_EXPANSION
1310   c_register_pragma_with_expansion (0, "pack", handle_pragma_pack);
1311 #else
1312   c_register_pragma (0, "pack", handle_pragma_pack);
1313 #endif
1314 #endif
1315 #ifdef HANDLE_PRAGMA_PUSH_POP_MACRO
1316   c_register_pragma (0 ,"push_macro", handle_pragma_push_macro);
1317   c_register_pragma (0 ,"pop_macro", handle_pragma_pop_macro);
1318 #endif
1319 #ifdef HANDLE_PRAGMA_WEAK
1320   c_register_pragma (0, "weak", handle_pragma_weak);
1321 #endif
1322 #ifdef HANDLE_PRAGMA_VISIBILITY
1323   c_register_pragma ("GCC", "visibility", handle_pragma_visibility);
1324 #endif
1325
1326   c_register_pragma ("GCC", "diagnostic", handle_pragma_diagnostic);
1327   c_register_pragma ("GCC", "target", handle_pragma_target);
1328   c_register_pragma ("GCC", "optimize", handle_pragma_optimize);
1329   c_register_pragma ("GCC", "push_options", handle_pragma_push_options);
1330   c_register_pragma ("GCC", "pop_options", handle_pragma_pop_options);
1331   c_register_pragma ("GCC", "reset_options", handle_pragma_reset_options);
1332
1333   c_register_pragma_with_expansion (0, "redefine_extname", handle_pragma_redefine_extname);
1334   c_register_pragma (0, "extern_prefix", handle_pragma_extern_prefix);
1335
1336   c_register_pragma_with_expansion (0, "message", handle_pragma_message);
1337
1338 #ifdef REGISTER_TARGET_PRAGMAS
1339   REGISTER_TARGET_PRAGMAS ();
1340 #endif
1341 }
1342
1343 #include "gt-c-pragma.h"