Path: csiph.com!x330-a1.tempe.blueboxinc.net!newsfeed.hal-mli.net!feeder3.hal-mli.net!newsfeed.hal-mli.net!feeder2.hal-mli.net!border3.nntp.dca.giganews.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail
NNTP-Posting-Date: Sun, 08 Jan 2012 21:08:00 -0600
Message-ID: <4F0A5A15.5CE4@mindspring.com>
Date: Sun, 08 Jan 2012 22:08:05 -0500
From: pete <pfiland@mindspring.com>
Reply-To: pfiland@mindspring.com
Organization: PF
X-Mailer: Mozilla 3.04Gold (WinNT; I)
MIME-Version: 1.0
Newsgroups: comp.lang.c
Subject: Re: The container abstraction and parallel programming
References: <je7uhf$hjj$1@speranza.aioe.org> <9mpj60Fdr5U5@mid.individual.net> <je8vto$bi6$1@speranza.aioe.org> <je9hu7$he1$2@dont-email.me> <jebs9q$dd2$1@speranza.aioe.org> <jecl5c$as4$1@dont-email.me> <ln1ur96dq4.fsf@nuthaus.mib.org>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Lines: 34
X-Usenet-Provider: http://www.giganews.com
NNTP-Posting-Host: 4.156.228.186
X-Trace: sv3-gjrrO/8oKUJVg+/H7eHZVjGhFMpC081JFbXITAnug5PyX2BaUTwTIgsCca51r/DRE3n0K38HeOfsAay!qnHP9G6h/GIacrQmOUA3aREt0PAEAM0XKNHXUwNyFf01d14jxh800/B/DiDHvHu0/xlNCmYE6m7Y!zxQjeJww3tk=
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 1949
Xref: x330-a1.tempe.blueboxinc.net comp.lang.c:15601

Keith Thompson wrote:
> 
> Stephen Sprunk <stephen@sprunk.org> writes:
> > On 08-Jan-12 04:48, jacob navia wrote:
> [...]
> >> If I write:
> >>
> >>     c = (a+b)/2;
> >>     if (c&1) fn(1);
> >>
> >> You could deduce that c must be of integer type isn't it?
> >
> > Um, no.  It could be any arithmetic type.
> 
> "c&1" is valid only if c is of some integer type.

Otherwise, it is a constraint violation.

I have a copy of one of the old C standards.

ISO/IEC 9899: 1990

6.3.10 Bitwise AND operator

Syntax
    AND-expression:
        equality-expression
        AND-expression & equality-expression

Constraints
   Each of the operands shall have integral type.

-- 
pete