Floating point is broken

[GoogleCodeExporter]

What steps will reproduce the problem?
1. int a = 12.34;
2. printf("%f\n", a);

Results in an infinite loop printing "0"s.

Original issue reported on code.google.com by zik.sale...@gmail.com on 26 May 2009 at 10:03

[GoogleCodeExporter]

Original comment by zik.sale...@gmail.com on 26 May 2009 at 10:08

• Added labels: Priority-High
• Removed labels: Priority-Medium

[GoogleCodeExporter]

Problem with floating point printing is fixed.
Another problem with lexing floating point numbers is also fixed.
A third problem with integer coercion of floating point numbers was fixed.

Still outstanding: a problem with evaluating floating point numbers causing 
quiet
program exit.

eg. 
float a = 12.34;
printf("test\n");

"test" will not be displayed

Original comment by zik.sale...@gmail.com on 27 May 2009 at 1:03

• Changed state: Started

[GoogleCodeExporter]

Fixed a problem in string lexing which was appearing to be an issue with 
floating point. 
Fixed a problem with printing negative numbers.
Fixed a problem with prefix FP expressions not working.
Added a floating point regression test.
All seems ok now.

Original comment by zik.sale...@gmail.com on 27 May 2009 at 4:02

• Changed state: Verified