Ticket #1038: 1038.2.patch

source/Lib/TLibDecoder/TDecBinCoderCABAC.cpp

@@ -222 +222 @@
   if( m_uiValue >= scaledRange )
   {
     ruiBin = 1;
+    // When termination bin is 1, the spec requires that the last bit inserted from
+    // the bitstream to the offset must be one.
+    assert ((m_uiValue >> 7) & 1);
+    // Also, if the bitstream is not byte-aligned, the remaining bits up to byte-alignment must be 0.
+    UInt Remaining = (m_uiValue & 0x007f) >> (8 + m_bitsNeeded);
+    assert (Remaining == 0);
   }
   else
   {