Adding upstream version 2.1.6.upstream/2.1.6

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 88 insertions, 0 deletions

diff --git a/devel/coccinelle/test/ref-passed-variables-inited.input.c b/devel/coccinelle/test/ref-passed-variables-inited.input.c
new file mode 100644
index 0000000..9ddb626
--- /dev/null
+++ b/devel/coccinelle/test/ref-passed-variables-inited.input.c
@@ -0,0 +1,88 @@
+void foo(int *z) {
+	return:
+}
+void baz(int z) {
+	return;
+}
+void zob1(int **z) {
+	return;
+}
+void zob2(int ***z) {
+	return;
+}
+
+void bar0(void) {
+	int i;
+	foo(&i);
+	baz(i);
+}
+
+void bar1(void) {
+	int i;
+	foo(&i);
+	foo(&i);
+}
+
+void bar2(void) {
+	int a = 1, b, c = 3;
+	foo(&a);
+	baz(a);
+	foo(&b);
+	baz(b);
+	foo(&c);
+	baz(c);
+}
+
+void bar3(int *w) {
+	int i;
+	foo(&i);
+	*w = i;
+}
+
+void bar4(int **w) {
+	int i;
+	foo(&i);
+	**w = *i;
+}
+
+void bar5(int ***w) {
+	int *i;
+	zob(&i);
+	***w = *i;
+}
+
+void bar6(int ***w) {
+	int *i;
+	zob1(&i);
+	***w = *i;
+}
+
+void bar7(int ****w) {
+	int **i;
+	zob1(&i);
+	****w = **i;
+}
+
+int bar8(void) {
+	int i;
+	foo(&i);
+	return i;
+}
+
+void not0(void) {
+	int i;
+	foo(&i);
+}
+
+void not1(void) {
+	int i;
+	foo(&i);
+	i = 1;
+}
+
+/* XXX false positive */
+void not2(void) {
+	int i;
+	foo(&i);
+	*(&i) = 2;
+}