Re: [CIL users] C99 _Bool support

[J. A. P. <Jam...@jh...>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

With gcc on x86, sizeof(_Bool) == 1

On Dec 12, 2007, at 12:50 PM, Kristis Makris wrote:

> No reason. I just followed your recommendation from:
>
> http://sourceforge.net/tracker/index.php? 
> func=detail&aid=1497763&group_id=138953&atid=742140
>
> which suggested #define _Bool unsigned int. I suppose the size  
> could be
> just a char for efficiency.
>
> On Tue, 2007-12-11 at 18:11 -0800, Matt Harren wrote:
>> Thanks, Kristis!
>>
>> I haven't looked at the spec for _Bool recently.  Is there a  
>> reason to
>> assume that sizeof(_Bool) == sizeof(unsigned int) on all platforms?
>>
>> -- Matt
>>
>> On Dec 11, 2007 4:35 PM, Kristis Makris < kri...@as...>
>> wrote:
>>         Hello,
>>
>>         I implemented a patch to CIL that supports the C99 _Bool
>>         datatype. The
>>         patch seems to work with the following trivial test case.
>>
>>         +++++++++++++++++++++++++++++++++++++++++++
>>         #include <stdio.h>
>>
>>         int main() {
>>          _Bool a;
>>
>>          a = 1;
>>
>>          printf("a=%d\n", a);
>>          return 0;
>>         }
>>         +++++++++++++++++++++++++++++++++++++++
>>
>>         Could someone review the patch and apply it to the mainline ?
>>         I would be
>>         happy to help with further improving this patch with the aim
>>         of getting
>>         it merged.
>>
>>         Thanks,
>>         Kristis
>>
>>          
>> --------------------------------------------------------------------- 
>> ----
>>         SF.Net email is sponsored by:
>>         Check out the new SourceForge.net Marketplace.
>>         It's the best place to buy or sell services for
>>         just about anything Open Source.
>>         http://sourceforge.net/services/buy/index.php
>>         _______________________________________________
>>         CIL-users mailing list
>>         CIL...@li...
>>         https://lists.sourceforge.net/lists/listinfo/cil-users
>>
>>
> ---------------------------------------------------------------------- 
> ---
> SF.Net email is sponsored by:
> Check out the new SourceForge.net Marketplace.
> It's the best place to buy or sell services
> for just about anything Open Source.
> http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/ 
> marketplace_______________________________________________
> CIL-users mailing list
> CIL...@li...
> https://lists.sourceforge.net/lists/listinfo/cil-users

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.7 (Darwin)

iD8DBQFHYr/dTkf0DMIoq3gRAtwVAJwNzUYuqkZx2jv/pYaFDFzFiZvu0QCeLKPz
p9i+eaBmtv5yVC2rj978bJE=
=3TSx
-----END PGP SIGNATURE-----