Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000269OCamlOCaml generalpublic2001-01-26 00:492001-02-05 09:48
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000269: int32 conversion bug
DescriptionFull_Name: Mark Plesko
Version: 3.00
OS: Red Hat 7.0 and NT 4
Submission from: 207.86.147.86 (207.86.147.86)


The function

let f c = Int32.of_int (Int32.to_int c)

yields different (incorrect) results when using the native compiler (x86) rather
than the bytecode compiler. The conversions appear to be optimized away, thus
overflow never occurs.

-Mark

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000489)
administrator (administrator)
2001-02-01 14:58

> The function
> let f c = Int32.of_int (Int32.to_int c)
> yields different (incorrect) results when using the native compiler
> (x86) rather than the bytecode compiler. The conversions appear to
> be optimized away, thus overflow never occurs.

Well spotted. This will be fixed in the next release (3.01).

Thanks for the bug report.

- Xavier Leroy

(0000490)
administrator (administrator)
2001-02-05 09:48

Fixed 2001-02-05 by Xavier

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker