Defect report from : Alexander A. Sortov , ISP RAS (Linux Verification
Center)
(Please direct followup comments direct to yyyyyyyyyyyyyy@xxxxxxxxxxxxx)
@ page 0 line 0 section tsearch, tdelete, tfind, twalk comment {LVC-S0054}
Problem:
Edition of Specification (Year): 2004
Defect code : 3. Clarification required
There is no information about changes of memory location of the key for
functions tsearch, tdelete, tfind, twalk.
There are no clear requirements should the key always be located in the same
node (or the same memory) or not. We propose to clarify this requirement to
avoid the possible misunderstanding.
Action:
To avoid misunderstanding, it’s proposed to clarify this place in the Standard
(or Rationale) and state the possible relocation of nodes in memory. For
example: "The position of a tree node in memory may change as a result of call
to tsearch() or tdelete(). Application developers should know that node address
returned by tfind() is not permanent and can be altered by calls to tsearch()
or tdelete()".
|