diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2016-08-11 17:59:53 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2016-08-11 17:59:53 +0200 |
| commit | 385ed708b272bb4b53aeda3081960f63ac56d7b0 (patch) | |
| tree | 027726bc499da9489020e6e7087cd82393284aff /gcc/cp | |
| parent | df7ec09f1209a33b35af3b798e6ff6ead5de8570 (diff) | |
| download | gcc-385ed708b272bb4b53aeda3081960f63ac56d7b0.zip gcc-385ed708b272bb4b53aeda3081960f63ac56d7b0.tar.gz gcc-385ed708b272bb4b53aeda3081960f63ac56d7b0.tar.bz2 | |
re PR c++/72868 (Constexpr expressions mistreat case ranges)
PR c++/72868
* constexpr.c (label_matches): Handle case range expressions.
* g++.dg/cpp1y/constexpr-switch4.C: New test.
From-SVN: r239379
Diffstat (limited to 'gcc/cp')
| -rw-r--r-- | gcc/cp/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/cp/constexpr.c | 6 |
2 files changed, 11 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 04d6aa0..c0d2460 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,8 @@ +2016-08-11 Jakub Jelinek <jakub@redhat.com> + + PR c++/72868 + * constexpr.c (label_matches): Handle case range expressions. + 2016-08-11 Jason Merrill <jason@redhat.com> PR c++/73456 diff --git a/gcc/cp/constexpr.c b/gcc/cp/constexpr.c index 20c870e..cb0fdee 100644 --- a/gcc/cp/constexpr.c +++ b/gcc/cp/constexpr.c @@ -3448,6 +3448,12 @@ label_matches (tree *jump_target, tree_stmt_iterator i, { if (!CASE_LOW (stmt)) default_label = i; + else if (CASE_HIGH (stmt)) + { + if (tree_int_cst_le (CASE_LOW (stmt), *jump_target) + && tree_int_cst_le (*jump_target, CASE_HIGH (stmt))) + return true; + } else if (tree_int_cst_equal (*jump_target, CASE_LOW (stmt))) return true; } |