From 40ca4b52d659e936b24879c6aac9e10e517e516f Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 31 Mar 2020 17:39:12 +0200
Subject: [PATCH] add test case for issue #840
---
tests/slicing/function_lvar.i | 10 ++++++++++
1 file changed, 10 insertions(+)
create mode 100644 tests/slicing/function_lvar.i
diff --git a/tests/slicing/function_lvar.i b/tests/slicing/function_lvar.i
new file mode 100644
index 00000000000..c7d245c4528
--- /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);
+}
--
GitLab