Index: tests/.expect/loop-inc.txt
===================================================================
--- tests/.expect/loop-inc.txt	(revision e50d9cb8bcb9d4dee3eb25c5c5ffe27efe455a18)
+++ tests/.expect/loop-inc.txt	(revision e50d9cb8bcb9d4dee3eb25c5c5ffe27efe455a18)
@@ -0,0 +1,3 @@
+loop
+loop
+done
Index: tests/loop-inc.cfa
===================================================================
--- tests/loop-inc.cfa	(revision e50d9cb8bcb9d4dee3eb25c5c5ffe27efe455a18)
+++ tests/loop-inc.cfa	(revision e50d9cb8bcb9d4dee3eb25c5c5ffe27efe455a18)
@@ -0,0 +1,20 @@
+forall(T &)
+struct A {
+    T * next;
+};
+
+struct B {
+    A(B) link;
+};
+
+int main(void) {
+	B end = { { 0p } };
+	B two = { { &end } };
+	B one = { { &two } };
+	B * head = &one;
+
+	for (B ** it = &head ; (*it)->link.next ; it = &(*it)->link.next) {
+		printf("loop\n");
+	}
+	printf("done\n");
+}