Branch: refs/heads/main
Revision: 49651a3a005ac83c73fba9042f1906f4c6c76636
Author: arezaii
Link: add split-init error when uninitialized var used as actual by arezaii · Pull Request #26497 · chapel-lang/chapel · GitHub
Log Message:
add split-init error when uninitialized var used as actual (#26497)
This adds detection of an uninitialized variable used as an actual to a
non-out formal. The previous error was a generic failure to resolve
function [NoMatchingCandidates] and this improves the message by
indicating that the candidate did not match because of the uninitialized
actual passed to a non-out formal.
resolves https://github.com/Cray/chapel-private/issues/6624
TESTING:
- paratest
[Summary: #Successes = 17721 | #Failures = 0 | #Futures = 904] - gasnet paratest
[Summary: #Successes = 17906 | #Failures = 0 | #Futures = 915]
[reviewed by @DanilaFe - thank you!]
Diff:
M frontend/include/chpl/resolution/resolution-error-classes-list.h
M frontend/include/chpl/resolution/resolution-types.h
M frontend/lib/resolution/Resolver.cpp
M frontend/lib/resolution/Resolver.h
M frontend/lib/resolution/resolution-error-classes-list.cpp
A test/errors/resolution/noMatchingCandidates.1.good
A test/errors/resolution/noMatchingCandidates.2.good
A test/errors/resolution/noMatchingCandidates.chpl
https://github.com/chapel-lang/chapel/pull/26497.diff