<div dir="ltr"><div>To say "all bets are off" is ludicrous. Compilers everywhere use two's complement arithmetic where there is no difference (at the bit level) between signed and unsigned addition.  So it's a darn good bet, if you're trying to predict how the system is going to behave.<br><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Mar 9, 2016 at 2:40 PM, Sean McBride <span dir="ltr"><<a href="mailto:sean@rogue-research.com" target="_blank">sean@rogue-research.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Not necessarily.  vtkAtomicInt32 is signed, and signed overflow is undefined in C++.  So once the ++ operator overflows GlobalTimeStamp, all bets are off.<br>
<br>
clang's UBSan could catch this at runtime:<br>
<br>
<<a href="http://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html" rel="noreferrer" target="_blank">http://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html</a>><br>
<br>
but I'm not sure if it works on Windows.<br>
<span class="HOEnZb"><font color="#888888"><br>
Sean<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
<br>
<br>
On Tue, 8 Mar 2016 06:47:16 -0700, David Gobbi said:<br>
<br>
>Since only the low 32 bits are kept (the high bits are simply discarded),<br>
>the wrap-around of the ModifiedTime is exactly the same as if a 32-bit<br>
>unsigned integer was being incremented.<br>
><br>
> - David<br>
><br>
>On Tue, Mar 8, 2016 at 6:27 AM, Richard Frank <<a href="mailto:rickfrank@me.com">rickfrank@me.com</a>> wrote:<br>
><br>
>> Actually, it's a bit stranger than I thought. The global time stamp on<br>
>> Windows 64 bit is a 64 bit int cast to an<br>
>> Unsigned long, as size of void ptr is 8<br>
>> void vtkTimeStamp::Modified()<br>
>> {<br>
>> #if VTK_SIZEOF_VOID_P == 8<br>
>> static vtkAtomicInt64 GlobalTimeStamp(0);<br>
>> #else<br>
>> static vtkAtomicInt32 GlobalTimeStamp(0);<br>
>> #endif<br>
>> this->ModifiedTime = (unsigned long)++GlobalTimeStamp;<br>
>> }<br>
<br>
<br>
</div></div></blockquote></div><br></div></div></div>