[clang] [Clang] Fix __is_array returning true for zero-sized arrays (PR #86652)

via cfe-commits cfe-commits at lists.llvm.org
Tue Mar 26 04:26:40 PDT 2024


github-actions[bot] wrote:

<!--LLVM CODE FORMAT COMMENT: {clang-format}-->


:warning: C/C++ code formatter, clang-format found issues in your code. :warning:

<details>
<summary>
You can test this locally with the following command:
</summary>

``````````bash
git-clang-format --diff 5b544b511c7133fcb26a5c563b746a4baefb38d6 90f88bdac3dc40635c58f3f67e29354e6a32896e -- clang/lib/Sema/SemaExprCXX.cpp clang/test/SemaCXX/type-traits.cpp
``````````

</details>

<details>
<summary>
View the diff from clang-format here.
</summary>

``````````diff
diff --git a/clang/lib/Sema/SemaExprCXX.cpp b/clang/lib/Sema/SemaExprCXX.cpp
index 93d2b4b259..46dd14a871 100644
--- a/clang/lib/Sema/SemaExprCXX.cpp
+++ b/clang/lib/Sema/SemaExprCXX.cpp
@@ -5145,7 +5145,7 @@ static bool EvaluateUnaryTypeTrait(Sema &Self, TypeTrait UTT,
   case UTT_IsArray:
     // zero-sized arrays aren't considered arrays in partial specializations,
     // so __is_array shouldn't consider them arrays either.
-    if (const auto* CAT = C.getAsConstantArrayType(T))
+    if (const auto *CAT = C.getAsConstantArrayType(T))
       return CAT->getSize() != 0;
     return T->isArrayType();
   case UTT_IsBoundedArray:

``````````

</details>


https://github.com/llvm/llvm-project/pull/86652


More information about the cfe-commits mailing list