1 files changed, 13 insertions, 0 deletions
diff --git a/validation/optim/trunc-trunc.c b/validation/optim/trunc-trunc.c
new file mode 100644
index 00000000..c01d81f6
--- /dev/null
+++ b/validation/optim/trunc-trunc.c
@@ -0,0 +1,13 @@
+char foo(int a)
+{
+	return ((((short) a) + 1) - 1);
+}
+
+/*
+ * check-name: trunc-trunc
+ * check-command: test-linearize -Wno-decl $file
+ * check-known-to-fail
+ *
+ * check-output-ignore
+ * check-output-pattern(1): trunc\\.
+ */