fc97d2e68b
Implement the UNSIGNED extension type and operations under control of a language feature flag (-funsigned). This is nearly identical to the UNSIGNED feature that has been available in Sun Fortran for years, and now implemented in GNU Fortran for gfortran 15, and proposed for ISO standardization in J3/24-116.txt. See the new documentation for details; but in short, this is C's unsigned type, with guaranteed modular arithmetic for +, -, and *, and the related transformational intrinsic functions SUM & al.
49 lines
2.0 KiB
C++
49 lines
2.0 KiB
C++
//===-- lib/Semantics/check-arithmeticif.cpp ------------------------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt 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) {
|
|
context_.Say(parsedExpr.source,
|
|
"ARITHMETIC IF expression must be a scalar expression"_err_en_US);
|
|
} else if (ExprHasTypeCategory(*expr, common::TypeCategory::Complex)) {
|
|
context_.Say(parsedExpr.source,
|
|
"ARITHMETIC IF expression must not be a COMPLEX expression"_err_en_US);
|
|
} else if (ExprHasTypeCategory(*expr, common::TypeCategory::Unsigned)) {
|
|
context_.Say(parsedExpr.source,
|
|
"ARITHMETIC IF expression must not be an UNSIGNED expression"_err_en_US);
|
|
} else if (!IsNumericExpr(*expr)) {
|
|
context_.Say(parsedExpr.source,
|
|
"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
|