1 files changed, 2 insertions, 0 deletions
diff --git a/src/df.c b/src/df.c
index 17a2de437..507a0f734 100644
--- a/src/df.c
+++ b/src/df.c
@@ -1650,6 +1650,8 @@ main (int argc, char **argv)
       return EXIT_FAILURE;
   }
 
+  assume (0 < optind);
+
   if (optind < argc)
     {
       int i;