我编写了这个memcpy
函数,但我仍然需要禁用规则11.5和11.8。是否有一个完整的解决方案:2012年兼容?
#pragma cstat_suppress="MISRAC2012-Rule-21.6" // Uses of stdio.h were found.
#include <stdio.h>
#include <stdint.h>
#include <string.h>
#include <stdlib.h>
extern int main(void);
static int_least8_t _memcpy(void *dst, const void *src, const size_t length)
{
#pragma cstat_disable="MISRAC2012-Rule-11.5" // A conversion from a pointer to void into a pointer to object was found.
int_least8_t* destination = (int_least8_t*)dst;
#pragma cstat_disable="MISRAC2012-Rule-11.8" // A cast that removes a const or volatile qualification was found.
const int_least8_t* source = (int_least8_t*)src;
#pragma cstat_restore="MISRAC2012-Rule-11.5","MISRAC2012-Rule-11.8"
for (size_t i = 0; i < (length / sizeof(int_least8_t)); i++)
{
destination[i] = source[i];
}
return 0;
}
int main(void)
{
int32_t src[32];
int32_t dst[32];
(void)memset(src, 0xff, sizeof(src));
(void)_memcpy(dst, src, 128);
for (size_t i = 0; i < (sizeof(src) / sizeof(src[0])); i++)
{
(void)printf("%d <=> %d\n", src[i], dst[i]);
}
return 0;
}
我使用IAR作为编译器和C-STAT进行静态分析.
发布于 2017-10-10 12:03:13
您不可能用标准格式编写memcpy
并完全兼容MISRA。正如您所注意到的,MISRA不允许restrict
。但也有第11.5条规则。
关于从指针到无效到指针到类型的转换,规则11.5在实践中太麻烦了。这是一个咨询规则,所以我跳过它。你不需要引起偏差。
但是,关于丢弃限定符的第11.8条规则是合理的(也是必需的)。在这种情况下,你没有理由这么做。您的代码中有一个错误,被MISRA阻止了。将代码更改为
const int_least8_t* source = (const int_least8_t*) src;
补充说明:
main()
提供函数声明。stdio.h
。int_least8_t
没有明显的好处。此外,有符号的类型也有问题。我会用uint8_t
代替。https://stackoverflow.com/questions/46665808
复制相似问题