[clang] [clang] Update typechecking of builtin elementwise ternary math operators (PR #155620)

[Timm Baeder via cfe-commits]

================
@@ -15884,6 +15884,55 @@ static bool checkBuiltinVectorMathMixedEnums(Sema &S, Expr *LHS, Expr *RHS,
   return false;
 }
 
+/// Check if all arguments have the same type. If the types don't match, emit an
+/// error message and return true. Otherwise return false.
+///
+/// For scalars we directly compare their unqualified types. But even if we
+/// compare unqualified vector types, a difference in qualifiers in the element
+/// types can make the vector types be considered not equal. For example,
+/// vector of 4 'const float' values vs vector of 4 'float' values.
+/// So we compare unqualified types of their elements and number of elements.
+/// See GitHub issue #155405.
+static bool checkBuiltinVectorMathArgTypes(Sema &SemaRef,
+                                           ArrayRef<Expr *> Args) {
+  assert(Args.size() > 0 && "Should have at least one argument.");
----------------
tbaederr wrote:

```suggestion
  assert(!Args.empty() && "Should have at least one argument.");
```

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