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