https://github.com/HerrCai0907 created
https://github.com/llvm/llvm-project/pull/69062
None
>From bfeaa2eeaa3d20e1919288bcf1027ec196378236 Mon Sep 17 00:00:00 2001
From: Congcong Cai <congcongcai0...@163.com>
Date: Sun, 15 Oct 2023 00:20:08 +0800
Subject: [PATCH] [clang-tidy][modernize-loop-convert]check
isDependentSizedArrayType before resolve type size
---
.../clang-tidy/modernize/LoopConvertCheck.cpp | 1 +
clang-tools-extra/docs/ReleaseNotes.rst | 4 ++++
.../clang-tidy/checkers/modernize/loop-convert-basic.cpp | 9 +++++++++
3 files changed, 14 insertions(+)
diff --git a/clang-tools-extra/clang-tidy/modernize/LoopConvertCheck.cpp
b/clang-tools-extra/clang-tidy/modernize/LoopConvertCheck.cpp
index f90d99a8d66069d..8beaa62c78ba0ab 100644
--- a/clang-tools-extra/clang-tidy/modernize/LoopConvertCheck.cpp
+++ b/clang-tools-extra/clang-tidy/modernize/LoopConvertCheck.cpp
@@ -753,6 +753,7 @@ void LoopConvertCheck::doConversion(
bool IsCheapToCopy =
!Descriptor.ElemType.isNull() &&
Descriptor.ElemType.isTriviallyCopyableType(*Context) &&
+ !Descriptor.ElemType->isDependentSizedArrayType() &&
// TypeInfo::Width is in bits.
Context->getTypeInfo(Descriptor.ElemType).Width <= 8 * MaxCopySize;
bool UseCopy = CanCopy && ((VarNameFromAlias && !AliasVarIsRef) ||
diff --git a/clang-tools-extra/docs/ReleaseNotes.rst
b/clang-tools-extra/docs/ReleaseNotes.rst
index 03e5dc6f164af2a..ae440210d8a4f2b 100644
--- a/clang-tools-extra/docs/ReleaseNotes.rst
+++ b/clang-tools-extra/docs/ReleaseNotes.rst
@@ -269,6 +269,10 @@ Changes in existing checks
<clang-tidy/checks/modernize/loop-convert>` to support for-loops with
iterators initialized by free functions like ``begin``, ``end``, or ``size``.
+- Improved :doc:`modernize-loop-convert
+ <clang-tidy/checks/modernize/loop-convert>` to avoid crash dor dependent
+ array.
+
- Improved :doc:`modernize-return-braced-init-list
<clang-tidy/checks/modernize/return-braced-init-list>` check to ignore
false-positives when constructing the container with ``count`` copies of
diff --git
a/clang-tools-extra/test/clang-tidy/checkers/modernize/loop-convert-basic.cpp
b/clang-tools-extra/test/clang-tidy/checkers/modernize/loop-convert-basic.cpp
index 71ae4c46e6a5e95..8d8144a729bbdee 100644
---
a/clang-tools-extra/test/clang-tidy/checkers/modernize/loop-convert-basic.cpp
+++
b/clang-tools-extra/test/clang-tidy/checkers/modernize/loop-convert-basic.cpp
@@ -939,4 +939,13 @@ void fundamentalTypesTest() {
// CHECK-FIXES: for (double Double : Doubles)
}
+template <unsigned int p> void test() {
+ unsigned int test[3][p];
+ // Initialize to zero
+ for (unsigned int i = 0; i < p; ++i)
+ for (unsigned int j = 0; j < 3; ++j) // CHECK-MESSAGES: warning: use
range-based for loop instead
+ // CHECK-FIXES: (auto & j : test)
+ test[j][i] = 0;
+}
+
} // namespace PseudoArray
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
