1041e0800387a8af7eb99ba3c7b5195aa7d9b157
When asking for data using XtVaGetValue() make sure that there is enough place for the return value (which is sometimes XtPointer). Providing pointer to (int) is not enough. Cast XtPointer into requested int types directly, which unfortunately introduces compilation warning: cast from pointer to integer of different size
Description
No description provided
Languages
C
80.1%
omnetpp-msg
8.9%
C++
3.8%
Shell
2%
Roff
1.6%
Other
3.2%