in polyspace why pointers assignation fails

2014 2 16
1 个回答
更新时间：2014 2 17
38 次查看（30 天）

0 个投票

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

0 个投票

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".

类别

在 帮助中心 和 File Exchange 中查找有关 Get Started with Polyspace Products for Ada 的更多信息

产品

标签

Community Treasure Hunt

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

Start Hunting!

Translated by