fix(parser): Implemented __is_floating_point

Author: robertoraggi

src/cxx/semantics.cc

@@ -683,6 +683,12 @@ void Semantics::visit(TypeTraitsExpressionAST* ast) {
       break;
     }
 
+    case TokenKind::T___IS_FLOATING_POINT: {
+      ast->constValue = std::uint64_t(
+          Type::is<FloatingPointType>(ast->typeIdList->value->type));
+      break;
+    }
+
     case TokenKind::T___IS_ENUM: {
       auto ty = ast->typeIdList->value->type;
       ast->constValue =
@@ -1450,11 +1456,15 @@ void Semantics::visit(IntegralTypeSpecifierAST* ast) {
       break;
 
     case TokenKind::T_LONG: {
-      auto ty = dynamic_cast<const IntegerType*>(specifiers_->type.type());
+      auto ty = Type::cast<IntegerType>(specifiers_->type);
 
       if (ty && ty->kind() == IntegerKind::kLong) {
         specifiers_->type.setType(types_->integerType(IntegerKind::kLongLong,
                                                       specifiers_->isUnsigned));
+      } else if (auto floatTy =
+                     Type::cast<FloatingPointType>(specifiers_->type)) {
+        specifiers_->type.setType(
+            types_->floatingPointType(FloatingPointKind::kLongDouble));
       } else {
         specifiers_->type.setType(
             types_->integerType(IntegerKind::kLong, specifiers_->isUnsigned));

tests/unit_tests/parser/type_traits.001.cc

@@ -1,5 +1,7 @@
 // RUN: %cxx -verify -fsyntax-only %s -o -
 
+// __is_void
+
 static_assert(__is_void(int) == false);
 static_assert(__is_void(void) == true);
 static_assert(__is_void(void*) == false);
@@ -8,9 +10,22 @@ static_assert(__is_void(volatile void) == true);
 static_assert(__is_void(const volatile void) == true);
 
 static_assert(__is_same(decltype(__is_void(void)), bool) == true);
-
 static_assert(__is_same(decltype(__is_void(void)), int) == false);
 
+// __is_floating_point
+
+static_assert(__is_floating_point(float) == true);
+static_assert(__is_floating_point(double) == true);
+static_assert(__is_floating_point(long double) == true);
+static_assert(__is_floating_point(double long) == true);
+static_assert(__is_floating_point(const float) == true);
+static_assert(__is_floating_point(const double) == true);
+static_assert(__is_floating_point(const long double) == true);
+static_assert(__is_floating_point(float*) == false);
+static_assert(__is_floating_point(float&) == false);
+
+// __is_pointer
+
 static_assert(__is_pointer(void*) == true);
 
 int* p;
@@ -166,7 +181,7 @@ static_assert(__is_member_object_pointer(decltype(intField)) == true);
 static_assert(__is_member_object_pointer(IntFieldT) == true);
 static_assert(__is_member_object_pointer(int(Class::*)) == true);
 
-static_assert(__is_member_object_pointer(int (Class::*)()) == false);
+static_assert(__is_member_object_pointer(int(Class::*)()) == false);
 
 namespace ns {
 struct list {