Added TypeTraitsDiags.def to support typetraits and start using it in StdNameToTypeTrait

Author: egorshamshura

clang/include/clang/Basic/TokenKinds.def

@@ -68,6 +68,10 @@
 #define TRANSFORM_TYPE_TRAIT_DEF(K, Trait) KEYWORD(__##Trait, KEYCXX)
 #endif
 
+#ifndef TYPE_TRAIT_DIAG
+#define TYPE_TRAIT_DIAG(Trait, N)
+#endif
+
 #ifndef ALIAS
 #define ALIAS(X,Y,Z)
 #endif
@@ -542,6 +546,7 @@ TYPE_TRAIT_2(__is_layout_compatible, IsLayoutCompatible, KEYCXX)
 TYPE_TRAIT_2(__is_pointer_interconvertible_base_of, IsPointerInterconvertibleBaseOf, KEYCXX)
 
 #include "clang/Basic/TransformTypeTraits.def"
+#include "clang/Basic/TypeTraitsDiags.def"
 
 // Clang-only C++ Type Traits
 TYPE_TRAIT_1(__is_trivially_equality_comparable, IsTriviallyEqualityComparable, KEYCXX)

clang/include/clang/Basic/TypeTraitsDiags.def

@@ -0,0 +1,16 @@
+//==--- TypeTraitsDiags.def - type trait transformations --------------===//
+//
+// 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
+//
+//===----------------------------------------------------------------------===//
+//
+// This file defines type traits' for diagnostic.
+//
+//===----------------------------------------------------------------------===//
+
+TYPE_TRAIT_DIAG(is_trivially_copyable, IsTriviallyCopyable)
+TYPE_TRAIT_DIAG(is_trivially_relocatable, IsCppTriviallyRelocatable)
+
+#undef TYPE_TRAIT_DIAG

clang/lib/Sema/SemaTypeTraits.cpp

@@ -1921,11 +1921,11 @@ ExprResult Sema::BuildExpressionTrait(ExpressionTrait ET, SourceLocation KWLoc,
 }
 
 static std::optional<TypeTrait> StdNameToTypeTrait(StringRef Name) {
-  return llvm::StringSwitch<std::optional<TypeTrait>>(Name)
-      .Case("is_trivially_relocatable",
-            TypeTrait::UTT_IsCppTriviallyRelocatable)
-      .Case("is_trivially_copyable", TypeTrait::UTT_IsTriviallyCopyable)
-      .Default(std::nullopt);
+#define TYPE_TRAIT_DIAG(Spelling, Name) Case(#Spelling, TypeTrait::UTT_##Name).
+  return llvm::StringSwitch<std::optional<TypeTrait>>(Name).
+#include "clang/Basic/TokenKinds.def"
+      Default(std::nullopt);
+#undef TYPE_TRAIT_DIAG
 }
 
 using ExtractedTypeTraitInfo =