X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Finode.c;fp=src%2Ffilesys%2Finode.c;h=17f4b4680f656fdbda2e8344b36366ba478a6315;hb=29c1ba099f587c7f6fb714c140ed47a69c59566f;hp=8e954abc32f35c782cd04c9f0715a7291a86edbb;hpb=90e5aed22e74829452ae509ed2339a606740ec90;p=pintos-anon diff --git a/src/filesys/inode.c b/src/filesys/inode.c index 8e954ab..17f4b46 100644 --- a/src/filesys/inode.c +++ b/src/filesys/inode.c @@ -76,6 +76,9 @@ inode_create (disk_sector_t sector, off_t length) bool success = false; ASSERT (length >= 0); + + /* If this assertion fails, the inode structure is not exactly + one sector in size, and you should fix that. */ ASSERT (sizeof *disk_inode == DISK_SECTOR_SIZE); disk_inode = calloc (1, sizeof *disk_inode);