1 files changed, 5 insertions, 0 deletions
diff --git a/test/lintset.awk b/test/lintset.awk
new file mode 100644
index 00000000..8d52eeb4
--- /dev/null
+++ b/test/lintset.awk
@@ -0,0 +1,5 @@
+BEGIN {
+	split("0a", f)	# set f[0] to a strnum that is really a string
+	LINT = f[1]	# lint should be enabled
+	x = exp("0")	# should generate a warning
+}