diff --git a/tests/slicing/function_lvar.i b/tests/slicing/function_lvar.i
new file mode 100644
index 0000000000000000000000000000000000000000..c7d245c4528e1d6da3729f54cae149cd9ec4d47e
--- /dev/null
+++ b/tests/slicing/function_lvar.i
@@ -0,0 +1,10 @@
+/* run.config*
+OPT: -slice-pragma main
+*/
+int g(int x) { return x; }
+
+int main() {
+  /*@ assert &g == &g; */
+  /*@ slice pragma stmt; */
+  g(0);
+}