<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style id="owaParaStyle" type="text/css">
<!--
p
{margin-top:0;
margin-bottom:0}
-->
P {margin-top:0;margin-bottom:0;}</style>
</head>
<body ocsi="0" fpstyle="1">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">Hi Richard,<br>
My mistake, checked the wrong library!<br>
newlib uses "typedef signed long int32_t;"<br>
Thus the error is correct.<br>
Robert<br>
<br>
<div style="font-family: Times New Roman; color: #000000; font-size: 16px">
<hr tabindex="-1">
<div style="direction: ltr;" id="divRpF950393"><font color="#000000" face="Tahoma" size="2"><b>From:</b> Robert Lytton<br>
<b>Sent:</b> 04 October 2013 10:09<br>
<b>To:</b> Richard Smith<br>
<b>Cc:</b> cfe-dev@cs.uiuc.edu; Richard Osborne<br>
<b>Subject:</b> RE: [cfe-dev] error when using "int32_t main (int32_t argc, char * argv[])"<br>
</font><br>
</div>
<div></div>
<div>
<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">> The problem is that 'main' is required to take a parameter of type 'int' and return a value of type 'int', and 'int32_t' is not necessarily 'int'.<br>
> The correct solution is to fix the code to use the right types, as you suggested.<br>
<br>
Thanks Richard.<br>
This then leads to the question why the code builds without an error if the "--target" is not specified (not checked permutations).<br>
By the way 'int32_t' is 'int' in this situation.<br>
It would be nice if there was consistency...<br>
<br>
Robert
<div style="font-family:Times New Roman; color:#000000; font-size:16px">
<div>
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">
<div><br>
</div>
<div><br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>