aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorHarald Anlauf <anlauf@gmx.de>2021-11-16 21:06:06 +0100
committerHarald Anlauf <anlauf@gmx.de>2021-11-16 21:06:06 +0100
commit3b3c9932338650c9a402cf1bfbdf7dfc03e185e7 (patch)
tree8163f9a35e8057e4f1ae72497e0ca340012e4e75 /gcc
parenta1d2b16202601e597fac1c0e6af6ee8cd09b52c0 (diff)
downloadgcc-3b3c9932338650c9a402cf1bfbdf7dfc03e185e7.zip
gcc-3b3c9932338650c9a402cf1bfbdf7dfc03e185e7.tar.gz
gcc-3b3c9932338650c9a402cf1bfbdf7dfc03e185e7.tar.bz2
Fortran: avoid NULL pointer dereference on invalid range in logical SELECT CASE
gcc/fortran/ChangeLog: PR fortran/103286 * resolve.c (resolve_select): Choose appropriate range limit to avoid NULL pointer dereference when generating error message. gcc/testsuite/ChangeLog: PR fortran/103286 * gfortran.dg/pr103286.f90: New test.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/fortran/resolve.c3
-rw-r--r--gcc/testsuite/gfortran.dg/pr103286.f9011
2 files changed, 13 insertions, 1 deletions
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c
index 705d232..f074a0a 100644
--- a/gcc/fortran/resolve.c
+++ b/gcc/fortran/resolve.c
@@ -8846,7 +8846,8 @@ resolve_select (gfc_code *code, bool select_type)
|| cp->low != cp->high))
{
gfc_error ("Logical range in CASE statement at %L is not "
- "allowed", &cp->low->where);
+ "allowed",
+ cp->low ? &cp->low->where : &cp->high->where);
t = false;
break;
}
diff --git a/gcc/testsuite/gfortran.dg/pr103286.f90 b/gcc/testsuite/gfortran.dg/pr103286.f90
new file mode 100644
index 0000000..1c18b71
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr103286.f90
@@ -0,0 +1,11 @@
+! { dg-do compile }
+! { dg-options "std=gnu" }
+! PR fortran/103286 - ICE in resolve_select
+
+program p
+ select case (.true.) ! { dg-warning "Extension: Conversion" }
+ case (1_8)
+ case (:0) ! { dg-error "Logical range in CASE statement" }
+ case (2:) ! { dg-error "Logical range in CASE statement" }
+ end select
+end