[flang-commits] [flang] [Flang][OpenMP] Add some semantic checks for Linear clause (PR #111354)
Kiran Chandramohan via flang-commits
flang-commits at lists.llvm.org
Mon Oct 7 09:35:23 PDT 2024
================
@@ -2975,16 +3000,101 @@ void OmpStructureChecker::Enter(const parser::OmpClause::If &x) {
void OmpStructureChecker::Enter(const parser::OmpClause::Linear &x) {
CheckAllowedClause(llvm::omp::Clause::OMPC_linear);
+ parser::CharBlock source = GetContext().clauseSource;
// 2.7 Loop Construct Restriction
if ((llvm::omp::allDoSet | llvm::omp::allSimdSet)
.test(GetContext().directive)) {
if (std::holds_alternative<parser::OmpLinearClause::WithModifier>(x.v.u)) {
- context_.Say(GetContext().clauseSource,
+ context_.Say(source,
"A modifier may not be specified in a LINEAR clause "
"on the %s directive"_err_en_US,
ContextDirectiveAsFortran());
+ return;
+ }
+ }
+
+ // 4.4.4 Ordered clause restriction
+ if (const auto *clause{
+ FindClause(GetContext(), llvm::omp::Clause::OMPC_ordered)}) {
+ const auto &orderedClause{std::get<parser::OmpClause::Ordered>(clause->u)};
+ if (orderedClause.v) {
+ return;
}
}
+
+ auto checkForValidLinearClaue = [&](const parser::Name &name, bool is_ref) {
----------------
kiranchandramohan wrote:
```suggestion
auto checkForValidLinearClause = [&](const parser::Name &name, bool is_ref) {
```
https://github.com/llvm/llvm-project/pull/111354
More information about the flang-commits
mailing list