From: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
To: linux-sparse@vger.kernel.org
Cc: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Subject: [PATCH 0/4] fix usual conversion of integers
Date: Tue, 6 Oct 2020 01:03:57 +0200 [thread overview]
Message-ID: <20201005230401.74777-1-luc.vanoostenryck@gmail.com> (raw)
The current implementation of the usual conversion doesn't handle
correctly the case of 'long' + 'unsigned int' on a 32-bit arch.
The resulting type is 'unsigned int' instead of 'unsigned long'.
Fix this by following closely the C99's wording.
This now gives the expected result for C89 & C99 on 32 & 64-bit archs
(as tested with the GCC testsuite).
Luc Van Oostenryck (4):
add builtin type pointer to bool: bool_ptr_ctype
fix prototype of __sync_bool_compare_and_swap()
fix evaluation of pointer to bool conversions
fix usual conversion of integers
builtin.c | 2 +-
evaluate.c | 67 ++++++++++++++++--------------
symbol.c | 2 +
symbol.h | 1 +
validation/linear/bool-cast-lp32.c | 1 -
5 files changed, 40 insertions(+), 33 deletions(-)
--
2.28.0
next reply other threads:[~2020-10-05 23:04 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-10-05 23:03 Luc Van Oostenryck [this message]
2020-10-05 23:03 ` [PATCH 1/4] add builtin type pointer to bool: bool_ptr_ctype Luc Van Oostenryck
2020-10-05 23:03 ` [PATCH 2/4] fix prototype of __sync_bool_compare_and_swap() Luc Van Oostenryck
2020-10-05 23:04 ` [PATCH 3/4] fix evaluation of pointer to bool conversions Luc Van Oostenryck
2020-10-05 23:04 ` [PATCH 4/4] fix usual conversion of integers Luc Van Oostenryck
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=20201005230401.74777-1-luc.vanoostenryck@gmail.com \
--to=luc.vanoostenryck@gmail.com \
--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).