C++中数据溢出后数据本身是如何变化的?是移高位留低位,还是变成一个随机的数?

最近看MD5的代码，看到下面一段有疑惑
部分代码

void CMD5Checksum::Update( BYTE* Input,    ULONG nInputLen )
{
    //Compute number of bytes mod 64
    UINT nIndex = (UINT)((m_nCount[0] >> 3) & 0x3F);
    //Update number of bits
    if ( ( m_nCount[0] += nInputLen << 3 )  <  ( nInputLen << 3) ) 
        //对条件成立的部分有疑惑
    {
        m_nCount[1]++;
    }
    
    m_nCount[1] += (nInputLen >> 29);
        ………………
    // Buffer remaining input
    memcpy( &m_lpszBuffer[nIndex], &Input[i], nInputLen-i);
}

代码功能:Implementation of main MD5 checksum algorithm

其中,m_nCount数组的定义： ULONG m_nCount[2]; //number of bits, modulo 2^64 (lsb first)

用两个32位的数保存不超过64位的明文长度,上诉条件成立的地方,是利用m_nCount[0]数组溢出时,会小于nInputLen,则高位储存一位数据。

要正确的保存数据的长度,只有当m_nCount[0]溢出的时候是mod 2^32 次方时才行。但记忆中int类的数据溢出时会存储一个无规律的大数,那么,是因为nInputLen << 3 语句先让nInputLen移位了,m_nCount[0]操作的对象变成对二进制进行操作,高位就自动溢出达到mod 2^32效果?如何是此原因,当普通的+,-时,即没有后面的 nInputLen << 3移位,数据溢出后数据本身是如何变化的呢？