Khronos public bugtracker – Bug 1948
<stencil_mask> should be unsigned so 32-bit int works with the C++ standard library.
Last modified: 2017-04-12 07:53:03 PDT
The XML type of <stencil_mask> is xs:long which is 64-bit. But programs are likely to use 32-bit values internally. In that case the <iostream> library cannot extract its default value: 0xFFFFFFFF (4294967295.)
For example, to get istream to extract the default value the receiving data type must be cast to the equivalent unsigned type. That works only because the conversion rules differ.