Changeset 84a1a54 in mainline for uspace/lib/drv/generic/driver.c

Timestamp:

2018-01-04T20:47:53Z (7 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Children:

facacc71

Parents:

cde999a

Message:

Wrap returns of errno from main() with EXIT_RC().

Returns of error code from main() prevent type checking when errno_t
and int are considered incompatible. In order to avoid the philosophical
discussion of what should and shouldn't be returned for main(), we simply
wrap the error values and leave the answer to the question for future
generations to decide.

File:

• uspace/lib/drv/generic/driver.c (modified) (5 diffs)

uspace/lib/drv/generic/driver.c

@@ -978 +978 @@
         if (rc != EOK) {
                 printf("Error: Failed to create driver port.\n");
-                return rc;
+                return EXIT_RC(rc);
         }
         
@@ -985 +985 @@
         if (rc != EOK) {
                 printf("Error: Failed to create devman port.\n");
-                return rc;
+                return EXIT_RC(rc);
         }
         
@@ -996 +996 @@
                     str_error(rc));
                 
-                return rc;
+                return EXIT_RC(rc);
         }
         
@@ -1003 +1003 @@
         if (rc != EOK) {
                 printf("Error: Failed returning task value.\n");
-                return rc;
+                return EXIT_RC(rc);
         }
         
@@ -1009 +1009 @@
         
         /* Never reached. */
-        return EOK;
+        return 0;
 }