From 31128d48099f869331b3b7308150b6c599921202 Mon Sep 17 00:00:00 2001
From: acqn <acqn163@outlook.com>
Date: Wed, 9 Jun 2021 18:43:25 +0800
Subject: [PATCH] Added test cases for result types of certain operations.

---
 test/val/opsize.c | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 test/val/opsize.c

diff --git a/test/val/opsize.c b/test/val/opsize.c
new file mode 100644
index 000000000..20c7f0511
--- /dev/null
+++ b/test/val/opsize.c
@@ -0,0 +1,33 @@
+
+/* Test for result types of certain unary operations */
+
+#include <stdio.h>
+
+signed char x;
+struct S {
+    unsigned char a : 3;
+    unsigned int  b : 3;
+} s;
+
+int main(void)
+{
+    _Static_assert(sizeof (++x) == sizeof (char), "++x result should not have promoted type");
+    _Static_assert(sizeof (--x) == sizeof (char), "--x result should not have promoted type");
+    _Static_assert(sizeof (x++) == sizeof (char), "x++ result should not have promoted type");
+    _Static_assert(sizeof (x--) == sizeof (char), "x-- result should not have promoted type");
+    _Static_assert(sizeof (x=0) == sizeof (char), "x=0 result should not have promoted type");
+
+    _Static_assert(sizeof (+x) == sizeof (int), "+x result should have promoted type");
+    _Static_assert(sizeof (-x) == sizeof (int), "-x result should have promoted type");
+    _Static_assert(sizeof (~x) == sizeof (int), "~x result should have promoted type");
+
+    _Static_assert(sizeof (+s.a) == sizeof (int), "+s.a result should have promoted type");
+    _Static_assert(sizeof (-s.a) == sizeof (int), "-s.a result should have promoted type");
+    _Static_assert(sizeof (~s.a) == sizeof (int), "~s.a result should have promoted type");
+
+    _Static_assert(sizeof (+s.b) == sizeof (int), "+s.b result should have promoted type");
+    _Static_assert(sizeof (-s.b) == sizeof (int), "-s.b result should have promoted type");
+    _Static_assert(sizeof (~s.b) == sizeof (int), "~s.b result should have promoted type");
+
+    return 0;
+}