--- xnu/xnu-1228/libkern/c++/OSArray.cpp
+++ xnu/xnu-1504.3.12/libkern/c++/OSArray.cpp
@@ -218,8 +218,9 @@
     unsigned int i;
 
     haveUpdated();
-    for (i = 0; i < count; i++)
+    for (i = 0; i < count; i++) {
         array[i]->taggedRelease(OSTypeID(OSCollection));
+    }
     count = 0;
 }