From cc158131c586f4a91e2b4d877ef40f2078a2ab9e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frank=20Sch=C3=BCssele?=
 <schuessf@informatik.uni-freiburg.de>
Date: Tue, 21 Feb 2023 18:49:00 +0100
Subject: [PATCH] Add test for fscanf

---
 trunk/examples/programs/regression/c/fscanf.c | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 trunk/examples/programs/regression/c/fscanf.c

diff --git a/trunk/examples/programs/regression/c/fscanf.c b/trunk/examples/programs/regression/c/fscanf.c
new file mode 100644
index 00000000000..fb4bcccf847
--- /dev/null
+++ b/trunk/examples/programs/regression/c/fscanf.c
@@ -0,0 +1,12 @@
+//#Unsafe
+/*
+  Author: Frank Schüssele (schuessf@informatik.uni-freiburg.de)
+  Date: 2023-02-21
+*/
+#include <stdio.h>
+
+int main() {
+  int x;
+  int r = scanf("%d", &x);
+  //@ assert r == 1 || x == 0;
+}