6 files changed, 97 insertions, 0 deletions
diff --git a/validation/linear/missing-return0.c b/validation/linear/missing-return0.c
new file mode 100644
index 00000000..d6019941
--- /dev/null
+++ b/validation/linear/missing-return0.c
@@ -0,0 +1,11 @@
+static int foo(int a)
+{
+	if (a)
+		return 1;
+}
+
+/*
+ * check-name: missing-return0
+ * check-command: sparse -vir -flinearize=last $file
+ * check-known-to-fail
+ */
diff --git a/validation/linear/missing-return1.c b/validation/linear/missing-return1.c
new file mode 100644
index 00000000..c13135ad
--- /dev/null
+++ b/validation/linear/missing-return1.c
@@ -0,0 +1,16 @@
+static inline int fun(int a)
+{
+	if (a)
+		return 1;
+}
+
+static int foo(int a)
+{
+	return fun(a);
+}
+
+/*
+ * check-name: missing-return1
+ * check-command: sparse -vir -flinearize=last $file
+ * check-known-to-fail
+ */
diff --git a/validation/linear/missing-return2.c b/validation/linear/missing-return2.c
new file mode 100644
index 00000000..c1959b6f
--- /dev/null
+++ b/validation/linear/missing-return2.c
@@ -0,0 +1,12 @@
+static int foo(int a)
+{
+	switch (a)
+	case 3:
+		return 4;
+}
+
+/*
+ * check-name: missing-return2
+ * check-command: sparse -vir -flinearize=last $file
+ * check-known-to-fail
+ */
diff --git a/validation/linear/missing-return3.c b/validation/linear/missing-return3.c
new file mode 100644
index 00000000..57a03a73
--- /dev/null
+++ b/validation/linear/missing-return3.c
@@ -0,0 +1,19 @@
+static int foo(int a)
+{
+	if (a)
+		return;
+}
+
+static void ref(void)
+{
+}
+
+/*
+ * check-name: missing-return3
+ * check-command: sparse -vir -flinearize=last $file
+ * check-known-to-fail
+ *
+ * check-error-start
+linear/missing-return3.c:4:17: error: return with no return value
+ * check-error-end
+ */
diff --git a/validation/linear/missing-return4.c b/validation/linear/missing-return4.c
new file mode 100644
index 00000000..dd30988b
--- /dev/null
+++ b/validation/linear/missing-return4.c
@@ -0,0 +1,15 @@
+static int foo(int a)
+{
+	int r = a;
+	r;
+}
+
+/*
+ * check-name: missing-return4
+ * check-command: test-linearize -Wno-decl $file
+ * check-known-to-fail
+ *
+ * check-error-ignore
+ * check-output-ignore
+ * check-output-contains: ret\\..*UNDEF
+ */
diff --git a/validation/linear/missing-return5.c b/validation/linear/missing-return5.c
new file mode 100644
index 00000000..bcabd16a
--- /dev/null
+++ b/validation/linear/missing-return5.c
@@ -0,0 +1,24 @@
+int foo(int p)
+{
+	if (p)
+		return 0;
+}
+
+int bar(int p)
+{
+	if (p)
+		return 0;
+	p++;
+}
+
+/*
+ * check-name: missing/undef return
+ * check-command: test-linearize -Wno-decl -fdump-ir=linearize $file
+ * check-known-to-fail
+ *
+ * check-output-ignore
+ * check-output-pattern(2): phi\\..*,.*
+ * check-output-pattern(2): phisrc\\..*\\$0
+ * check-output-pattern(2): phisrc\\..*UNDEF
+ * check-output-excludes: ret\\..*\\$0
+ */