| |
| Bugzilla Link | 35848 |
| Resolution | FIXED |
| Resolved on | Jan 16, 2018 07:18 |
| Version | unspecified |
| OS | Linux |
| Blocks | #35152 |
| CC | @zmodem |
| Fixed by commit(s) | r321964 |
Extended Description
This field is defined as kmp_int32, so we should use neither
pointers to kmp_int64 nor 64 bit atomic instructions.
(Found while testing on a Raspberry Pi, 32 bit ARM)
Andrey, Hans, is this ok to merge?