Merge r322068 into the 6.0 branch: Fix type mismatch in omp_control_tool() implementation that makes it run incorrectly on 32-bit machines.

[hahnjo]

Bugzilla Link	35872
Resolution	FIXED
Resolved on	Jan 17, 2018 04:51
Version	unspecified
OS	Linux
Blocks	#35152
CC	@zmodem
Fixed by commit(s)	r322068

Extended Description

Andrey, Hans, is this ok to merge?

[hahnjo]

assigned to @zmodem

[AndreyChurbanov]

OK to merge to 6.0

[zmodem]

Merged in r322639.