2024-12-11 05:32 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000069mercuryBugpublic2008-07-23 21:06
Reporterpbone 
Assigned To 
PrioritylowSeverityminorReproducibilityalways
StatusnewResolutionopen 
Product Version 
Target VersionFixed in Version 
Summary0000069: Deep profiling tools can have integer overflows.
DescriptionThe deep profiler and it's tools use machine word sized integers. (the int type in mercury). On 32 bit machines these values can be overflowed by a long-enough profiling run. Since the int type is a signed integer this can result in negative numbers.

This can be seen with the icfp2000 program in the 'bytes allocated' statistic of the float.+ and float.* functions.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0000106

juliensf (administrator)

This has come up before. IIRC, there is not a good solution (other than to use a 64-bit machine)
since the Mercury code in the deep profiler also needs to manipulate these values.
One thing which might alleviate the problem somewhat is to support unsigned integers
as atomic types in Mercury.
+Notes

-Issue History
Date Modified Username Field Change
2008-07-23 20:02 pbone New Issue
2008-07-23 21:06 juliensf Note Added: 0000106
+Issue History