Add IntegerRange for Wcatch-value= option.
authorMartin Liska <mliska@suse.cz>
Wed, 21 Feb 2018 07:57:52 +0000 (08:57 +0100)
committerMartin Liska <marxin@gcc.gnu.org>
Wed, 21 Feb 2018 07:57:52 +0000 (07:57 +0000)
commitb22dbd03f06c5d3b5e71ae99b55b5d7d21a11cd9
tree5112649780a9e6f4b3cca587bc67fc3ea539cb2a
parent27bde1a4cc67fa3c7de1707e1a7ba6731272129d
Add IntegerRange for Wcatch-value= option.

2018-02-21  Martin Liska  <mliska@suse.cz>

* c.opt (Wcatch-value=): Add IntegerRange.

From-SVN: r257869
gcc/c-family/ChangeLog
gcc/c-family/c.opt