in polyspace why pointers assignation fails

2 次查看（过去 30 天）
Marina Raouf
Marina Raouf 2014-2-16
回答： Christian Bard 2014-2-17
if I have this code : u8MyArray[10]; u8 * pu8FirstPointer; u8 * pu8Data; u8 u8Index; pu8FirstPointer = u8MyArray; while( u8Index <10) { *pu8FirstPointer = *pu8Data; pu8FirstPointer ++ ; pu8Data++; }
this code is supposed to copy the data to the array but polyspace doesn't get it ,why?

请先登录，再回答此问题。

回答（1 个）

Christian Bard
Christian Bard 2014-2-17
With the following code, and with default options, Polyspace Code Prover (release R2013b) "got" it:
typedef unsigned char u8;
u8 u8Dest[10];
u8 u8Source[10];
void foo(void)
{
u8 * pu8FirstPointer;
u8 * pu8Data;
u8 u8Index = 0;
pu8FirstPointer = u8Dest;
pu8Data = u8Source;
while( u8Index <10) {
*pu8FirstPointer = *pu8Data;
pu8FirstPointer ++ ;
pu8Data++;
u8Index++;
}
}
So, would you please, contact www.mathworks.com/support with options used, realease and some explanation about what do you mean by "Polyspace doesn't get it".

类别

在 Help Center 和 File Exchange 中查找有关 Command-Line Only Options 的更多信息

标签

产品

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by