From c0285a713671df2347051f27a2f5f0375a2acf04 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Sat, 1 Jul 2023 11:31:41 -0700
Subject: [PATCH] =?utf8?q?df:=20omit=20GCC=205=20=E2=80=98assume=E2=80=99s?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

* src/df.c (main):
* src/shred.c (dopass):
Omit ‘assumes’ needed to pacify GCC 5 but not needed with GCC 13.
---
 src/df.c    | 2 --
 src/shred.c | 4 +---
 2 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/df.c b/src/df.c
index 4f7d18205d..7511162cb9 100644
--- a/src/df.c
+++ b/src/df.c
@@ -1769,8 +1769,6 @@ main (int argc, char **argv)
       return EXIT_FAILURE;
   }
 
-  assume (0 < optind);
-
   if (optind < argc)
     {
       /* stat each of the given entries to make sure any corresponding
diff --git a/src/shred.c b/src/shred.c
index 9e8ba84abf..a5da4e038e 100644
--- a/src/shred.c
+++ b/src/shred.c
@@ -475,9 +475,7 @@ dopass (int fd, struct stat const *st, char const *qname, off_t *sizep,
       for (soff = 0; soff < lim; soff += ssize)
         {
           ssize = write (fd, pbuf + soff, lim - soff);
-          if (0 < ssize)
-            assume (ssize <= lim - soff);
-          else
+          if (ssize <= 0)
             {
               if (! known (size) && (ssize == 0 || errno == ENOSPC))
                 {
-- 
2.47.2