From: Linus Torvalds <torvalds@osdl.org>
To: Al Viro <viro@ftp.linux.org.uk>
Cc: linux-sparse@vger.kernel.org
Subject: Re: [PATCHSET] fouled-bitwise handling
Date: Sun, 1 Oct 2006 10:58:30 -0700 (PDT) [thread overview]
Message-ID: <Pine.LNX.4.64.0610011056090.3952@g5.osdl.org> (raw)
In-Reply-To: <20061001172911.GY29920@ftp.linux.org.uk>
On Sun, 1 Oct 2006, Al Viro wrote:
>
> PS: "fouled(le16)" is exactly "int, and if you narrow it to 16bit, it'd
> better be le16". We could separate that from type information, but hey,
> if we want to carry reference to some type + indication that we do have
> that reference + int as type, we might as well introduce a type node
> saying "I'm int, might be base_type". Which is exactly what I've done...
Ok, I'm convinced.
The "fouled" bit may be a special case, but it's less of a special case
than I thought. In fact, it could be used as a preliminary kind of "expand
this op to int" that would entirely replace the explicit "implicit cast"
we do now.
(Although doing the implicit C casts as _explicit_ casts in sparse does
have a lot of advantages, and avoids us having to test for things, so I'm
not convinced we would want to actually expand "fouled" bit usage past the
bitwise ops).
So I'll pull your tree.
Thanks,
Linus
next prev parent reply other threads:[~2006-10-01 17:58 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-10-01 13:57 [PATCHSET] fouled-bitwise handling Al Viro
2006-10-01 14:09 ` Al Viro
2006-10-01 16:21 ` Linus Torvalds
2006-10-01 16:45 ` Al Viro
2006-10-01 16:52 ` Linus Torvalds
2006-10-01 17:22 ` Al Viro
2006-10-01 17:29 ` Al Viro
2006-10-01 17:58 ` Linus Torvalds [this message]
2006-10-01 17:33 ` Linus Torvalds
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=Pine.LNX.4.64.0610011056090.3952@g5.osdl.org \
--to=torvalds@osdl.org \
--cc=linux-sparse@vger.kernel.org \
--cc=viro@ftp.linux.org.uk \
/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;
as well as URLs for NNTP newsgroup(s).