Polyspace-bug-finder raises AUTOSAR C++14 M2-10-1 issues also including external headers.

1 次查看（过去 30 天）
Viktoria
Viktoria 2023-7-21
Hello,
If using polyspace-bug-finder with Visual Studio Compiler Version 16, M2-10-1 are raised which includes external header files.
Considering following variable declaration:
const double y1{0.};
Will raise following issue:
Different identifiers shall be typographically unambiguous.
Identifiers 'y1' (XXXX) and '_y1' (corecrt_math.h line 546) differ by the presence/absence of the underscore character.
where corecrt_math.h is located here "C:\Program Files (x86)\Windows Kits\10\Include\10.0.22000.0\ucrt" and this directory is included using the -I flag.
Is there a way to exclude such issues?
Thanks!

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

回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息

标签

产品


版本

R2022b

Community Treasure Hunt

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

Start Hunting!

Translated by