blob: f87a0045fff5b57a1c0832722c353a545674b4a7 [file] [log] [blame]
//===-- lib/Semantics/check-arithmeticif.cpp ------------------------------===//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
#include "check-arithmeticif.h"
#include "flang/Parser/message.h"
#include "flang/Parser/parse-tree.h"
#include "flang/Semantics/tools.h"
namespace Fortran::semantics {
bool IsNumericExpr(const SomeExpr &expr) {
auto dynamicType{expr.GetType()};
return dynamicType && common::IsNumericTypeCategory(dynamicType->category());
void ArithmeticIfStmtChecker::Leave(
const parser::ArithmeticIfStmt &arithmeticIfStmt) {
// Arithmetic IF statements have been removed from Fortran 2018.
// The constraints and requirements here refer to the 2008 spec.
// R853 Check for a scalar-numeric-expr
// C849 that shall not be of type complex.
auto &parsedExpr{std::get<parser::Expr>(arithmeticIfStmt.t)};
if (const auto *expr{GetExpr(context_, parsedExpr)}) {
if (expr->Rank() > 0) {
"ARITHMETIC IF expression must be a scalar expression"_err_en_US);
} else if (ExprHasTypeCategory(*expr, common::TypeCategory::Complex)) {
"ARITHMETIC IF expression must not be a COMPLEX expression"_err_en_US);
} else if (!IsNumericExpr(*expr)) {
"ARITHMETIC IF expression must be a numeric expression"_err_en_US);
// The labels have already been checked in resolve-labels.
// TODO: Really? Check that they are really branch target
// statements and in the same inclusive scope.
} // namespace Fortran::semantics