|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0000151||mercury||Bug||public||2010-05-30 16:25||2010-07-07 17:53|
|Target Version||Fixed in Version|
|Summary||0000151: Incorrect documentation for string.unsafe_set_char|
|Description||James 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.
|Tags||No tags attached.|
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.
|2010-05-30 16:25||pbone||New Issue|
|2010-05-30 16:28||juliensf||Note Added: 0000265|
|2010-07-07 17:53||pbone||File Added: bug151a.m|
|2010-07-07 17:54||pbone||File Deleted: bug151a.m|