소스 검색

make coverity happy

Samuel Thibault 7 년 전
부모
커밋
a2f91d1738
1개의 변경된 파일3개의 추가작업 그리고 1개의 파일을 삭제
  1. 3 1
      tools/starpu_lp2paje.c

+ 3 - 1
tools/starpu_lp2paje.c

@@ -1,6 +1,6 @@
 /* StarPU --- Runtime system for heterogeneous multicore architectures.
  *
- * Copyright (C) 2010-2011, 2013-2014  Université de Bordeaux
+ * Copyright (C) 2010-2011, 2013-2014, 2017  Université de Bordeaux
  * Copyright (C) 2014, 2015, 2016, 2017                  CNRS
  *
  * StarPU is free software; you can redistribute it and/or modify
@@ -58,7 +58,9 @@ int main(int argc, char *argv[])
 	assert(scanf("Actual values of the variables:\n") == 0);
 	assert(scanf("tmax %lf\n", &tmax) == 1);
 	assert(scanf("nt %d\n", &nt) == 1);
+	assert(nt >= 0);
 	assert(scanf("nw %d\n", &nw) == 1);
+	assert(nw >= 0);
 	printf(
 "%%EventDef PajeDefineContainerType 1\n"
 "%%  Alias         string\n"