Compute type of bitwise NOT operators

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

Author: robertoraggi

src/parser/cxx/parser.cc

@@ -2970,6 +2970,19 @@ auto Parser::parse_unop_expression(ExpressionAST*& yyast,
       break;
     }
 
+    case TokenKind::T_TILDE: {
+      ExpressionAST* expr = ast->expression;
+      ensure_prvalue(expr);
+      auto ty = control_->remove_cvref(expr->type);
+      if (control_->is_integral_or_unscoped_enum(ty)) {
+        (void)integral_promotion(expr);
+        ast->expression = expr;
+        ast->type = expr->type;
+        ast->valueCategory = ValueCategory::kPrValue;
+      }
+      break;
+    }
+
     default:
       break;
   }  // switch

tests/unit_tests/sema/bitwise_not_01.cc

@@ -0,0 +1,18 @@
+// RUN: %cxx -verify -fcheck %s
+
+auto main() -> int {
+  static_assert(__is_same(decltype(~'a'), int));
+  static_assert(__is_same(decltype(~1), int));
+  static_assert(__is_same(decltype(~1l), long));
+  static_assert(__is_same(decltype(~1ll), long long));
+  static_assert(__is_same(decltype(~1ul), unsigned long));
+  static_assert(__is_same(decltype(~1ull), unsigned long long));
+
+  short x{};
+  static_assert(__is_same(decltype(~x), int));
+
+  short& y = x;
+  static_assert(__is_same(decltype(~y), int));
+
+  return 0;
+}