...

1 files changed, 12 insertions, 0 deletions

diff --git a/src/device/physical/physical_device.c b/src/device/physical/physical_device.c
index e7b4167..ca6f595 100644
--- a/src/device/physical/physical_device.c
+++ b/src/device/physical/physical_device.c
@@ -196,6 +196,10 @@ int relabsd_physical_device_read
 
          return -1;
    }
+
+   RELABSD_S_PROG_ERROR("Reached what is supposed to be dead code.");
+
+   return -1;
 }
 
 int relabsd_physical_device_is_late
@@ -205,3 +209,11 @@ int relabsd_physical_device_is_late
 {
    return device->is_late;
 }
+
+int relabsd_physical_device_get_file_descriptor
+(
+   const struct relabsd_physical_device device [const restrict static 1]
+)
+{
+   return device->file;
+}