diff options
author | Martin Liska <mliska@suse.cz> | 2017-07-27 14:58:07 +0200 |
---|---|---|
committer | Martin Liska <marxin@gcc.gnu.org> | 2017-07-27 12:58:07 +0000 |
commit | e88a93840b20153a80b9504b3233e58012b009d5 (patch) | |
tree | d0abe82458345300dd2046edaf27eb7b4e3b3b44 /gcc/opt-functions.awk | |
parent | a7faf57b71e6e562d5d9ac0e5b927f648fae1b02 (diff) |
Validate that Init value is within range defined by IntegerRange.
2017-07-27 Martin Liska <mliska@suse.cz>
* opt-functions.awk: Add validation of value of Init.
* optc-gen.awk: Pass new argument.
From-SVN: r250625
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 ad0b52c0903..5ee93f12feb 100644 --- a/gcc/opt-functions.awk +++ b/gcc/opt-functions.awk @@ -314,11 +314,13 @@ function search_var_name(name, opt_numbers, opts, flags, n_opts) return "" } -function integer_range_info(range_option) +function integer_range_info(range_option, init, option) { if (range_option != "") { start = nth_arg(0, range_option); end = nth_arg(1, range_option); + if (init != "" && init != "-1" && (init < start || init > end)) + print "#error initial value " init " of '" option "' must be in range [" start "," end "]" return start ", " end } else |