empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Initialize ef_type and uid automatically in ef_extend()

Browse source 
New struct emptypedstr to avoid depending on empobj.h there.

Remove now superfluous manual initializations elsewhere.

This doesn't fix any missing initializations.
This commit is contained in:
Markus Armbruster 2008-02-24 11:07:18 +01:00
parent d628679a24
commit 6cd3d55c4e
9 changed files with 28 additions and 32 deletions
Download patch file Download diff file Expand all files Collapse all files

7
include/file.h
View file

@ -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 /