<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Verdana
}
--></style>
</head>
<body class='hmmessage'>
Was truncated!..edited slightly to avoid..<br><br><br><hr id="stopSpelling">From: jay.krell@cornell.edu<br>To: m3devel@elegosoft.com<br>Subject: double double double double checking jmp_buf size/alignment<br>Date: Wed, 6 Jan 2010 12:28:02 +0000<br><br>
<style>
.ExternalClass .ecxhmmessage P
{padding:0px;}
.ExternalClass body.ecxhmmessage
{font-size:10pt;font-family:Verdana;}
</style>
Getting this right is very important.<br> Well, we can overstate but it is wasteful.<br><br><br>So anyone with any time, please compile/run this and send the "platform" (uname -a) and the output, thanks.<br>Or look at m3-libs/m3core/src/C/*/Csetjmp.i3 and<br>m3-sys/m3middle/src/Target.m3 and see if all three agree.<br><br><br>I have checked a bunch of systems myself but extra checking is good.<br><br><br>If you have a system we do not yet or any longer support, those are ok too.<br> (e.g. Alpha_*, ARM_*, MIPS_*, *_Irix, *_VMS, *_Tru64 etc.)<br><br> <br>#include <setjmp.h><br>#include <stdio.h><br><br>#ifdef __GNUC__<br>#define ALIGN_OF(x) ((int)(sizeof(struct { char a; x b; }) - sizeof(x)))<br>#else<br>#define ALIGN_OF(x) ((int)__alignof(x))<br><br>int main()<br>{<br> printf("%d %d\n", (int)sizeof(jmp_buf), ALIGN_OF(jmp_buf));<br> return 0;<br>}<br><br><br>Thanks,<br> - Jay<br> </body>
</html>