Initialize ef_type and uid automatically in ef_extend()

[empserver] / include / file.h

diff --git a/include/file.h b/include/file.h
index 640adbc9e46351f28923d6c1b5af9d9719feae56..43a67f73315a3c6d406113c26062e284ced6b09a 100644 (file)
--- a/include/file.h
+++ b/include/file.h
@@ -65,13 +65,18 @@ struct empfile {
     int (*prewrite)(int, void *); /* called before write, unless null */
 };
 
+struct emptypedstr {
+    short ef_type;
+    short uid;
+};
+
 /*
  * Flag bits for struct empfile member flags
  * Immutable flags are properties of the table and thus cannot change.
  * The remaining flags record how the table is being used.
  */
 /* Immutable flags, fixed at compile-time */
-/* Table entries' addresses can't be safely cast to struct emptyped *.  */
+/* Dereferencing entry address cast to struct emptypedstr * is safe */
 #define EFF_TYPED      bit(0)
 /*
  * EFF_XY / EFF_OWNER / EFF_GROUP assert that coordinates / owner /