diff options
| author | peter klausler <pklausler@nvidia.com> | 2021-09-17 08:19:10 -0700 |
|---|---|---|
| committer | peter klausler <pklausler@nvidia.com> | 2021-09-17 15:35:29 -0700 |
| commit | bcb2591b6ca00365cb9f99efafeb3bfe8682f002 (patch) | |
| tree | 66f5f28d9c626785948f9b866154d33606ec9f71 /flang/lib/Semantics/pointer-assignment.cpp | |
| parent | 757384abff38fa41877afe36c36a1850b60fef0f (diff) | |
| download | llvm-bcb2591b6ca00365cb9f99efafeb3bfe8682f002.zip llvm-bcb2591b6ca00365cb9f99efafeb3bfe8682f002.tar.gz llvm-bcb2591b6ca00365cb9f99efafeb3bfe8682f002.tar.bz2 | |
[flang] More checking of NULL pointer actual arguments
Catch additional missing error cases for typed and untyped
NULL actual arguments to non-intrinsic procedures in cases
of explicit and implicit interfaces.
Differential Revision: https://reviews.llvm.org/D110003
Diffstat (limited to 'flang/lib/Semantics/pointer-assignment.cpp')
| -rw-r--r-- | flang/lib/Semantics/pointer-assignment.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/flang/lib/Semantics/pointer-assignment.cpp b/flang/lib/Semantics/pointer-assignment.cpp index afa1552..7003242 100644 --- a/flang/lib/Semantics/pointer-assignment.cpp +++ b/flang/lib/Semantics/pointer-assignment.cpp @@ -174,8 +174,7 @@ bool PointerAssignmentChecker::Check(const evaluate::FunctionRef<T> &f) { if (!lhsType_->IsCompatibleWith(context_.messages(), *frTypeAndShape, "pointer", "function result", false /*elemental*/, evaluate::CheckConformanceFlags::BothDeferredShape)) { - msg = "%s is associated with the result of a reference to function '%s'" - " whose pointer result has an incompatible type or shape"_err_en_US; + return false; // IsCompatibleWith() emitted message } } if (msg) { |