From 4572df4c20c8e6d5c1bc300f06063fba0714904c Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@runtimeverification.com>
Date: Thu, 28 May 2020 14:00:11 -0500
Subject: [PATCH] add test

---
 .../tests/regression-new/checkWarns/Makefile        |  4 ++++
 .../regression-new/checkWarns/checkUnusedVar.k      | 13 +++++++++++++
 .../regression-new/checkWarns/checkUnusedVar.k.out  |  3 +++
 3 files changed, 20 insertions(+)
 create mode 100644 k-distribution/tests/regression-new/checkWarns/Makefile
 create mode 100644 k-distribution/tests/regression-new/checkWarns/checkUnusedVar.k
 create mode 100644 k-distribution/tests/regression-new/checkWarns/checkUnusedVar.k.out

diff --git a/k-distribution/tests/regression-new/checkWarns/Makefile b/k-distribution/tests/regression-new/checkWarns/Makefile
new file mode 100644
index 00000000000..7133790b2e6
--- /dev/null
+++ b/k-distribution/tests/regression-new/checkWarns/Makefile
@@ -0,0 +1,4 @@
+KOMPILE_FLAGS=-w2e
+KOMPILE_BACKEND=llvm
+
+include ../../../include/kframework/ktest-fail.mak
diff --git a/k-distribution/tests/regression-new/checkWarns/checkUnusedVar.k b/k-distribution/tests/regression-new/checkWarns/checkUnusedVar.k
new file mode 100644
index 00000000000..3a2961b9925
--- /dev/null
+++ b/k-distribution/tests/regression-new/checkWarns/checkUnusedVar.k
@@ -0,0 +1,13 @@
+module CHECKUNUSEDVAR-SYNTAX
+
+endmodule
+
+module CHECKUNUSEDVAR
+  imports INT
+
+  syntax KItem ::= foo(Int)
+
+  rule foo(X) => 0
+  rule foo(0) => !_:Int
+
+endmodule
diff --git a/k-distribution/tests/regression-new/checkWarns/checkUnusedVar.k.out b/k-distribution/tests/regression-new/checkWarns/checkUnusedVar.k.out
new file mode 100644
index 00000000000..c8d12e1840c
--- /dev/null
+++ b/k-distribution/tests/regression-new/checkWarns/checkUnusedVar.k.out
@@ -0,0 +1,3 @@
+[Error] Compiler: Variable 'X' defined but not used.
+	Source(checkUnusedVar.k)
+	Location(10,12,10,13)