diff -r 000000000000 -r 6474c204b198 xpcom/tests/static-checker/flow_through_pass.cpp
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/xpcom/tests/static-checker/flow_through_pass.cpp	Wed Dec 31 06:09:35 2014 +0100
@@ -0,0 +1,20 @@
+static void MUST_FLOW_THROUGH(const char *label) {
+}
+
+int test(int x, int y) {
+  if (x == 3)
+    return 0;
+
+  if(x)
+    MUST_FLOW_THROUGH("out");
+  
+  if (x) {
+    x = y;
+    goto out;
+  }
+
+  return y;
+ out:
+  x--;
+  return x;
+}