diff options
Diffstat (limited to 'gcc/opt-read.awk')
-rw-r--r-- | gcc/opt-read.awk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/opt-read.awk b/gcc/opt-read.awk index c488ed5cde5..6a4d4de0eb4 100644 --- a/gcc/opt-read.awk +++ b/gcc/opt-read.awk @@ -51,6 +51,9 @@ BEGIN { else if ($1 == "Variable") { extra_vars[n_extra_vars] = $2 n_extra_vars++ + name = host_wide_int_var_name($2) + if (name != "") + host_wide_int[name] = "yes" } else if ($1 == "TargetVariable") { # Combination of TargetSave and Variable |