fix coverity warnings

src/core/sched_ctx.c

@@ -538,6 +538,7 @@ struct _starpu_sched_ctx* _starpu_create_sched_ctx(struct starpu_sched_policy *p
 	sched_ctx->stream_worker = -1;
 	if(nsms > 0)
 	{
+		STARPU_ASSERT_MSG(workerids, "workerids is needed when setting nsms");
 		sched_ctx->sms_start_idx = occupied_sms;
 		sched_ctx->sms_end_idx = occupied_sms+nsms;
 		occupied_sms += nsms;

src/core/workers.c

@@ -1860,7 +1860,7 @@ int starpu_worker_get_devids(enum starpu_worker_archtype type, int *devids, int
 {
 	int cnt = 0;
 	unsigned nworkers = starpu_worker_get_count();
-	int *workerids = (int *)malloc(nworkers*sizeof(int));
+	int workerids[nworkers];
 
 	unsigned ndevice_workers = starpu_worker_get_ids_by_type(type, workerids, nworkers);
 
@@ -1895,7 +1895,6 @@ int starpu_worker_get_devids(enum starpu_worker_archtype type, int *devids, int
 		}
 	}
 
-	free(workerids);
 	return ndevids;
 }