From: Al Viro <viro@ftp.linux.org.uk>
To: linux-sparse@vger.kernel.org
Subject: [PATCH 4/16] null pointer constants have no special meaning for pointer subtraction
Date: Sun, 24 Jun 2007 09:03:51 +0100 [thread overview]
Message-ID: <E1I2N4Z-0003cJ-5w@ZenIV.linux.org.uk> (raw)
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
---
evaluate.c | 19 ++-----------------
1 files changed, 2 insertions(+), 17 deletions(-)
diff --git a/evaluate.c b/evaluate.c
index febfad2..2510c2b 100644
--- a/evaluate.c
+++ b/evaluate.c
@@ -833,16 +833,6 @@ static int is_null_ptr(struct expression *expr)
return 1;
}
-static struct symbol *common_ptr_type(struct expression *l, struct expression *r)
-{
- /* NULL expression? Just return the type of the "other side" */
- if (is_null_ptr(r))
- return l->ctype;
- if (is_null_ptr(l))
- return r->ctype;
- return NULL;
-}
-
/*
* Ignore differences in "volatile" and "const"ness when
* subtracting pointers
@@ -868,13 +858,8 @@ static struct symbol *evaluate_ptr_sub(struct expression *expr, struct expressio
ctype = ltype;
typediff = type_difference(ltype, rtype, ~MOD_SIZE, ~MOD_SIZE);
- if (typediff) {
- ctype = common_ptr_type(l, r);
- if (!ctype) {
- expression_error(expr, "subtraction of different types can't work (%s)", typediff);
- return NULL;
- }
- }
+ if (typediff)
+ expression_error(expr, "subtraction of different types can't work (%s)", typediff);
examine_symbol_type(ctype);
/* Figure out the base type we point to */
--
1.5.0-rc2.GIT
reply other threads:[~2007-06-24 8:03 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=E1I2N4Z-0003cJ-5w@ZenIV.linux.org.uk \
--to=viro@ftp.linux.org.uk \
--cc=linux-sparse@vger.kernel.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;
as well as URLs for NNTP newsgroup(s).