X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fprocess.c;fp=src%2Fuserprog%2Fprocess.c;h=90ff18b14ddaae54563ee7d53d6c0cef538fe5aa;hb=a5e9cca7aa73a4c9b8817a77933efcffc6009201;hp=b8d4a14462c63faecf6ac69944db4180b83d2914;hpb=042fc8b99ded3537ec4c27074a0c5dff5b569a04;p=pintos-anon

diff --git a/src/userprog/process.c b/src/userprog/process.c
index b8d4a14..90ff18b 100644
--- a/src/userprog/process.c
+++ b/src/userprog/process.c
@@ -320,7 +320,7 @@ load_segment (struct file *file, const struct Elf32_Phdr *phdr)
     }
 
   /* p_offset must point within file. */
-  if (phdr->p_offset < 0 || phdr->p_offset > file_length (file)) 
+  if (phdr->p_offset > (Elf32_Off) file_length (file)) 
     {
       printf ("bad p_offset %"PE32Ox, phdr->p_offset);
       return false;