Mercury Bugs - mercury
View Issue Details
0000151mercuryBugpublic2010-05-30 16:252010-07-07 17:53
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000151: Incorrect documentation for string.unsafe_set_char
DescriptionJames Cussens found that the documentation for this standard library predicate and function doesn't match the implementation. The documentation says that it is a constant time operation but it involves a strcpy.

The unsafe part of the name says that there is no bounds check and that a strlen call isn't performed.
TagsNo tags attached.
Attached Files

2010-05-30 16:28   
The documentation refers to the commented out mode of unsafe_set_char, which
is constant time. The problem is that the mode that is enabled isn't.

Issue History
2010-05-30 16:25pboneNew Issue
2010-05-30 16:28juliensfNote Added: 0000265
2010-07-07 17:53pboneFile Added: bug151a.m
2010-07-07 17:54pboneFile Deleted: bug151a.m