diff options
Diffstat (limited to 'gcc/opt-functions.awk')
| -rw-r--r-- | gcc/opt-functions.awk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/opt-functions.awk b/gcc/opt-functions.awk index c57a7694de3..94816a2d363 100644 --- a/gcc/opt-functions.awk +++ b/gcc/opt-functions.awk @@ -114,7 +114,9 @@ function global_state_p(flags) # associated with it. function needs_state_p(flags) { - return flag_set_p("Target", flags) + return (flag_set_p("Target", flags) \ + && !flag_set_p("Alias.*", flags) \ + && !flag_set_p("Ignore", flags)) } # If FLAGS describes an option that needs a static state variable, |