Compute type of logical negation operators

Signed-off-by: Roberto Raggi <[email protected]>

Author: robertoraggi

src/parser/cxx/parser.cc

@@ -2963,6 +2963,13 @@ auto Parser::parse_unop_expression(ExpressionAST*& yyast,
       break;
     }
 
+    case TokenKind::T_EXCLAIM: {
+      (void)implicit_conversion(ast->expression, control_->getBoolType());
+      ast->type = control_->getBoolType();
+      ast->valueCategory = ValueCategory::kPrValue;
+      break;
+    }
+
     default:
       break;
   }  // switch

tests/unit_tests/sema/logical_neg_01.cc

@@ -0,0 +1,24 @@
+// RUN: %cxx -verify -fcheck %s
+
+auto main() -> int {
+  static_assert(__is_same(decltype(!true), bool));
+  static_assert(__is_same(decltype(!!true), bool));
+
+  static_assert(__is_same(decltype(!1), bool));
+  static_assert(__is_same(decltype(!1.0), bool));
+
+  const void* p = nullptr;
+  static_assert(__is_same(decltype(!p), bool));
+
+  static_assert(__is_same(decltype(!main), bool));
+
+  const int a[2] = {1, 2};
+  static_assert(__is_same(decltype(!a), bool));
+
+  int x{}, &y = x;
+
+  static_assert(__is_same(decltype(!x), bool));
+  static_assert(__is_same(decltype(!y), bool));
+
+  return 0;
+}