shithub: opus

Download patch

ref: c3563be66f16a5c84ba400eea4ee119ced0789fb
parent: 9203565fa86ace78016fd01e5e19ad64adac1c6f
author: Ralph Giles <[email protected]>
date: Mon Jul 4 06:39:31 EDT 2016

Assert non-overlapping memcpy. r=mark4o

Coverity warns about the possibly-overlappying memcpy in this
block, presumedly because it can't prove predictLPCOrder <= MAX_LPC_ORDER
here. Add an assert to make the intent clear in code as well
as in the comment.

--- a/silk/process_NLSFs.c
+++ b/silk/process_NLSFs.c
@@ -100,6 +100,7 @@
 
     } else {
         /* Copy LPC coefficients for first half from second half */
+        silk_assert( psEncC->predictLPCOrder <= MAX_LPC_ORDER );
         silk_memcpy( PredCoef_Q12[ 0 ], PredCoef_Q12[ 1 ], psEncC->predictLPCOrder * sizeof( opus_int16 ) );
     }
 }