fix(parser): Implemented __is_arithmetic

Author: robertoraggi

Diff for: src/cxx/semantics.cc

@@ -691,10 +691,13 @@ void Semantics::visit(TypeTraitsExpressionAST* ast) {
 
     case TokenKind::T___IS_INTEGRAL: {
       auto ty = ast->typeIdList->value->type;
+      ast->constValue = std::uint64_t(ty->isIntegral());
+      break;
+    }
 
-      ast->constValue = std::uint64_t(Type::is<BooleanType>(ty) ||
-                                      Type::is<CharacterType>(ty) ||
-                                      Type::is<IntegerType>(ty));
+    case TokenKind::T___IS_ARITHMETIC: {
+      auto ty = ast->typeIdList->value->type;
+      ast->constValue = std::uint64_t(ty->isArithmetic());
       break;
     }
 

Diff for: src/cxx/types.cc

@@ -25,6 +25,15 @@ namespace cxx {
 
 Type::~Type() {}
 
+bool Type::isIntegral() const {
+  return Type::is<BooleanType>(this) || Type::is<CharacterType>(this) ||
+         Type::is<IntegerType>(this);
+}
+
+bool Type::isArithmetic() const {
+  return isIntegral() || Type::is<FloatingPointType>(this);
+}
+
 const UndefinedType* UndefinedType::get() {
   static UndefinedType type;
   return &type;

Diff for: src/cxx/types.h

@@ -34,6 +34,9 @@ class Type {
 
   virtual void accept(TypeVisitor* visitor) const = 0;
 
+  bool isIntegral() const;
+  bool isArithmetic() const;
+
   template <typename T>
   static const T* cast(const QualifiedType& qualType) {
     return dynamic_cast<const T*>(qualType.type());

Diff for: tests/unit_tests/parser/type_traits.001.cc

@@ -1,5 +1,15 @@
 // RUN: %cxx -verify -fsyntax-only %s -o -
 
+enum ee {};
+enum class sc {};
+
+struct F;
+struct S {};
+class C {};
+
+union V;
+union U {};
+
 // __is_void
 
 static_assert(__is_void(int) == false);
@@ -32,6 +42,8 @@ static_assert(__is_integral(float) == false);
 static_assert(__is_integral(double) == false);
 static_assert(__is_integral(long double) == false);
 static_assert(__is_integral(void*) == false);
+static_assert(__is_integral(ee) == false);
+static_assert(__is_integral(sc) == false);
 
 // __is_floating_point
 
@@ -129,9 +141,6 @@ static_assert(__is_unsigned(long long) == false);
 
 // __is_enum and __is_scoped_enum
 
-enum ee {};
-enum class sc {};
-
 static_assert(__is_enum(ee) == true);
 static_assert(__is_enum(sc) == true);
 
@@ -140,13 +149,6 @@ static_assert(__is_scoped_enum(ee) == false);
 
 // __is_class and __is_union
 
-struct F;
-struct S {};
-class C {};
-
-union V;
-union U {};
-
 static_assert(__is_class(F) == true);
 static_assert(__is_class(S) == true);
 static_assert(__is_class(C) == true);
@@ -213,3 +215,11 @@ struct list {
 }  // namespace ns
 
 static_assert(__is_member_object_pointer(int(ns::list::iterator::*)) == true);
+
+// __is_artithmetic
+
+static_assert(__is_arithmetic(bool) == true);
+static_assert(__is_arithmetic(int) == true);
+static_assert(__is_arithmetic(float) == true);
+static_assert(__is_arithmetic(double) == true);
+static_assert(__is_arithmetic(int*) == false);