diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2018-03-15 08:37:53 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2018-03-15 08:37:53 +0100 |
| commit | 9bb45a958d5281b3979f538a05ffa80c6833c4f7 (patch) | |
| tree | 0138e2f3bf112fc983ceffbee9775c88c794fb80 /gcc/c | |
| parent | 8cb1151b6063dbbe6bd255d3f16d0071d6095c38 (diff) | |
| download | gcc-9bb45a958d5281b3979f538a05ffa80c6833c4f7.zip gcc-9bb45a958d5281b3979f538a05ffa80c6833c4f7.tar.gz gcc-9bb45a958d5281b3979f538a05ffa80c6833c4f7.tar.bz2 | |
re PR c/84853 (ICE: verify_gimple failed (expand_shift_1))
PR c/84853
* c-typeck.c (build_binary_op) <case RSHIFT_EXPR, case LSHIFT_EXPR>:
If code1 is INTEGER_TYPE, only allow code0 VECTOR_TYPE if it has
INTEGER_TYPE element type.
* gcc.dg/pr84853.c: New test.
From-SVN: r258550
Diffstat (limited to 'gcc/c')
| -rw-r--r-- | gcc/c/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/c/c-typeck.c | 6 |
2 files changed, 11 insertions, 2 deletions
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 8147835..37a4177f 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,10 @@ +2018-03-15 Jakub Jelinek <jakub@redhat.com> + + PR c/84853 + * c-typeck.c (build_binary_op) <case RSHIFT_EXPR, case LSHIFT_EXPR>: + If code1 is INTEGER_TYPE, only allow code0 VECTOR_TYPE if it has + INTEGER_TYPE element type. + 2018-03-13 David Pagan <dave.pagan@oracle.com> PR c/46921 diff --git a/gcc/c/c-typeck.c b/gcc/c/c-typeck.c index 2ac8500..69ef470 100644 --- a/gcc/c/c-typeck.c +++ b/gcc/c/c-typeck.c @@ -11350,7 +11350,8 @@ build_binary_op (location_t location, enum tree_code code, converted = 1; } else if ((code0 == INTEGER_TYPE || code0 == FIXED_POINT_TYPE - || code0 == VECTOR_TYPE) + || (code0 == VECTOR_TYPE + && TREE_CODE (TREE_TYPE (type0)) == INTEGER_TYPE)) && code1 == INTEGER_TYPE) { doing_shift = true; @@ -11408,7 +11409,8 @@ build_binary_op (location_t location, enum tree_code code, converted = 1; } else if ((code0 == INTEGER_TYPE || code0 == FIXED_POINT_TYPE - || code0 == VECTOR_TYPE) + || (code0 == VECTOR_TYPE + && TREE_CODE (TREE_TYPE (type0)) == INTEGER_TYPE)) && code1 == INTEGER_TYPE) { doing_shift = true; |