From: john.levon@joyent.com
To: smatch@vger.kernel.org
Subject: Patch series: pre-defines update
Date: Thu, 23 Jan 2020 02:56:55 -0800 [thread overview]
Message-ID: <20200123105703.17454-1-john.levon@joyent.com> (raw)
This set is based on merged sparse patches that add some necessary pre-defines
to get close to what GCC defines by default. I've had to modify the patches as
smatch is lacking lots of sparse changes, so they're mostly authored by both Luc
and myself.
next reply other threads:[~2020-01-23 11:01 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-01-23 10:56 john.levon [this message]
2020-01-23 10:56 ` [PATCH 1/8] allow to test the standard version outside of lib.c john.levon
2020-01-23 10:56 ` [PATCH 2/8] alt definition for STANDARD_GNU89 & friends john.levon
2020-01-23 10:56 ` [PATCH 3/8] add predefine_nostd() john.levon
2020-01-23 10:56 ` [PATCH 4/8] define __PRAGMA_REDEFINE_EXTNAME john.levon
2020-01-23 10:57 ` [PATCH 5/8] add necessary defined for sunos-derived systems john.levon
2020-01-23 10:57 ` [PATCH 6/8] pre-define __unix__ and friends john.levon
2020-01-23 10:57 ` [PATCH 7/8] correct sparcv9 defines john.levon
2020-01-23 10:57 ` [PATCH 8/8] predefine "i386" if needed john.levon
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=20200123105703.17454-1-john.levon@joyent.com \
--to=john.levon@joyent.com \
--cc=smatch@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 read-only IMAP folder(s) and NNTP newsgroup(s).