Defect in XSH twalk

[yyyyyy@xxxxxxxxxxxxxxxx]

        Defect report from : Alexander A. Sortov , ISP RAS (Linux Verification 
Center)

(Please direct followup comments direct to yyyyyyyyyyyyyy@xxxxxxxxxxxxx)

@ page 0 line 0 section twalk comment {LVC-S0055}

Problem:

Edition of Specification (Year): 2004

Defect code :  3. Clarification required

There are no clear requirements that action function passed as a parameter to 
twalk() should not alter the structure of the tree, i.e. it should not call 
tsearch() or tdelete(). Nevertheless, such requirements look valid especially 
for implementations that are based on balanced trees.



Action:

It is proposed to clarify this place in the Standard and add the following: 
"The application shall ensure that the function pointed to by action does not 
alter the structure of the tree." Alternatively, it should be explicitly said 
that "the function pointed to by action may alter the structure of the tree".