[Piglit] [PATCH] cl-api-get-platform-ids: Fix possible use after free.

[Vinson Lee]

Fixes "Use after free" defect reported by Coverity.

Signed-off-by: Vinson Lee <vlee at freedesktop.org>
---
 tests/cl/api/get-platform-ids.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/cl/api/get-platform-ids.c b/tests/cl/api/get-platform-ids.c
index 6cc734a..ab3e4cd 100644
--- a/tests/cl/api/get-platform-ids.c
+++ b/tests/cl/api/get-platform-ids.c
@@ -80,6 +80,7 @@ piglit_cl_test(const int argc,
 				piglit_merge_result(&result, PIGLIT_FAIL);
 			}
 			free(platforms);
+			platforms = NULL;
 		}
 	}
 	
-- 
1.8.3.2