char*max = l?"1073741824":"2147483647";
if(yyleng-l>10) {
- as3_warning("integer overflow: %s (converted to Number)", s);
+ as3_softwarning("integer overflow: %s (converted to Number)", s);
return handlefloat();
}
if(yyleng-l==10) {
int t;
for(t=0;t<yyleng-l;t++) {
if(yytext[l+t]>max[t]) {
- as3_warning("integer overflow: %s (converted to Number)", s);
+ as3_softwarning("integer overflow: %s (converted to Number)", s);
return handlefloat();
}
else if(yytext[l+t]<max[t])
}
if(l && v>1073741824) {
char*s = nrbuf();
- as3_warning("signed integer overflow: %s (converted to Number)", s);
+ as3_softwarning("signed integer overflow: %s (converted to Number)", s);
return setfloat(v);
}
if(!l && v>2147483647) {
char*s = nrbuf();
- as3_warning("unsigned integer overflow: %s (converted to Number)", s);
+ as3_softwarning("unsigned integer overflow: %s (converted to Number)", s);
return setfloat(v);
}