summaryrefslogtreecommitdiff
path: root/gcc/optc-gen.awk
diff options
context:
space:
mode:
authordj <dj@138bc75d-0d04-0410-961f-82ee72b054a4>2005-04-28 20:52:12 +0000
committerdj <dj@138bc75d-0d04-0410-961f-82ee72b054a4>2005-04-28 20:52:12 +0000
commitc5e839cb5ef14a22e8078adb0ede837f47d750a0 (patch)
treeaeacd772adaa4ebc4fcc69669e083225f5e6479e /gcc/optc-gen.awk
parent14321893db58a975cf737cf18631ce7d0ab28cdf (diff)
downloadgcc-c5e839cb5ef14a22e8078adb0ede837f47d750a0.tar.gz
* optc-gen.awk (END): Make sure no variable is defined more
than once. * opth-gen.awk (END): Allocate bits on a per-variable basis. Allow for bitfield variables other than target_flags. * doc/options.text (Mask): Document that you may specify a variable other than target_flags. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@98940 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/optc-gen.awk')
-rw-r--r--gcc/optc-gen.awk4
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/optc-gen.awk b/gcc/optc-gen.awk
index f458b65b83a..ebf6a44fcc0 100644
--- a/gcc/optc-gen.awk
+++ b/gcc/optc-gen.awk
@@ -72,9 +72,13 @@ for (i = 0; i < n_opts; i++) {
init = opt_args("Init", flags[i])
if (init != "")
init = " = " init;
+ else if (name in var_seen)
+ continue;
printf ("/* Set by -%s.\n %s */\nint %s%s;\n\n",
opts[i], help[i], name,init)
+
+ var_seen[name] = 1;
}