From: "Petr Vandrovec" <VANDROVE@vc.cvut.cz>
To: Valdis.Kletnieks@vt.edu
Cc: davej@redhat.com, torvalds@osdl.org,
linux-kernel@vger.kernel.org, jgarzik@pobox.com
Subject: Re: [PATCH] Remove useless assertions from reiserfs
Date: Mon, 11 Aug 2003 20:33:13 +0200 [thread overview]
Message-ID: <9D9C5DC650E@vcnet.vc.cvut.cz> (raw)
On 11 Aug 03 at 14:00, Valdis.Kletnieks@vt.edu wrote:
> On Mon, 11 Aug 2003 13:45:30 EDT, Jeff Garzik said:
> > Why are these useless?
>
> > > if (len >= 12)
> > > {
> > > //assert(len < 16);
> > > if (len >= 16)
> > > BUG();
> >
> > Seems like a valid check to me...
>
> Just before that, there's code:
>
> while(len >= 16)
> {
> ...
> len -= 16;
> }
>
> So if that ever exits with a len >=16, we have a SERIOUS problem with
> either the compiler or the hardware - as such, that "if (..) BUG" is dead code.
> Similarly for the other checks.
I always thought that assertions are just for that - if you can hit them
without some unexpected event/bug, you have a SERIOUS problem.
Petr Vandrovec
next reply other threads:[~2003-08-11 18:44 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-08-11 18:33 Petr Vandrovec [this message]
2003-08-11 18:46 ` [PATCH] Remove useless assertions from reiserfs Dave Jones
-- strict thread matches above, loose matches on Subject: below --
2003-08-11 16:48 davej
2003-08-11 17:45 ` Jeff Garzik
2003-08-11 17:52 ` Dave Jones
2003-08-11 17:56 ` Jeff Garzik
2003-08-11 18:00 ` Valdis.Kletnieks
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=9D9C5DC650E@vcnet.vc.cvut.cz \
--to=vandrove@vc.cvut.cz \
--cc=Valdis.Kletnieks@vt.edu \
--cc=davej@redhat.com \
--cc=jgarzik@pobox.com \
--cc=linux-kernel@vger.kernel.org \
--cc=torvalds@osdl.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox