maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[flang] Change a user error to an internal error in ALLOCATE semantic check 

Original-commit: flang-compiler/f18@d9a9b59634
This commit is contained in:
Jean Perier 2019-05-07 08:28:24 -07:00
parent 8e212800c6
commit a11ab23ccb
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
flang/lib/semantics/check-allocate.cc
View File

@ -108,12 +108,12 @@ static std::optional<AllocateCheckerInfo> CheckAllocateOptions(
if (const auto &typeSpec{
std::get<std::optional<parser::TypeSpec>>(allocateStmt.t)}) {
info.typeSpec = typeSpec->declTypeSpec;
info.gotTypeSpec = true;
info.typeSpecLoc = parser::FindSourceLocation(*typeSpec);
if (!info.typeSpec) {
CHECK(context.AnyFatalError());
return std::nullopt;
}
info.gotTypeSpec = true;
info.typeSpecLoc = parser::FindSourceLocation(*typeSpec);
if (const DerivedTypeSpec * derived{info.typeSpec->AsDerived()}) {
// C937
if (const Symbol *
@ -193,10 +193,7 @@ static std::optional<AllocateCheckerInfo> CheckAllocateOptions(
if (const auto *expr{GetExpr(*parserSourceExpr)}) {
info.sourceExprType = expr->GetType();
if (!info.sourceExprType.has_value()) {
if (!context.AnyFatalError()) {
context.Say(parserSourceExpr->source,
"Source expression in ALLOCATE must be a valid expression"_err_en_US);
}
CHECK(context.AnyFatalError());
return std::nullopt;
}
info.sourceExprRank = expr->Rank();