Potential Missing Release of File Descriptor or Handle after Effective Lifetime.

[MicroMilo]

Hi, developers of scip, I run a SAST to detect a potential Missing Release of File Descriptor or Handle after Effective Lifetime in examples/LOP/src/genRandomLOPInstance.c#L106

here is the source code starting from line 106.

   file = fopen(argv[1], "w");
   if ( file == NULL )
   {
      printf("Could not open file %s.\n", argv[1]);
      return 1;
   }

   /* write comment line and size*/
   fprintf(file, "Randomly generated LOP instance.\n");
   fprintf(file, "%d\n", n);
   for (i = 0; i < n; ++i)
   {
      for (j = 0; j < n; ++j)
	 fprintf(file, "%d ", getRandomInt(0, d, &seed));
      fprintf(file, "\n");
   }

   printf("Wrote random LOP instance to %s\n", argv[1]);
   printf("Size: %d\n", n);
   printf("Entries: {0, ..., %d}\n", d);

   return 0;
}

[svigerske]

Yes, explicitly closing the file wouldn't harm. Will add this soon.