diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-11-05 09:54:58 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-11-05 09:54:58 -0500 |
| commit | 54cbdb528df16686290ad26e2130a1896915639d (patch) | |
| tree | e3d96c31bfdadf9e9d0a057e2c5f8b25b432dd17 | |
| parent | ea937e7d8730b4faa18bc67413dbb14567be7390 (diff) | |
| download | gcc-54cbdb528df16686290ad26e2130a1896915639d.zip gcc-54cbdb528df16686290ad26e2130a1896915639d.tar.gz gcc-54cbdb528df16686290ad26e2130a1896915639d.tar.bz2 | |
analyzer: fix ICE comparing COMPLEX_CSTs [PR97668]
gcc/analyzer/ChangeLog:
PR analyzer/97668
* svalue.cc (cmp_cst): Handle COMPLEX_CST.
gcc/testsuite/ChangeLog:
PR analyzer/97668
* gcc.dg/analyzer/pr97668.c: New test.
* gfortran.dg/analyzer/pr97668.f: New test.
| -rw-r--r-- | gcc/analyzer/svalue.cc | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/pr97668.c | 27 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/analyzer/pr97668.f | 26 |
3 files changed, 57 insertions, 0 deletions
diff --git a/gcc/analyzer/svalue.cc b/gcc/analyzer/svalue.cc index 18d9c37..e930452 100644 --- a/gcc/analyzer/svalue.cc +++ b/gcc/analyzer/svalue.cc @@ -291,6 +291,10 @@ cmp_cst (const_tree cst1, const_tree cst2) return memcmp (TREE_REAL_CST_PTR (cst1), TREE_REAL_CST_PTR (cst2), sizeof (real_value)); + case COMPLEX_CST: + if (int cmp_real = cmp_cst (TREE_REALPART (cst1), TREE_REALPART (cst2))) + return cmp_real; + return cmp_cst (TREE_IMAGPART (cst1), TREE_IMAGPART (cst2)); case VECTOR_CST: if (int cmp_log2_npatterns = ((int)VECTOR_CST_LOG2_NPATTERNS (cst1) diff --git a/gcc/testsuite/gcc.dg/analyzer/pr97668.c b/gcc/testsuite/gcc.dg/analyzer/pr97668.c new file mode 100644 index 0000000..6ec8164 --- /dev/null +++ b/gcc/testsuite/gcc.dg/analyzer/pr97668.c @@ -0,0 +1,27 @@ +/* { dg-additional-options "-O1" } */ + +void +wb (_Complex double jh) +{ + _Complex double af = 0.0; + + do + { + af += jh; + } + while (af != 0.0); +} + +_Complex double +o6 (void) +{ + _Complex double ba = 0.0; + + for (;;) + { + wb (ba); + ba = 1.0; + } + + return ba; +} diff --git a/gcc/testsuite/gfortran.dg/analyzer/pr97668.f b/gcc/testsuite/gfortran.dg/analyzer/pr97668.f new file mode 100644 index 0000000..568c891 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/analyzer/pr97668.f @@ -0,0 +1,26 @@ +c { dg-additional-options "-std=legacy" } + + SUBROUTINE PPADD (A, C, BH) + + COMPLEX DD, FP, FPP, R1, R2 + DIMENSION A(*), C(*), BH(*) + + DO 136 IG=IS,1 + FP = (0.,0.) + FPP = (0.,0.) + + DO 121 J=1,1 + DD = 1./2 + FP = DD + FPP = DD+1 + 121 CONTINUE + + R2 = -FP + IF (ABS(R1)-ABS(R2)) 129,129,133 + 129 R1 = R2/FPP + 133 IT = IT+1 + + 136 CONTINUE + + RETURN + END |