bad                49 kernel/exec.c      goto bad;
bad                53 kernel/exec.c      goto bad;
bad                56 kernel/exec.c      goto bad;
bad                61 kernel/exec.c        goto bad;
bad                65 kernel/exec.c        goto bad;
bad                67 kernel/exec.c        goto bad;
bad                69 kernel/exec.c        goto bad;
bad                72 kernel/exec.c        goto bad;
bad                75 kernel/exec.c        goto bad;
bad                90 kernel/exec.c      goto bad;
bad               100 kernel/exec.c        goto bad;
bad               104 kernel/exec.c        goto bad;
bad               106 kernel/exec.c        goto bad;
bad               115 kernel/exec.c      goto bad;
bad               117 kernel/exec.c      goto bad;
bad               140 kernel/exec.c   bad:
bad                30 kernel/pipe.c      goto bad;
bad                32 kernel/pipe.c      goto bad;
bad                48 kernel/pipe.c   bad:
bad               150 kernel/sysfile.c     goto bad;
bad               154 kernel/sysfile.c     goto bad;
bad               163 kernel/sysfile.c bad:
bad               209 kernel/sysfile.c     goto bad;
bad               212 kernel/sysfile.c     goto bad;
bad               219 kernel/sysfile.c     goto bad;
bad               239 kernel/sysfile.c bad:
bad               448 kernel/sysfile.c       goto bad;
bad               451 kernel/sysfile.c       goto bad;
bad               459 kernel/sysfile.c       goto bad;
bad               461 kernel/sysfile.c       goto bad;
bad               471 kernel/sysfile.c  bad:
bad              2679 user/usertests.c   unsigned long bad[] = {
bad              2687 user/usertests.c   for(int i = 0; i < sizeof(bad)/sizeof(bad[0]); i++){
bad              2690 user/usertests.c     if(read(fd, (char*)bad[i], 512) >= 0) { printf("read succeeded\n");  exit(1); }
bad              2694 user/usertests.c     if(write(fd, (char*)bad[i], 512) >= 0) { printf("write succeeded\n"); exit(1); }