linux-sparse.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
From: Al Viro <viro@ZenIV.linux.org.uk>
To: Atsushi Nemoto <anemo@mba.ocn.ne.jp>
Cc: linux-sparse@vger.kernel.org, linux-mips@linux-mips.org
Subject: Re: [PATCH] sparse: Increase pre_buffer[] and check overflow
Date: Thu, 10 Jul 2008 18:51:00 +0100	[thread overview]
Message-ID: <20080710175100.GF28946@ZenIV.linux.org.uk> (raw)
In-Reply-To: <20080709.005953.26097194.anemo@mba.ocn.ne.jp>

On Wed, Jul 09, 2008 at 12:59:53AM +0900, Atsushi Nemoto wrote:
explicit (and __STDC__ is redundant): -D__linux__ -Dlinux -D__STDC__
-Dunix -D__unix__ -Wbitwise

Not used anywhere in the tree:
-D__DBL_MIN_EXP__='(-1021)' -D__HQ_FBIT__='15' -D__SFRACT_IBIT__='0'
-D__FLT_MIN__='1.17549435e-38F' -D__UFRACT_MAX__='0XFFFFP-16UR'
-D__DEC64_DEN__='0.000000000000001E-383DD' -D__DQ_FBIT__='63'
-D__ULFRACT_FBIT__='32' -D__SACCUM_EPSILON__='0x1P-7HK'
-D__CHAR_BIT__='8' -D__USQ_IBIT__='0' -D__ACCUM_FBIT__='15'

Maybe, let me check...  Nope, not used.
> -DR3000='1'

Not used anywhere:
> -D__USFRACT_FBIT__='8'
> -D__ULLFRACT_MAX__='0XFFFFFFFFFFFFFFFFP-64ULLR'
> -D__WCHAR_MAX__='2147483647' -D__LACCUM_IBIT__='32'
> -D__GCC_HAVE_SYNC_COMPARE_AND_SWAP_4='1'
> -D__DBL_DENORM_MIN__='4.9406564584124654e-324'
> -D__FLT_EVAL_METHOD__='0'

Explicitly passed: -D__unix__='1'

Not used:
> -D__LLACCUM_MAX__='0X7FFFFFFFFFFFFFFFP-31LLK' -D__FRACT_FBIT__='15'

Used:
-D_MIPS_ISA='_MIPS_ISA_MIPS32'

Not used:
> -D__UACCUM_FBIT__='16'
> -D__LANGUAGE_C='1' -D__DBL_MIN_10_EXP__='(-307)'
> -D__FINITE_MATH_ONLY__='0' -D_MIPS_TUNE='"mips32r2"'
> -D__LFRACT_IBIT__='0' -D__LFRACT_MAX__='0X7FFFFFFFP-31LR'
> -D__DEC64_MAX_EXP__='384' -D_ABIO32='1' -D__SA_FBIT__='15'
> -D__SHRT_MAX__='32767' -D__LDBL_MAX__='1.7976931348623157e+308L'
> -D__FRACT_MAX__='0X7FFFP-15R' -D__UFRACT_FBIT__='16'
> -D__UFRACT_MIN__='0.0UR' -D__LANGUAGE_C__='1'

Not used, might be worth defining in sparse:
-D__UINTMAX_TYPE__='long
> long unsigned int'

Not used:
 -D__LLFRACT_EPSILON__='0x1P-63LLR'

Explicitly passed:
 -D__linux='1'

Not used:
> -D__DEC32_EPSILON__='1E-6DF'

Passed by sparse:
-D__OPTIMIZE__='1'

Explicitly passed: -D__unix='1'

Not used:
> -D__ULFRACT_MAX__='0XFFFFFFFFP-32ULR' -D__TA_IBIT__='64'
> -D__LDBL_MAX_EXP__='1024'

Used: -D__MIPSEL__='1'

Explicitly passed: -D__linux__='1'

[...]

And AFAICS, the ratio gets even worse further into the list...

  reply	other threads:[~2008-07-10 17:51 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-07-08 15:28 [PATCH] sparse: Increase pre_buffer[] and check overflow Atsushi Nemoto
2008-07-08 15:59 ` Atsushi Nemoto
2008-07-10 17:51   ` Al Viro [this message]
2008-07-10 18:09     ` Morten Welinder
2008-07-08 20:45 ` Sam Ravnborg
2008-07-09 16:18   ` Atsushi Nemoto
2008-07-09 16:32     ` Sam Ravnborg
2008-07-10 17:39       ` Al Viro
2008-07-11 16:07         ` Atsushi Nemoto

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=20080710175100.GF28946@ZenIV.linux.org.uk \
    --to=viro@zeniv.linux.org.uk \
    --cc=anemo@mba.ocn.ne.jp \
    --cc=linux-mips@linux-mips.org \
    --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).