aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/eval/not-cast-bool.c
diff options
context:
space:
mode:
Diffstat (limited to 'validation/eval/not-cast-bool.c')
-rw-r--r--validation/eval/not-cast-bool.c15
1 files changed, 15 insertions, 0 deletions
diff --git a/validation/eval/not-cast-bool.c b/validation/eval/not-cast-bool.c
new file mode 100644
index 00000000..af422412
--- /dev/null
+++ b/validation/eval/not-cast-bool.c
@@ -0,0 +1,15 @@
+static _Bool foo(void)
+{
+ unsigned char c = 1;
+ _Bool b = ~c;
+ return b;
+}
+
+/*
+ * check-name: not-cast-bool
+ * check-command: test-linearize -Wno-decl $file
+ * check-known-to-fail
+ *
+ * check-output-ignore
+ * check-output-returns: 1
+ */