Skip to content

Commit

Permalink
revert half of parent commit
Browse files Browse the repository at this point in the history
This check is unnecessary because namelen is unsigned in readrec5.

Coverity Scan defect 720334
  • Loading branch information
kr committed Sep 5, 2012
1 parent 2e1aa49 commit 0e78270
Showing 1 changed file with 0 additions and 6 deletions.
6 changes: 0 additions & 6 deletions file.c
Original file line number Diff line number Diff line change
Expand Up @@ -285,12 +285,6 @@ readrec5(File *f, job l, int *err)
return 0;
}

if (namelen < 0) {
warnpos(f, -r, "namelen %d is negative", namelen);
*err = 1;
return 0;
}

if (namelen) {
r = readfull(f, tubename, namelen, err, "v5 tube name");
if (!r) {
Expand Down

0 comments on commit 0e78270

Please sign in to comment.