warns as it should, but crashes than

[r20077]

diff --git a/parsetest/should_warn/return_with_void.c b/parsetest/should_warn/return_with_void.c
new file mode 100644 (file)
index 0000000..9c7a1f6
--- /dev/null
+++ b/parsetest/should_warn/return_with_void.c
@@ -0,0 +1,11 @@
+void test(unsigned a, unsigned b) {
+       unsigned x = a - b;
+       if (a >= b)
+               return x;
+       return 0;
+}
+
+int main(int argc, char *argv[]) {
+       test(3,4);
+       return 0;
+}