diff --git a/flang/lib/Semantics/expression.cpp b/flang/lib/Semantics/expression.cpp
--- a/flang/lib/Semantics/expression.cpp
+++ b/flang/lib/Semantics/expression.cpp
@@ -1145,6 +1145,7 @@
       return std::nullopt;
     } else if (std::optional<DataRef> dataRef{
                    ExtractDataRef(std::move(*dtExpr))}) {
+      auto restorer{GetContextualMessages().SetLocation(name)};
       if (auto component{
               CreateComponent(std::move(*dataRef), *sym, *dtSpec->scope())}) {
         return Designate(DataRef{std::move(*component)});
diff --git a/flang/test/Semantics/expr-errors04.f90 b/flang/test/Semantics/expr-errors04.f90
--- a/flang/test/Semantics/expr-errors04.f90
+++ b/flang/test/Semantics/expr-errors04.f90
@@ -14,6 +14,8 @@
     complex :: c, c2(2)
     integer :: x, x2(2)
     character(10) :: s, s2(2)
+    real, pointer :: p
+    real, allocatable :: a
    contains
     procedure, nopass :: info1 => real_info1
     procedure, nopass :: info2 => real_info2
@@ -108,4 +110,17 @@
   !ERROR: Reference to rank-2 object 't1' has 1 subscripts
   call t%t3%t2%t1(1:)%g1
 
+  !ERROR: An allocatable or pointer component reference must be applied to a scalar base
+  print *, t(1)%t3(1)%t2(1)%t1%p
+  !ERROR: An allocatable or pointer component reference must be applied to a scalar base
+  print *, t%t3(1)%t2(1)%t1(1,1)%p
+  !ERROR: An allocatable or pointer component reference must be applied to a scalar base
+  print *, t(1)%t3(1)%t2(1)%t1%a
+  !ERROR: An allocatable or pointer component reference must be applied to a scalar base
+  print *, t%t3(1)%t2(1)%t1(1,1)%a
+  !ERROR: An allocatable or pointer component reference must be applied to a scalar base
+  t(1)%t3(1)%t2(1)%t1%p => null()
+  !ERROR: An allocatable or pointer component reference must be applied to a scalar base
+  t%t3(1)%t2(1)%t1(1,1)%p => null()
+
 end