/* Handle #pragma, system V.4 style. Supports #pragma weak and #pragma pack.
- Copyright (C) 1992, 1997, 1998, 1999, 2000 Free Software Foundation, Inc.
+ Copyright (C) 1992, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004
+ Free Software Foundation, Inc.
-This file is part of GNU CC.
+This file is part of GCC.
-GNU CC is free software; you can redistribute it and/or modify
-it under the terms of the GNU General Public License as published by
-the Free Software Foundation; either version 2, or (at your option)
-any later version.
+GCC is free software; you can redistribute it and/or modify it under
+the terms of the GNU General Public License as published by the Free
+Software Foundation; either version 2, or (at your option) any later
+version.
-GNU CC is distributed in the hope that it will be useful,
-but WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-GNU General Public License for more details.
+GCC is distributed in the hope that it will be useful, but WITHOUT ANY
+WARRANTY; without even the implied warranty of MERCHANTABILITY or
+FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
+for more details.
You should have received a copy of the GNU General Public License
-along with GNU CC; see the file COPYING. If not, write to
-the Free Software Foundation, 59 Temple Place - Suite 330,
-Boston, MA 02111-1307, USA. */
+along with GCC; see the file COPYING. If not, write to the Free
+Software Foundation, 59 Temple Place - Suite 330, Boston, MA
+02111-1307, USA. */
#include "config.h"
#include "system.h"
+#include "coretypes.h"
+#include "tm.h"
#include "rtl.h"
#include "tree.h"
#include "function.h"
-#include "defaults.h"
#include "cpplib.h"
#include "c-pragma.h"
#include "flags.h"
#include "toplev.h"
#include "ggc.h"
-#include "c-lex.h"
+#include "c-common.h"
+#include "output.h"
#include "tm_p.h"
-#if USE_CPPLIB
-extern cpp_reader parse_in;
-#else
-struct pragma_entry;
-static struct pragma_entry *pragmas;
-
-void cpp_register_pragma PARAMS ((cpp_reader *, const char *, const char *,
- void (*) PARAMS ((cpp_reader *)) ));
-void cpp_register_pragma_space PARAMS ((cpp_reader *, const char *));
-#endif
+#define GCC_BAD(msgid) do { warning (msgid); return; } while (0)
+#define GCC_BAD2(msgid, arg) do { warning (msgid, arg); return; } while (0)
-#define BAD(msgid) do { warning (msgid); return; } while (0)
-#define BAD2(msgid, arg) do { warning (msgid, arg); return; } while (0)
-
-#ifdef HANDLE_PRAGMA_PACK
-static void handle_pragma_pack PARAMS ((cpp_reader *));
-
-#ifdef HANDLE_PRAGMA_PACK_PUSH_POP
-typedef struct align_stack
+typedef struct align_stack GTY(())
{
int alignment;
unsigned int num_pushes;
struct align_stack * prev;
} align_stack;
-static struct align_stack * alignment_stack = NULL;
+static GTY(()) struct align_stack * alignment_stack;
+
+#ifdef HANDLE_PRAGMA_PACK
+static void handle_pragma_pack (cpp_reader *);
-/* If we have a "global" #pragma pack(<n>) if effect when the first
- #pragma push(pack,<n>) is encountered, this stores the the value of
+#ifdef HANDLE_PRAGMA_PACK_PUSH_POP
+/* If we have a "global" #pragma pack(<n>) in effect when the first
+ #pragma pack(push,<n>) is encountered, this stores the value of
maximum_field_alignment in effect. When the final pop_alignment()
happens, we restore the value to this, not to a value of 0 for
- maximum_field_alignment. Value is in bits. */
-static int default_alignment;
+ maximum_field_alignment. Value is in bits. */
+static int default_alignment;
#define SET_GLOBAL_ALIGNMENT(ALIGN) \
-(default_alignment = maximum_field_alignment = (ALIGN))
+ (default_alignment = maximum_field_alignment = (ALIGN))
-static void push_alignment PARAMS ((int, tree));
-static void pop_alignment PARAMS ((tree));
-static void mark_align_stack PARAMS ((void *));
+static void push_alignment (int, tree);
+static void pop_alignment (tree);
/* Push an alignment value onto the stack. */
static void
-push_alignment (alignment, id)
- int alignment;
- tree id;
+push_alignment (int alignment, tree id)
{
-
if (alignment_stack == NULL
|| alignment_stack->alignment != alignment
|| id != NULL_TREE)
{
align_stack * entry;
- entry = (align_stack *) xmalloc (sizeof (* entry));
+ entry = ggc_alloc (sizeof (* entry));
entry->alignment = alignment;
entry->num_pushes = 1;
/* The current value of maximum_field_alignment is not necessarily
0 since there may be a #pragma pack(<n>) in effect; remember it
- so that we can restore it after the final #pragma pop(). */
+ so that we can restore it after the final #pragma pop(). */
if (alignment_stack == NULL)
default_alignment = maximum_field_alignment;
/* Undo a push of an alignment onto the stack. */
static void
-pop_alignment (id)
- tree id;
+pop_alignment (tree id)
{
align_stack * entry;
else
maximum_field_alignment = entry->alignment;
- free (alignment_stack);
-
alignment_stack = entry;
}
}
-
-static void
-mark_align_stack (p)
- void *p;
-{
- align_stack *a = *(align_stack **) p;
-
- while (a)
- {
- ggc_mark_tree (a->id);
- a = a->prev;
- }
-}
#else /* not HANDLE_PRAGMA_PACK_PUSH_POP */
#define SET_GLOBAL_ALIGNMENT(ALIGN) (maximum_field_alignment = (ALIGN))
#define push_alignment(ID, N) \
- BAD("#pragma pack(push[, id], <n>) is not supported on this target")
+ GCC_BAD("#pragma pack(push[, id], <n>) is not supported on this target")
#define pop_alignment(ID) \
- BAD("#pragma pack(pop[, id], <n>) is not supported on this target")
+ GCC_BAD("#pragma pack(pop[, id], <n>) is not supported on this target")
#endif /* HANDLE_PRAGMA_PACK_PUSH_POP */
/* #pragma pack ()
#pragma pack (pop)
#pragma pack (pop, ID) */
static void
-handle_pragma_pack (dummy)
- cpp_reader *dummy ATTRIBUTE_UNUSED;
+handle_pragma_pack (cpp_reader *dummy ATTRIBUTE_UNUSED)
{
tree x, id = 0;
- int align;
+ int align = -1;
enum cpp_ttype token;
- enum { set, reset, push, pop } action;
+ enum { set, push, pop } action;
if (c_lex (&x) != CPP_OPEN_PAREN)
- BAD ("missing '(' after '#pragma pack' - ignored");
+ GCC_BAD ("missing '(' after '#pragma pack' - ignored");
token = c_lex (&x);
if (token == CPP_CLOSE_PAREN)
- action = reset;
+ {
+ action = set;
+ align = 0;
+ }
else if (token == CPP_NUMBER)
{
align = TREE_INT_CST_LOW (x);
action = set;
+ if (c_lex (&x) != CPP_CLOSE_PAREN)
+ GCC_BAD ("malformed '#pragma pack' - ignored");
}
else if (token == CPP_NAME)
{
- if (!strcmp (IDENTIFIER_POINTER (x), "push"))
+#define GCC_BAD_ACTION do { if (action == push) \
+ GCC_BAD ("malformed '#pragma pack(push[, id], <n>)' - ignored"); \
+ else \
+ GCC_BAD ("malformed '#pragma pack(pop[, id])' - ignored"); \
+ } while (0)
+
+ const char *op = IDENTIFIER_POINTER (x);
+ if (!strcmp (op, "push"))
action = push;
- else if (!strcmp (IDENTIFIER_POINTER (x), "pop"))
+ else if (!strcmp (op, "pop"))
action = pop;
else
- BAD2 ("unknown action '%s' for '#pragma pack' - ignored",
- IDENTIFIER_POINTER (x));
- }
- else
- BAD ("malformed '#pragma pack' - ignored");
-
- token = c_lex (&x);
- if ((action == set || action == reset) && token != CPP_CLOSE_PAREN)
- BAD ("malformed '#pragma pack' - ignored");
- if ((action == push || action == pop) && token != CPP_COMMA)
- BAD2 ("malformed '#pragma pack(%s[, id], <n>)' - ignored",
- action == push ? "push" : "pop");
+ GCC_BAD2 ("unknown action '%s' for '#pragma pack' - ignored", op);
- if (action == push || action == pop)
- {
token = c_lex (&x);
- if (token == CPP_NAME)
+ if (token != CPP_COMMA && action == push)
+ GCC_BAD_ACTION;
+
+ if (token == CPP_COMMA)
{
- id = x;
- if (c_lex (&x) != CPP_COMMA)
- BAD2 ("malformed '#pragma pack(%s[, id], <n>)' - ignored",
- action == push ? "push" : "pop");
token = c_lex (&x);
+ if (token == CPP_NAME)
+ {
+ id = x;
+ if (action == push && c_lex (&x) != CPP_COMMA)
+ GCC_BAD_ACTION;
+ token = c_lex (&x);
+ }
+
+ if (action == push)
+ {
+ if (token == CPP_NUMBER)
+ {
+ align = TREE_INT_CST_LOW (x);
+ token = c_lex (&x);
+ }
+ else
+ GCC_BAD_ACTION;
+ }
}
- if (token == CPP_NUMBER)
- align = TREE_INT_CST_LOW (x);
- else
- BAD2 ("malformed '#pragma pack(%s[, id], <n>)' - ignored",
- action == push ? "push" : "pop");
- if (c_lex (&x) != CPP_CLOSE_PAREN)
- BAD ("malformed '#pragma pack' - ignored");
+ if (token != CPP_CLOSE_PAREN)
+ GCC_BAD_ACTION;
+#undef GCC_BAD_ACTION
}
+ else
+ GCC_BAD ("malformed '#pragma pack' - ignored");
+
if (c_lex (&x) != CPP_EOF)
warning ("junk at end of '#pragma pack'");
- switch (align)
- {
- case 0:
- case 1:
- case 2:
- case 4:
- case 8:
- case 16:
- align *= BITS_PER_UNIT;
- break;
- default:
- BAD2 ("alignment must be a small power of two, not %d", align);
- }
+ if (action != pop)
+ switch (align)
+ {
+ case 0:
+ case 1:
+ case 2:
+ case 4:
+ case 8:
+ case 16:
+ align *= BITS_PER_UNIT;
+ break;
+ default:
+ GCC_BAD2 ("alignment must be a small power of two, not %d", align);
+ }
switch (action)
{
case set: SET_GLOBAL_ALIGNMENT (align); break;
- case reset: SET_GLOBAL_ALIGNMENT (0); break;
case push: push_alignment (align, id); break;
case pop: pop_alignment (id); break;
}
}
#endif /* HANDLE_PRAGMA_PACK */
+static GTY(()) tree pending_weaks;
+
#ifdef HANDLE_PRAGMA_WEAK
-static void handle_pragma_weak PARAMS ((cpp_reader *));
+static void apply_pragma_weak (tree, tree);
+static void handle_pragma_weak (cpp_reader *);
+
+static void
+apply_pragma_weak (tree decl, tree value)
+{
+ if (value)
+ {
+ value = build_string (IDENTIFIER_LENGTH (value),
+ IDENTIFIER_POINTER (value));
+ decl_attributes (&decl, build_tree_list (get_identifier ("alias"),
+ build_tree_list (NULL, value)),
+ 0);
+ }
+
+ if (SUPPORTS_WEAK && DECL_EXTERNAL (decl) && TREE_USED (decl)
+ && !DECL_WEAK (decl) /* Don't complain about a redundant #pragma. */
+ && TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
+ warning ("%Japplying #pragma weak '%D' after first use results "
+ "in unspecified behavior", decl, decl);
+
+ declare_weak (decl);
+}
+
+void
+maybe_apply_pragma_weak (tree decl)
+{
+ tree *p, t, id;
+
+ /* Avoid asking for DECL_ASSEMBLER_NAME when it's not needed. */
+
+ /* No weak symbols pending, take the short-cut. */
+ if (!pending_weaks)
+ return;
+ /* If it's not visible outside this file, it doesn't matter whether
+ it's weak. */
+ if (!DECL_EXTERNAL (decl) && !TREE_PUBLIC (decl))
+ return;
+ /* If it's not a function or a variable, it can't be weak.
+ FIXME: what kinds of things are visible outside this file but
+ aren't functions or variables? Should this be an abort() instead? */
+ if (TREE_CODE (decl) != FUNCTION_DECL && TREE_CODE (decl) != VAR_DECL)
+ return;
+
+ id = DECL_ASSEMBLER_NAME (decl);
+
+ for (p = &pending_weaks; (t = *p) ; p = &TREE_CHAIN (t))
+ if (id == TREE_PURPOSE (t))
+ {
+ apply_pragma_weak (decl, TREE_VALUE (t));
+ *p = TREE_CHAIN (t);
+ break;
+ }
+}
/* #pragma weak name [= value] */
static void
-handle_pragma_weak (dummy)
- cpp_reader *dummy ATTRIBUTE_UNUSED;
+handle_pragma_weak (cpp_reader *dummy ATTRIBUTE_UNUSED)
{
- tree name, value, x;
+ tree name, value, x, decl;
enum cpp_ttype t;
value = 0;
if (c_lex (&name) != CPP_NAME)
- BAD ("malformed #pragma weak, ignored");
+ GCC_BAD ("malformed #pragma weak, ignored");
t = c_lex (&x);
if (t == CPP_EQ)
{
if (c_lex (&value) != CPP_NAME)
- BAD ("malformed #pragma weak, ignored");
+ GCC_BAD ("malformed #pragma weak, ignored");
t = c_lex (&x);
}
if (t != CPP_EOF)
warning ("junk at end of #pragma weak");
- add_weak (IDENTIFIER_POINTER (name), value ? IDENTIFIER_POINTER (value) : 0);
+ decl = identifier_global_value (name);
+ if (decl && TREE_CODE_CLASS (TREE_CODE (decl)) == 'd')
+ {
+ apply_pragma_weak (decl, value);
+ if (value)
+ assemble_alias (decl, value);
+ }
+ else
+ pending_weaks = tree_cons (name, value, pending_weaks);
}
-#endif
-
-#if !USE_CPPLIB
-/* Glue version of cpplib's pragma registration and dispatch system. */
-struct pragma_entry
-{
- struct pragma_entry *next;
- const char *name;
- size_t len;
- int isnspace;
- union {
- void (*handler) PARAMS ((cpp_reader *));
- struct pragma_entry *space;
- } u;
-};
-
+#else
void
-cpp_register_pragma_space (pfile, space)
- cpp_reader *pfile ATTRIBUTE_UNUSED;
- const char *space;
+maybe_apply_pragma_weak (tree decl ATTRIBUTE_UNUSED)
{
- struct pragma_entry *new;
- const struct pragma_entry *p = pragmas;
- size_t len = strlen (space);
+}
+#endif /* HANDLE_PRAGMA_WEAK */
- while (p)
- {
- if (p->isnspace && p->len == len && !memcmp (p->name, space, len))
- return;
- p = p->next;
- }
+static GTY(()) tree pending_redefine_extname;
- new = (struct pragma_entry *) xmalloc (sizeof (struct pragma_entry));
- new->name = space;
- new->len = len;
- new->isnspace = 1;
- new->u.space = 0;
+static void handle_pragma_redefine_extname (cpp_reader *);
- new->next = pragmas;
- pragmas = new;
-}
-
-void
-cpp_register_pragma (pfile, space, name, handler)
- cpp_reader *pfile ATTRIBUTE_UNUSED;
- const char *space;
- const char *name;
- void (*handler) PARAMS ((cpp_reader *));
+/* #pragma redefined_extname oldname newname */
+static void
+handle_pragma_redefine_extname (cpp_reader *dummy ATTRIBUTE_UNUSED)
{
- struct pragma_entry **x, *new;
- size_t len;
+ tree oldname, newname, decl, x;
+ enum cpp_ttype t;
- x = &pragmas;
- if (space)
+ if (c_lex (&oldname) != CPP_NAME)
{
- struct pragma_entry *p = pragmas;
- len = strlen (space);
- while (p)
- {
- if (p->isnspace && p->len == len && !memcmp (p->name, space, len))
- {
- x = &p->u.space;
- goto found;
- }
- p = p->next;
- }
- abort ();
+ warning ("malformed #pragma redefine_extname, ignored");
+ return;
}
+ if (c_lex (&newname) != CPP_NAME)
+ {
+ warning ("malformed #pragma redefine_extname, ignored");
+ return;
+ }
+ t = c_lex (&x);
+ if (t != CPP_EOF)
+ warning ("junk at end of #pragma redefine_extname");
- found:
- new = (struct pragma_entry *) xmalloc (sizeof (struct pragma_entry));
- new->name = name;
- new->len = strlen (name);
- new->isnspace = 0;
- new->u.handler = handler;
-
- new->next = *x;
- *x = new;
+ decl = identifier_global_value (oldname);
+ if (decl && (TREE_CODE (decl) == FUNCTION_DECL
+ || TREE_CODE (decl) == VAR_DECL))
+ {
+ if (DECL_ASSEMBLER_NAME_SET_P (decl)
+ && DECL_ASSEMBLER_NAME (decl) != newname)
+ warning ("#pragma redefine_extname conflicts with declaration");
+ change_decl_assembler_name (decl, newname);
+ }
+ else
+ add_to_renaming_pragma_list(oldname, newname);
}
-/* Called from process_directive() for #pragma lines. */
void
-dispatch_pragma ()
+add_to_renaming_pragma_list (tree oldname, tree newname)
{
- enum cpp_ttype t;
- tree x;
- const struct pragma_entry *p;
- const char *name, *space = 0;
- size_t len;
+ pending_redefine_extname
+ = tree_cons (oldname, newname, pending_redefine_extname);
+}
- p = pragmas;
+static GTY(()) tree pragma_extern_prefix;
- new_space:
- t = c_lex (&x);
- if (t == CPP_EOF)
- return;
+#ifdef HANDLE_PRAGMA_EXTERN_PREFIX
+static void handle_pragma_extern_prefix (cpp_reader *);
+
+/* #pragma extern_prefix "prefix" */
+static void
+handle_pragma_extern_prefix (cpp_reader *dummy ATTRIBUTE_UNUSED)
+{
+ tree prefix, x;
+ enum cpp_ttype t;
- if (t != CPP_NAME)
+ if (c_lex (&prefix) != CPP_STRING)
{
- warning ("malformed #pragma directive");
+ warning ("malformed #pragma extern_prefix, ignored");
return;
}
+ t = c_lex (&x);
+ if (t != CPP_EOF)
+ warning ("junk at end of #pragma extern_prefix");
- name = IDENTIFIER_POINTER (x);
- len = IDENTIFIER_LENGTH (x);
- while (p)
+ /* Note that the length includes the null terminator. */
+ pragma_extern_prefix = (TREE_STRING_LENGTH (prefix) > 1 ? prefix : NULL);
+}
+#endif
+
+/* Hook from the front ends to apply the results of one of the preceding
+ pragmas that rename variables. */
+
+tree
+maybe_apply_renaming_pragma (tree decl, tree asmname)
+{
+ tree oldname;
+
+ /* Copied from the check in set_decl_assembler_name. */
+ if (TREE_CODE (decl) == FUNCTION_DECL
+ || (TREE_CODE (decl) == VAR_DECL
+ && (TREE_STATIC (decl)
+ || DECL_EXTERNAL (decl)
+ || TREE_PUBLIC (decl))))
+ oldname = DECL_ASSEMBLER_NAME (decl);
+ else
+ return asmname;
+
+ /* If the name begins with a *, that's a sign of an asmname attached to
+ a previous declaration. */
+ if (IDENTIFIER_POINTER (oldname)[0] == '*')
{
- if (strlen (p->name) == len && !memcmp (p->name, name, len))
+ const char *oldasmname = IDENTIFIER_POINTER (oldname) + 1;
+ if (asmname && strcmp (TREE_STRING_POINTER (asmname), oldasmname) != 0)
+ warning ("asm declaration conflicts with previous rename");
+ asmname = build_string (strlen (oldasmname), oldasmname);
+ }
+
+ {
+ tree *p, t;
+
+ for (p = &pending_redefine_extname; (t = *p) ; p = &TREE_CHAIN (t))
+ if (oldname == TREE_PURPOSE (t))
{
- if (p->isnspace)
- {
- space = p->name;
- p = p->u.space;
- goto new_space;
- }
- else
- {
- (*p->u.handler) (0);
- return;
- }
+ const char *newname = IDENTIFIER_POINTER (TREE_VALUE (t));
+
+ if (asmname && strcmp (TREE_STRING_POINTER (asmname), newname) != 0)
+ warning ("#pragma redefine_extname conflicts with declaration");
+ *p = TREE_CHAIN (t);
+
+ return build_string (strlen (newname), newname);
}
- p = p->next;
- }
+ }
- /* Issue a warning message if we have been asked to do so. Ignore
- unknown pragmas in system headers unless an explicit
- -Wunknown-pragmas has been given. */
- if (warn_unknown_pragmas > in_system_header)
+#ifdef HANDLE_PRAGMA_EXTERN_PREFIX
+ if (pragma_extern_prefix && !asmname)
{
- if (space)
- warning ("ignoring #pragma %s %s", space, name);
- else
- warning ("ignoring #pragma %s", name);
+ char *x = concat (TREE_STRING_POINTER (pragma_extern_prefix),
+ IDENTIFIER_POINTER (oldname), NULL);
+ asmname = build_string (strlen (x), x);
+ free (x);
+ return asmname;
}
-}
-
#endif
+ return asmname;
+}
+
+/* Front-end wrapper for pragma registration to avoid dragging
+ cpplib.h in almost everywhere. */
void
-init_pragma ()
+c_register_pragma (const char *space, const char *name,
+ void (*handler) (struct cpp_reader *))
{
- cpp_reader *pfile ATTRIBUTE_UNUSED;
-#if !USE_CPPLIB
- pfile = 0;
-#else
- pfile = &parse_in;
-#endif
+ cpp_register_pragma (parse_in, space, name, handler);
+}
+/* Set up front-end pragmas. */
+void
+init_pragma (void)
+{
#ifdef HANDLE_PRAGMA_PACK
- cpp_register_pragma (pfile, 0, "pack", handle_pragma_pack);
+ c_register_pragma (0, "pack", handle_pragma_pack);
#endif
#ifdef HANDLE_PRAGMA_WEAK
- cpp_register_pragma (pfile, 0, "weak", handle_pragma_weak);
+ c_register_pragma (0, "weak", handle_pragma_weak);
#endif
-#ifdef REGISTER_TARGET_PRAGMAS
- REGISTER_TARGET_PRAGMAS (pfile);
+#ifdef HANDLE_PRAGMA_REDEFINE_EXTNAME
+ c_register_pragma (0, "redefine_extname", handle_pragma_redefine_extname);
+#else
+ if (flag_mudflap)
+ c_register_pragma (0, "redefine_extname", handle_pragma_redefine_extname);
+#endif
+#ifdef HANDLE_PRAGMA_EXTERN_PREFIX
+ c_register_pragma (0, "extern_prefix", handle_pragma_extern_prefix);
#endif
-#ifdef HANDLE_PRAGMA_PACK_PUSH_POP
- ggc_add_root (&alignment_stack, 1, sizeof(alignment_stack),
- mark_align_stack);
+#ifdef REGISTER_TARGET_PRAGMAS
+ REGISTER_TARGET_PRAGMAS ();
#endif
}
+
+#include "gt-c-pragma.h"