Fix some warnings from scan-obj

examples/simple.c

@@ -39,7 +39,7 @@ int main (int argc, char** argv) {
   if (res != SQUASH_OK) {
     fprintf (stderr, "Unable to compress data [%d]: %s\n",
              res, squash_status_to_string (res));
-    return EXIT_FAILURE;
+    exit (EXIT_FAILURE);
   }
 
   fprintf (stdout, "Compressed a %u byte buffer to %u bytes.\n",
@@ -52,7 +52,7 @@ int main (int argc, char** argv) {
   if (res != SQUASH_OK) {
     fprintf (stderr, "Unable to decompress data [%d]: %s\n",
              res, squash_status_to_string (res));
-    return EXIT_FAILURE;
+    exit (EXIT_FAILURE);
   }
 
   /* Notice that we didn't compress the *NULL* byte at the end of the
@@ -61,7 +61,7 @@ int main (int argc, char** argv) {
 
   if (strcmp (decompressed, uncompressed) != 0) {
     fprintf (stderr, "Bad decompressed data.\n");
-    return EXIT_FAILURE;
+    exit (EXIT_FAILURE);
   }
 
   fprintf (stdout, "Successfully decompressed.\n");

squash/squash-options.c

@@ -163,6 +163,7 @@ squash_options_find (SquashOptions* options, SquashCodec* codec, const char* key
   if (codec == NULL) {
     assert (options != NULL);
     codec = options->codec;
+    assert (codec != NULL);
   }
 
   const SquashOptionInfo* info = squash_codec_get_option_info (codec);

tests/file.c

@@ -125,6 +125,7 @@ squash_test_splice_full(const MunitParameter params[], void* user_data) {
   /* Start in the middle of the file, just to make sure it works. */
   offset = (size_t) munit_rand_int_range (1, sizeof(offset_buf));
   bytes_written = fwrite (offset_buf, 1, offset, compressed);
+  munit_assert_size (bytes_written, ==, offset);
   munit_assert_int (ftello (compressed), ==, offset);
 
   SquashStatus res = squash_splice (data->codec, SQUASH_STREAM_COMPRESS, compressed, uncompressed, 0, NULL);