From: Matthias Braun <matze@braunis.de>
Date: Fri, 30 May 2008 14:30:36 +0000 (+0000)
Subject: add new shouldpass category
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=6b64c6e319d41000c09f7cf28bc1f7975f389cdd;p=cparser

add new shouldpass category

[r19850]
---

diff --git a/parsetest/shouldpass/README b/parsetest/shouldpass/README
new file mode 100644
index 0000000..f08a2cf
--- /dev/null
+++ b/parsetest/shouldpass/README
@@ -0,0 +1,2 @@
+This directory contains testapps that exploit undefined behaviour, but should
+pass for practical reasons.
diff --git a/parsetest/shouldpass/fewparams.c b/parsetest/shouldpass/fewparams.c
new file mode 100644
index 0000000..d0e2b62
--- /dev/null
+++ b/parsetest/shouldpass/fewparams.c
@@ -0,0 +1,16 @@
+static void foo();
+
+static void kaputt(void) {
+	foo(1);
+}
+
+static void foo(int a, int b) {
+	(void) a;
+	(void) b;
+	printf("%d %d\n", a, b);
+}
+
+int main(void) {
+	kaputt();
+	return 0;
+}