Compute types of unary minus operators

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

Author: robertoraggi

src/parser/cxx/parser.cc

@@ -1562,6 +1562,7 @@ auto Parser::parse_type_nested_name_specifier(NestedNameSpecifierAST*& yyast,
   return true;
 }
 
+namespace {
 struct IsReferencingTemplateParameter {
   Parser& p;
   int depth = 0;
@@ -1592,6 +1593,7 @@ struct IsReferencingTemplateParameter {
     return false;
   }
 };
+}  // namespace
 
 auto Parser::parse_template_nested_name_specifier(
     NestedNameSpecifierAST*& yyast, NestedNameSpecifierContext ctx, int depth)
@@ -2930,7 +2932,7 @@ auto Parser::parse_unop_expression(ExpressionAST*& yyast,
       break;
     }
 
-    case cxx::TokenKind::T_PLUS: {
+    case TokenKind::T_PLUS: {
       ExpressionAST* expr = ast->expression;
       ensure_prvalue(expr);
       auto ty = control_->remove_cvref(expr->type);
@@ -2946,6 +2948,21 @@ auto Parser::parse_unop_expression(ExpressionAST*& yyast,
       break;
     }
 
+    case TokenKind::T_MINUS: {
+      ExpressionAST* expr = ast->expression;
+      ensure_prvalue(expr);
+      auto ty = control_->remove_cvref(expr->type);
+      if (control_->is_arithmetic_or_unscoped_enum(ty)) {
+        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/unary_minus_01.cc

@@ -0,0 +1,23 @@
+// 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));
+  static_assert(__is_same(decltype(-1.0f), float));
+  static_assert(__is_same(decltype(-1.0), double));
+
+  short x{};
+  static_assert(__is_same(decltype(-x), int));
+
+  short& y = x;
+  static_assert(__is_same(decltype(-y), int));
+
+  unsigned u{};
+  static_assert(__is_same(decltype(-u), unsigned));
+
+  return 0;
+}