assert            220 common/libc/printf/__printf.c 		assert(ch>'0' && ch<='9');
assert            488 common/libc/printf/__printf.c 	assert(ch!=0);
assert            107 user/bin/sh/sh.c 	assert(0);
assert            290 user/lib/libc/stdlib/random.c 	assert(arg_state != NULL);
assert            361 user/lib/libc/stdlib/random.c 	assert(arg_state != NULL);
assert             58 user/sbin/mksfs/disk.c 	assert(fd<0);
assert             96 user/sbin/mksfs/disk.c 	assert(fd>=0);
assert            103 user/sbin/mksfs/disk.c 	assert(fd>=0);
assert            114 user/sbin/mksfs/disk.c 	assert(fd>=0);
assert            147 user/sbin/mksfs/disk.c 	assert(fd>=0);
assert            176 user/sbin/mksfs/disk.c 	assert(fd>=0);
assert             64 user/sbin/mksfs/mksfs.c 	assert(sizeof(struct sfs_super)==SFS_BLOCKSIZE);
assert             65 user/sbin/mksfs/mksfs.c 	assert(sizeof(struct sfs_inode)==SFS_BLOCKSIZE);
assert             66 user/sbin/mksfs/mksfs.c 	assert(SFS_BLOCKSIZE % sizeof(struct sfs_dir) == 0);
assert            112 user/sbin/mksfs/mksfs.c 	assert((bitbuf[byte] & mask) == 0);
assert            227 user/sbin/sfsck/sfsck.c 		assert(0);
assert            319 user/sbin/sfsck/sfsck.c 			assert((found[j] & tofree[j])==0);
assert            388 user/sbin/sfsck/sfsck.c 	assert(ninodes <= maxinodes);
assert            422 user/sbin/sfsck/sfsck.c 			assert(inodes[i].linkcount==0);
assert            439 user/sbin/sfsck/sfsck.c 			assert(inodes[i].linkcount>0);
assert            462 user/sbin/sfsck/sfsck.c 		assert(sfi.sfi_type == SFS_TYPE_FILE);
assert            525 user/sbin/sfsck/sfsck.c 	assert(nblocks==0);
assert            526 user/sbin/sfsck/sfsck.c 	assert(bitblocks==0);
assert            529 user/sbin/sfsck/sfsck.c 	assert(nblocks>0);
assert            530 user/sbin/sfsck/sfsck.c 	assert(bitblocks>0);
assert            591 user/sbin/sfsck/sfsck.c 		assert(indirection==1);
assert            626 user/sbin/sfsck/sfsck.c 		assert(*ientry != 0);
assert            727 user/sbin/sfsck/sfsck.c 		assert(offset < SFS_DBPERIDB);
assert            913 user/sbin/sfsck/sfsck.c 			assert(strlen(name) < sizeof(d[i].sfd_name));
assert           1029 user/sbin/sfsck/sfsck.c 		assert(d1 != d2);
assert           1067 user/sbin/sfsck/sfsck.c 			assert(dotseen==0); /* due to duplicate checking */
assert           1078 user/sbin/sfsck/sfsck.c 			assert(dotdotseen==0); /* due to duplicate checking */
assert           1254 user/sbin/sfsck/sfsck.c 	assert(sizeof(struct sfs_super)==SFS_BLOCKSIZE);
assert           1255 user/sbin/sfsck/sfsck.c 	assert(sizeof(struct sfs_inode)==SFS_BLOCKSIZE);
assert           1256 user/sbin/sfsck/sfsck.c 	assert(SFS_BLOCKSIZE % sizeof(struct sfs_dir) == 0);
assert           1275 user/sbin/sfsck/sfsck.c 		assert(0);
assert            113 user/testbin/psort/psort.c 	assert(readpos == endpos);
assert            114 user/testbin/psort/psort.c 	assert(frontpos + pivotcount == readpos);
assert            423 user/testbin/psort/psort.c 	assert(WIFEXITED(status));
assert            542 user/testbin/psort/psort.c 			assert(value >= 0);
assert            543 user/testbin/psort/psort.c 			assert(value <= RANDOM_MAX);
assert            651 user/testbin/psort/psort.c 			assert(binnum >= 0);
assert            652 user/testbin/psort/psort.c 			assert(binnum < numprocs);
assert            759 user/testbin/psort/psort.c 		assert(place >= 0);
assert            763 user/testbin/psort/psort.c 			assert(worknum == WORKNUM);
assert            775 user/testbin/psort/psort.c 		assert(infds[i] < 0);
assert           1128 user/testbin/psort/psort.c 			    default: assert(0); break;
assert           1134 user/testbin/psort/psort.c 			    default: assert(0); break;