bad                50 kernel/exec.c      goto bad;
bad                54 kernel/exec.c      goto bad;
bad                57 kernel/exec.c      goto bad;
bad                62 kernel/exec.c        goto bad;
bad                66 kernel/exec.c        goto bad;
bad                68 kernel/exec.c        goto bad;
bad                70 kernel/exec.c        goto bad;
bad                74 kernel/exec.c        goto bad;
bad                77 kernel/exec.c        goto bad;
bad                93 kernel/exec.c      goto bad;
bad               105 kernel/exec.c        goto bad;
bad               107 kernel/exec.c        goto bad;
bad               116 kernel/exec.c      goto bad;
bad               119 kernel/exec.c      goto bad;
bad               142 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               156 kernel/sysfile.c     goto bad;
bad               163 kernel/sysfile.c     goto bad;
bad               167 kernel/sysfile.c     goto bad;
bad               176 kernel/sysfile.c bad:
bad               222 kernel/sysfile.c     goto bad;
bad               225 kernel/sysfile.c     goto bad;
bad               232 kernel/sysfile.c     goto bad;
bad               252 kernel/sysfile.c bad:
bad               472 kernel/sysfile.c       goto bad;
bad               475 kernel/sysfile.c       goto bad;
bad               483 kernel/sysfile.c       goto bad;
bad               485 kernel/sysfile.c       goto bad;
bad               495 kernel/sysfile.c bad:
bad              2713 user/usertests.c   unsigned long bad[] = {
bad              2717 user/usertests.c   for (int i = 0; i < sizeof(bad) / sizeof(bad[0]); i++) {
bad              2723 user/usertests.c     if (read(fd, (char *)bad[i], 512) >= 0) {
bad              2733 user/usertests.c     if (write(fd, (char *)bad[i], 512) >= 0) {