From b504b350aeecff1133e4320b17f33b2f5a567c74 Mon Sep 17 00:00:00 2001 From: Evan Haas Date: Tue, 6 Feb 2024 21:54:28 -0800 Subject: [PATCH] Parser: allow `~` operator for complex conjugation --- src/aro/Diagnostics/messages.def | 6 ++++++ src/aro/Parser.zig | 2 ++ test/cases/complex numbers clang.c | 2 ++ 3 files changed, 10 insertions(+) diff --git a/src/aro/Diagnostics/messages.def b/src/aro/Diagnostics/messages.def index b8ada27b..8e5f53ea 100644 --- a/src/aro/Diagnostics/messages.def +++ b/src/aro/Diagnostics/messages.def @@ -2456,3 +2456,9 @@ too_big_shift_count .opt = W("shift-count-overflow") .kind = .warning .all = true + +complex_conj + .msg = "ISO C does not support '~' for complex conjugation of '{s}'" + .opt = W("pedantic") + .extra = .str + .kind = .off diff --git a/src/aro/Parser.zig b/src/aro/Parser.zig index 6e3b84df..704c672d 100644 --- a/src/aro/Parser.zig +++ b/src/aro/Parser.zig @@ -6977,6 +6977,8 @@ fn unExpr(p: *Parser) Error!Result { if (operand.val.is(.int, p.comp)) { operand.val = try operand.val.bitNot(operand.ty, p.comp); } + } else if (operand.ty.isComplex()) { + try p.errStr(.complex_conj, tok, try p.typeStr(operand.ty)); } else { try p.errStr(.invalid_argument_un, tok, try p.typeStr(operand.ty)); operand.val = .{}; diff --git a/test/cases/complex numbers clang.c b/test/cases/complex numbers clang.c index 523933e5..b41584c3 100644 --- a/test/cases/complex numbers clang.c +++ b/test/cases/complex numbers clang.c @@ -12,6 +12,7 @@ void foo(int x, float y) { z = __builtin_complex(2.0, 3); z = __builtin_complex(2.0, 3.0f); z = __builtin_complex(2.0, 3.0); + z = ~z; } #define EXPECTED_ERRORS "complex numbers clang.c:5:20: error: static_assert expression is not an integral constant expression" \ @@ -21,4 +22,5 @@ void foo(int x, float y) { "complex numbers clang.c:10:6: warning: ISO C does not support '++'/'--' on complex type '_Complex double' [-Wpedantic]" \ "complex numbers clang.c:12:32: error: argument type 'int' is not a real floating point type" \ "complex numbers clang.c:13:32: error: arguments are of different types ('double' vs 'float')" \ + "complex numbers clang.c:15:9: warning: ISO C does not support '~' for complex conjugation of '_Complex double' [-Wpedantic]" \