[clang] ab6c4f5 - [OpenMP] Fix a crash on invalid with unroll partial (#139280)
via cfe-commits
cfe-commits at lists.llvm.org
Fri May 9 09:32:47 PDT 2025
Author: Aaron Ballman
Date: 2025-05-09T12:32:44-04:00
New Revision: ab6c4f50852204d3a89a647af84b6ed613a2f204
URL: https://github.com/llvm/llvm-project/commit/ab6c4f50852204d3a89a647af84b6ed613a2f204
DIFF: https://github.com/llvm/llvm-project/commit/ab6c4f50852204d3a89a647af84b6ed613a2f204.diff
LOG: [OpenMP] Fix a crash on invalid with unroll partial (#139280)
You cannot get the integer constant expression's value if the expression
contains errors.
Fixes https://github.com/llvm/llvm-project/issues/139267
Added:
Modified:
clang/docs/ReleaseNotes.rst
clang/lib/Sema/SemaOpenMP.cpp
clang/test/OpenMP/unroll_messages.cpp
Removed:
################################################################################
diff --git a/clang/docs/ReleaseNotes.rst b/clang/docs/ReleaseNotes.rst
index e8e67e14f007b..a8f5f40d8fef7 100644
--- a/clang/docs/ReleaseNotes.rst
+++ b/clang/docs/ReleaseNotes.rst
@@ -905,6 +905,8 @@ OpenMP Support
- Added support 'no_openmp_constructs' assumption clause.
- Added support for 'self_maps' in map and requirement clause.
- Added support for 'omp stripe' directive.
+- Fixed a crashing bug with ``omp unroll partial`` if the argument to
+ ``partial`` was an invalid expression. (#GH139267)
- Fixed a crashing bug with ``omp tile sizes`` if the argument to ``sizes`` was
an invalid expression. (#GH139073)
- Fixed a crashing bug with ``omp distribute dist_schedule`` if the argument to
diff --git a/clang/lib/Sema/SemaOpenMP.cpp b/clang/lib/Sema/SemaOpenMP.cpp
index 50211c5cf3ed8..15d568fcb9cc4 100644
--- a/clang/lib/Sema/SemaOpenMP.cpp
+++ b/clang/lib/Sema/SemaOpenMP.cpp
@@ -14912,7 +14912,8 @@ StmtResult SemaOpenMP::ActOnOpenMPUnrollDirective(ArrayRef<OMPClause *> Clauses,
// Determine the unroll factor.
uint64_t Factor;
SourceLocation FactorLoc;
- if (Expr *FactorVal = PartialClause->getFactor()) {
+ if (Expr *FactorVal = PartialClause->getFactor();
+ FactorVal && !FactorVal->containsErrors()) {
Factor = FactorVal->getIntegerConstantExpr(Context)->getZExtValue();
FactorLoc = FactorVal->getExprLoc();
} else {
diff --git a/clang/test/OpenMP/unroll_messages.cpp b/clang/test/OpenMP/unroll_messages.cpp
index 75bca4b8ad1e0..17d5ed83e162f 100644
--- a/clang/test/OpenMP/unroll_messages.cpp
+++ b/clang/test/OpenMP/unroll_messages.cpp
@@ -128,3 +128,12 @@ void template_inst(int n) {
// expected-note at +1 {{in instantiation of function template specialization 'templated_func<int, -1>' requested here}}
templated_func<int, -1>(n);
}
+
+namespace GH139267 {
+void f(void) {
+ // This would previously crash with follow-on recovery after issuing the error.
+#pragma omp unroll partial(a) // expected-error {{use of undeclared identifier 'a'}}
+ for (int i = 0; i < 10; i++)
+ ;
+}
+}
More information about the cfe-commits
mailing list