Ticket #1038: 1038.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 numBits = m_pcTComBitstream->getNumBitsUntilByteAligned();
+    if(numBits)
+    {
+      assert(numBits <= m_pcTComBitstream->getNumBitsLeft());
+      UInt code;
+      m_pcTComBitstream->pseudoRead( numBits, code );
+      assert(code == 0);
+    }
   }
   else
   {